TypeScript泛型类型未强制类型安全问题咨询

这不是TypeScript的bug，而是你对泛型函数类型兼容性规则的理解存在偏差。我们来一步步拆解问题的原因，再给出解决办法。

问题核心：泛型函数类型的兼容性逻辑 #

首先看你的Demo<T>定义：

type Demo<T> = <K extends keyof T> (key: K, val: T[K]) => void

它表示的是一个泛型函数类型——外层的T是类型参数，内层的K是函数自身的泛型参数，约束为keyof T。

当你尝试把Demo<Test>赋值给Demo<Test2>时，TypeScript的兼容性检查逻辑是这样的：

1. 它会先看两个泛型函数的约束基础类型：keyof Test和keyof Test2的底层约束都是string（因为两个接口的键都是字符串）。
2. TypeScript会把泛型参数K替换成它的基础约束（也就是string），然后检查函数签名是否兼容：
   • Demo<Test>的签名会被推断为(key: string, val: number | string) => void
   • Demo<Test2>的签名会被推断为(key: string, val: boolean | '+' | '-') => void
3. 即使在严格模式下，由于Test中不存在'a2'这类键，Test['a2']会被推断为unknown，而boolean是unknown的子类型，TypeScript会认为val: unknown可以接受val: boolean，从而允许这个赋值。

而你的Demo2<T>是非泛型函数类型，直接约束参数为T，string和number没有子类型关系，所以TypeScript会正确报错，这和泛型函数的兼容性逻辑完全不同。

解决办法：强化类型约束，避免兼容性放宽 #

要修复这个问题，我们需要让TypeScript准确绑定T的具体类型，不能让它绕过约束检查。最可靠的方式是用工厂函数来创建绑定到特定T的setter：

interface Test { a: number; b: string; }
interface Test2 { a2: boolean; b2: '+' | '-'; }
const testVal: Test = { a: 42, b: 'test' };

// 工厂函数：通过闭包绑定具体的T实例，让TypeScript跟踪准确的类型约束
function createSetter<T>(obj: T): <K extends keyof T>(key: K, val: T[K]) => void {
  return (key, val) => {
    obj[key] = val;
  };
}

const implDemo = createSetter(testVal);
implDemo('a', 10); // 正常工作，输出 {a:10, b:"test"}
implDemo('a', 'text'); // 报错，符合预期

// 以下代码会直接报错，无法赋值，彻底避免类型安全被破坏
const implDemo2: <K extends keyof Test2>(key: K, val: Test2[K]) => void = implDemo;

工厂函数通过闭包把testVal的类型Test牢牢绑定到返回的setter上，TypeScript会准确识别出这个setter只能接受Test的键和对应类型的值，无法被赋值给其他类型的setter。

补充说明 #

如果你坚持使用类型别名的方式，可以通过类型断言强制约束，但这种方式不够安全，不推荐：

const implDemo: Demo<Test> = (key, val) => { testVal[key] = val; };
// 尝试赋值会报错，即使使用断言，后续调用也会触发类型检查
const implDemo2: Demo<Test2> = implDemo as Demo<Test2>;
implDemo2('a2', true); // 这里会报错，因为testVal没有a2属性

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