TypeScript接口与类型别名继承索引签名的差异及内部逻辑问询

示例代码 #

interface IndexSignature { [K: string]: unknown }
interface I { a: 1 }
type T = { a: 1 }

// I extends IndexSignature: 不成立，TypeScript会抛出类型不兼容错误
const testI = (i: I): IndexSignature => i
// T extends IndexSignature: 成立，无类型错误
const testT = (t: T): IndexSignature => t 

核心差异原因 #

• 类型别名的静态判定：类型别名是静态的类型快照，定义时就固化了完整结构。type T = {a:1}的所有属性值（1）都属于unknown的子类型，因此TypeScript直接判定它可以赋值给IndexSignature。
• 接口的动态扩展特性：接口支持后续的合并扩展，TypeScript在做兼容性检查时，不会假设接口未来的扩展内容完全符合当前索引签名的约束。更关键的规则是：只有显式声明了对应索引签名的接口，才能兼容带索引签名的类型——未显式声明索引签名的接口，哪怕当前所有属性都符合约束，也不会被隐式推断为兼容。

关于扩展安全性的回应 #

你提到IndexSignature的索引签名是[K:string]: unknown，无论I如何扩展都应该安全，但TypeScript的设计逻辑是接口兼容性检查只基于当前显式声明的结构，不做未来扩展的预判。哪怕扩展后的属性确实都属于unknown的子类型，只要接口本身没有显式声明匹配的索引签名，就无法通过兼容性检查。这是为了保持接口扩展行为的一致性，避免隐式推断带来的意外兼容问题。

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