为什么TypeScript会拒绝使用映射类型的泛型函数声明？

环境 #

使用TypeScript 5.1.3版本：

$ npx tsc --version
Version 5.1.3

问题详情 #

我写了一个泛型函数，想要实现传入属性名和对应值，返回只包含该属性的对象：

const valueToObject = <K extends PropertyKey>(name: K) => 
  <T>(v: T): { [P in K]: T } => 
  ({ [name]: v });

运行正常但类型检查报错 #

实际调用时结果符合预期：

valueToObject('id')('1234')
> { id: '1234' }

指定返回类型{ [P in K]: T }时，类型推断也完全正确：

const idToObject = valueToObject('id');
// 正确推断为：const idToObject: <T>(v: T) => {id: T}

idToObject('1234')
> { id: '1234' }

但执行tsc --noEmit做类型检查时，会触发以下错误：

$ npx tsc --noEmit
... - error TS2322: Type '{ [x: string]: T; }' is not assignable to type '{ [P in K]: T; }'.

42 const valueToObject = <K extends PropertyKey>(name: K) => <T>(v: T): { [P in K]: T } => ({ [name]: v });
                                                                                           ~~~~~~~~~~~~~~~~~~~~

移除返回类型导致推断变宽松 #

如果删掉显式指定的返回类型，TypeScript会把name推断为string类型，返回对象变成字符串索引签名，而非精确的映射类型：

const valueToObject = <K extends PropertyKey>(name: K) => 
  <T>(v: T) => 
  ({ [name]: v });
const idToObject = valueToObject('id');
// 推断结果变为：const idToObject: <T>(v: T) => {[p: string]: T}

这会导致安全问题——访问对象上不存在的属性时，TypeScript不会给出错误提示：

const value = idToObject(123);
console.log(value.asd); // 无类型错误提示

问题原因 #

TypeScript处理对象字面量的计算属性时，默认会将其推断为{ [x: string]: T }这种字符串索引类型，即便name被约束为PropertyKey。而我们指定的{ [P in K]: T }是更精确的映射类型（比如K为字面量类型'id'时，该类型就是{ id: T }），字符串索引类型允许任意字符串属性，范围比映射类型更大，因此类型检查器判定两者不兼容，抛出错误。

解决办法 #

方案1：类型断言 #

直接用类型断言告诉TypeScript，计算属性的对象符合目标映射类型：

const valueToObject = <K extends PropertyKey>(name: K) => 
  <T>(v: T): { [P in K]: T } => 
  ({ [name]: v } as { [P in K]: T });

也可以用Record<K, T>替代{ [P in K]: T }，效果一致且代码更简洁：

const valueToObject = <K extends PropertyKey>(name: K) => 
  <T>(v: T): Record<K, T> => 
  ({ [name]: v } as Record<K, T>);

方案2：先断言对象再赋值 #

先创建空对象并断言类型，再赋值属性，也能绕过类型检查：

const valueToObject = <K extends PropertyKey>(name: K) => 
  <T>(v: T): { [P in K]: T } => {
    const obj = {} as { [P in K]: T };
    obj[name] = v;
    return obj;
  };

总结 #

核心问题是TypeScript对计算属性的默认推断与我们期望的精确映射类型不匹配，通过类型断言或先断言再赋值的方式，既能解决类型错误，又能保留精确的类型推断能力，避免宽松索引签名带来的类型不安全问题。

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