TypeScript中T extends含可选never字段的类型为何报无共同属性错误

报错原因 #

TypeScript的对象类型兼容性检查存在默认安全策略：当两个对象类型没有任何共同的显式声明属性时，会直接抛出「没有共同属性」的错误，阻止传入看起来完全不相关的类型。
你定义的Data类型仅显式声明了a/b/c三个可选的never属性，而传入的{x:1,y:2}没有这三个属性中的任何一个，TS就判定两个类型完全无关触发报错。这和<T extends {}>的逻辑不同，空对象类型{}本身允许传入任意非空值，不属于「无共同属性」的检查场景。

解决方案 #

你只需要在泛型约束里补充「允许传入任意字符串键对象」的声明，绕过TS的共同属性检查即可，修改后的代码如下：

type ForbiddenFields = 'a' | 'b' | 'c';
type ForbidData = { [K in ForbiddenFields]?: never };

// 泛型约束补充 Record<string, any> 声明
function foobar<T extends Record<string, any> & ForbidData>(data: T): void {
  //...
}

const obj = { x: 1, y: 2 };
foobar(obj); // 正常通过校验

// 尝试传入禁写字段会报错
const badObj = { a: 1, x: 2 };
foobar(badObj); // 类型错误：a的类型不匹配never

如果不需要额外复用泛型T，也可以直接简化参数类型：

function foobar(data: Record<string, any> & { [K in 'a'|'b'|'c']?: never }): void {
  //...
}

两种写法效果完全一致，都能实现禁止指定字段、允许其他任意字段的需求。

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