TypeScript泛型下{ [x: string]: T[S] }无法赋值给Partial<T>报错如何解决

报错底层原因 #

• TypeScript当前类型系统对泛型场景下的计算属性推导存在局限性：当计算属性的键是泛型参数S extends keyof T时，TS不会自动将{[key]: value}的类型推导为和T关联的子类型，而是会将键的类型放宽为通用string，导致对象整体被推导为{[x: string]: T[S]}，和Partial<T>的类型约束不匹配。
• 非泛型场景下键是固定的字面量类型，TS可以直接识别键属于目标类型的属性集合，因此不会触发报错。

可行解决方案 #

方案1：类型断言（最便捷） #

确定逻辑安全的前提下，直接给返回的对象做类型断言即可，不需要修改其他逻辑：

let newA = <T, S extends keyof T>(key: S, value: T[S]): Partial<T> => {
    return { [key]: value } as Partial<T>;
};

方案2：使用更精准的返回类型（无断言，类型更严谨） #

Pick<T, S>是TS内置的工具类型，正好匹配单个键值对的结构，且天然是Partial<T>的子类型，既符合类型逻辑也能通过校验：

// 直接返回Pick<T, S>，兼容所有需要Partial<T>的场景
let newA = <T, S extends keyof T>(key: S, value: T[S]): Pick<T, S> => {
    return { [key]: value };
};

// 如果你必须保留返回值为Partial<T>的标注，也可以用中间变量过渡
let newA = <T, S extends keyof T>(key: S, value: T[S]): Partial<T> => {
    const res: Pick<T, S> = { [key]: value };
    return res;
};

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