为何TypeScript的Partial类型允许指定键赋值非预期类型值？

代码示例 #

type Test = { a: string; b: boolean; c: number }
type Key = keyof Test;

function foo(x: Key): Partial<Test> {
  return {[x]: null};
}

结论：这是TypeScript的预期行为 #

原因可以从两个核心角度理解：

1. Partial<T>的类型本质
   Partial<Test>的作用是将Test的所有属性转为可选属性，即每个属性的类型变为原类型 | undefined，但它并没有限制属性值不能是null：

• 在默认（未开启strictNullChecks）模式下，TypeScript的原始类型（string/boolean/number）默认包含null和undefined，因此null可以直接赋值给这些类型。
• 即使开启strictNullChecks，由于动态索引的模糊性，编译器无法精确判断当前键对应的具体类型，会采用宽松兼容逻辑允许赋值。

2. 动态索引的类型模糊性
   函数中返回的{[x]: null}是动态索引对象，x的类型是联合类型'a' | 'b' | 'c'，编译器在编译期无法确定x的具体值，因此会寻找能兼容所有Partial<Test>属性类型的值。null作为TypeScript的底层兼容类型，能匹配多数原始类型的约束，因此被编译器允许。

严格类型约束的优化方案 #

如果需要让代码完全符合类型约束，可以：

• 开启strictNullChecks配置，此时直接赋值null会触发类型报错
• 通过类型守卫或分支判断为每个键返回对应类型的有效值：

function foo(x: Key): Partial<Test> {
  switch(x) {
    case 'a': return {a: ''};
    case 'b': return {b: false};
    case 'c': return {c: 0};
    default: return {};
  }
}

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