为何同结构下Interface无法满足泛型约束而Type可以？

问题场景 #

用类型别名定义对象结构时，传入带Record约束的泛型不会报错：

type MyType = {
  fundId: string;
  vehicleId: string;
}

type AnyRecord = Record<PropertyKey, unknown>
type TestExtends<T extends AnyRecord> = never

type Test = TestExtends<MyType> // 正常通过

但换成接口定义完全相同的结构时，会触发约束报错：

interface MyInterface {
  fundId: string;
  vehicleId: string;
}

type Test = TestExtends<MyInterface>
                         // ❌ 报错：类型“MyInterface”不满足约束“AnyRecord”。类型“MyInterface”中缺少“string”的索引签名。(2344)

原因解析 #

这是TypeScript对类型别名和接口的兼容性检查规则差异导致的：

• 类型别名的隐式兼容逻辑
  类型别名属于宽松的结构型检查：只要别名定义的所有属性都符合目标约束的类型要求（这里Record<PropertyKey, unknown>的索引值是unknown，而string是unknown的子类型），TypeScript会自动判定它兼容带索引签名的类型，不需要显式声明索引签名。

• 接口的严格匹配要求
  接口的兼容性检查更严谨：如果泛型约束是带索引签名的类型（比如AnyRecord本质是{ [key: PropertyKey]: unknown }），那么接口必须显式声明对应的索引签名，或者继承自带该索引签名的接口/类型。仅靠现有属性符合索引签名类型，TypeScript不会为接口隐式推断出索引签名。

解决方法 #

如果要让接口满足AnyRecord约束，只需显式添加索引签名：

interface MyInterface {
  fundId: string;
  vehicleId: string;
  [key: PropertyKey]: unknown; // 显式添加索引签名
}

type Test = TestExtends<MyInterface> // 现在正常通过

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