为何使用`any`比`unknown`触发更多TypeScript错误？

示例代码 #

type AnyObject = {
  [field: string]: unknown
}

interface SomeObject {
  someField: number
}

function isSomeObject(v: unknown): v is SomeObject {
  return true // 具体实现无关紧要
}

const f = (object: AnyObject) => {
  object.wrongField
  if (isSomeObject(object)) {
    object.wrongField
  }
}

基础现象 #

两次访问object.wrongField均未报错，逻辑合理：AnyObject通过字符串索引签名声明了所有字符串属性都存在，类型为unknown，因此访问任意属性都符合类型规则。

反常表现1：将unknown改为any后的差异 #

若把AnyObject中的unknown替换为any：

• 第一次访问object.wrongField无报错（符合any类型的宽松特性）
• 第二次在类型守卫后访问object.wrongField会报错

此时类型守卫没有将原有类型与SomeObject做交集，而是直接用SomeObject覆盖了原类型。这与“从any改unknown会触发更多错误”的常规认知相反。

反常表现2：接口改类型别名后的统一表现 #

若将SomeObject从接口改为类型别名：

type SomeObject = {
  someField: number
}

此时无论AnyObject用any还是unknown，第二次访问object.wrongField都不会报错，表现完全一致。

底层原因 #

这是TypeScript处理接口/类型别名与索引签名类型交集时的规则差异导致：

1. 接口 + 带any的索引签名：TypeScript认为接口类型会完全覆盖带any的索引签名类型。类型守卫触发后，直接使用SomeObject类型——而该接口未声明wrongField，因此访问报错。
2. 任意类型 + 带unknown的索引签名：无论SomeObject是接口还是类型别名，TypeScript都会将两者处理为交集类型（AnyObject & SomeObject）。交集保留了字符串索引签名，因此wrongField仍被允许访问。
3. 类型别名 + 任意索引签名：类型别名与索引签名类型做交集时，不会触发接口的特殊覆盖规则，始终保留索引签名特性，因此访问wrongField不会报错。

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