TypeScript泛型函数参数传递处理、类型差异及keyof泛型疑问

1. 泛型函数参数传递内部是否存在处理操作？ #

存在核心处理逻辑，主要包括：

• 类型推断：根据调用时传入的实参自动推导泛型参数的具体类型，比如调用function fn<T>(x: T) { return x }时传入1，TypeScript会推断T为number。
• 约束校验：如果泛型有显式约束（如T extends string），会检查传入的类型是否符合约束，不符合则抛出类型错误。
• 类型具体化：在函数内部，将泛型参数替换为推导或指定的具体类型，确保内部操作符合该类型的语法规则。
• 类型收窄：若函数内部有条件判断（如typeof x === 'string'），TypeScript会自动收窄泛型参数的类型范围，提供更精准的类型提示。

2. 泛型函数的参数传递类型与内部定义的类型是否存在差异？ #

视场景而定：

• 无约束泛型：传入的类型与内部使用的泛型参数类型一致，但如果内部有类型收窄逻辑，收窄后的类型会是原类型的子集。
• 带约束泛型：传入的类型是约束类型的子类型，内部既可以使用该子类型的特性，也可以将其当作约束类型（如string）来操作。
• 显式指定泛型类型：若调用时显式指定泛型类型（如fn<string>(1)），如果实参类型不符合指定类型会报错；符合的话，内部泛型参数即为指定的类型。

示例：

function fn<T extends string>(x: T) {
  const len = x.length; // 合法，因为约束为string，所有string子类型都有length属性
  return x; // 返回类型为T，即传入的具体字面量类型
}
fn('hello'); // 内部x的类型为'hello'，与传入类型一致

3. 泛型中字面量类型映射结果异常的原因 #

这是TypeScript对基本类型（primitive type）映射的特殊处理规则导致的：

• 直接使用keyof 'a'时，TypeScript会解析字符串字面量对应的包装对象String的所有属性和方法，因此得到number | typeof Symbol.iterator | "toString" | ...的联合类型，基于此的映射类型会生成包含这些属性的对象类型。
• 但当把字面量类型'a'传入泛型参数V后，映射类型{ [P in keyof V]: '??' }触发了短路逻辑：如果V是基本类型（字符串、数字、布尔等字面量或原始类型），TypeScript认为对基本类型做映射没有实际意义（无法给基本类型添加属性），因此直接返回原基本类型，而非生成映射后的对象类型。

验证示例：

// 传入包装对象类型，会正常生成映射类型
type Test<V> = { [P in keyof V]: '??' };
type T1 = Test<String>; // 结果为包含String所有属性的对象类型

// 给泛型添加对象约束，传入字面量会直接报错
type TestObj<V extends object> = { [P in keyof V]: '??' };
type T2 = TestObj<'a'>; // 类型错误：'a'不满足object约束

内容的提问来源于stack exchange，提问作者Mishra