为何给映射类型泛型添加extends Record<string, unknown>约束后，TypeScript仍提示Key无法赋值给string类型？

这个问题其实是TypeScript泛型约束里一个容易踩坑的细节，我来给你拆解清楚：

先回顾你的问题场景 #

你最初的映射类型代码：

type MappedType<Type> = { [Key in keyof Type as `get${Key}`]: Type[Key] }

报错的核心原因是：keyof Type的默认类型范围是string | number | symbol，而模板字符串get${Key}要求Key必须是能被序列化为字符串的类型（比如string/number/bigint等），但symbol类型无法被代入模板字符串，所以TypeScript抛出了类型不兼容的错误。

你尝试给Type添加extends Record<string, unknown>的约束来解决，但错误依然存在——这是因为你对Record<string, unknown>的作用理解有偏差。

为什么extends Record<string, unknown>没用？ #

Record<string, unknown>的本质是约束类型中所有string类型的键对应的值都是unknown，但它不会限制类型拥有其他类型的键（比如number或symbol）。

举个例子，下面这个类型完全符合Record<string, unknown>的约束：

type HasSymbolKey = Record<string, unknown> & { [Symbol('test')]: number }

这个类型既有string键，又有symbol键，它是Record<string, unknown>的合法子类型。

所以当你写Type extends Record<string, unknown>时，keyof Type仍然可能是string | number | symbol，Key依然有可能是symbol类型，自然还是过不了模板字符串的类型检查。

正确的解决思路 #

要确保Key只能是string类型，你需要明确地过滤掉非string的键，常见的两种方式：

1. 用条件类型筛选出string类型的键：

type MappedType<Type> = { 
  [Key in keyof Type as Key extends string ? `get${Key}` : never]: Type[Key] 
}

2. 用交叉类型直接缩小keyof Type的范围：

type MappedType<Type> = { 
  [Key in string & keyof Type as `get${Key}`]: Type[Key] 
}

这两种方式都会把非string的键排除在映射之外，确保Key能安全地代入模板字符串。

内容来源于stack exchange