TypeScript as键重映射结合泛型时类型检查失效问题

借助TypeScript的索引as键重映射语法，可以实现如下键过滤类型：

// 筛选T中同时存在于U的键及对应值类型
type IntersectKeys<T, U> = {
    [K in keyof T as K extends keyof U ? K : never]: T[K];
};

// 示例：IntersectKeys<{ foo: string; bar: number}, { foo: never }> 等价于 { foo: string }

在实际使用中会发现：当该类型作为泛型函数的返回值时，TypeScript不会校验返回值是否匹配类型结构，即使返回false这类完全不符合结构的值也不会报错，最终会导致运行时拿到不符合类型标注的值，复现代码如下：

interface FooBar {
    foo: string;
    bar: number;
}

function intersectFooBarKeys<U>(fb: FooBar, intersect: U): IntersectKeys<FooBar, U> {
    return false; // 错误实现，但未触发类型报错
}

// 调用示例
const fooBar: FooBar = {
    foo: 'foo',
    bar: 42,
};
const onlyFoo: { foo: string } = intersectFooBarKeys(fooBar, { foo: null });
// 按类型标注onlyFoo应为{ foo: string }，实际运行时值为false

这是TypeScript已知的类型检查不健全（Unsoundness）表现，不属于未被发现的新Bug。

出现该问题的根因是：上述IntersectKeys<T, U>属于基于键重映射实现的同态映射类型，当泛型参数U没有被显式约束、且在函数实现阶段尚未被具体类型实例化时，TypeScript会出于泛型灵活性的设计权衡，放宽该类型的可赋值性校验——此时IntersectKeys<FooBar, U>会被判定为兼容空对象类型{}，而除null和undefined外的所有值（包括false这类布尔原始值）都可以合法赋值给{}，因此不会触发类型报错。只有当泛型U被传入具体类型、函数被实际调用时，TS才会计算出准确的返回值类型，但此时函数内部的错误实现已经绕过了检查。

这类类型不健全性是TypeScript团队刻意保留的设计权衡，目的是降低泛型工具类型的使用成本，减少开发过程中无意义的类型报错，不会作为高优先级Bug修复。

以下方案均可解决类型检查失效的问题，可根据场景选择：

• 给泛型参数增加显式对象约束
  直接给泛型U加上extends object约束，阻断TS将未实例化的映射类型判定为兼容任意非空值的逻辑，修改后错误返回值会被直接拦截：

  // 泛型增加object约束
  function intersectFooBarKeys<U extends object>(fb: FooBar, intersect: U): IntersectKeys<FooBar, U> {
    return false; // 此处直接抛出类型错误：类型boolean不能赋值给类型IntersectKeys<FooBar, U>
  }
  

• 改用Pick组合实现键筛选，替换原键重映射写法
  TypeScript内置的Pick工具类型在泛型场景下的可赋值性检查更严格，不需要额外加泛型约束即可触发正确的类型校验，且实现的类型效果完全一致：

  // 重写IntersectKeys，效果和原写法等价
  type IntersectKeys<T, U> = Pick<T, keyof T & keyof U>;
  
  // 不需要修改泛型约束，返回false时就会报错
  function intersectFooBarKeys<U>(fb: FooBar, intersect: U): IntersectKeys<FooBar, U> {
    return false; // 类型校验不通过
  }
  

• 对原有映射类型做二次结构推断
  如果需要保留原键重映射的写法，可以通过infer做一次类型重映射，强制TS对最终类型做严格结构检查，避免放宽校验：

  type IntersectKeys<T, U> = {
    [K in keyof T as K extends keyof U ? K : never]: T[K];
  } extends infer Res ? { [K in keyof Res]: Res[K] } : never;
  

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