TypeScript接口与类型交叉使用未触发预期报错的原因及解决方法

• TypeScript 只有在把对象字面量直接赋值给无索引签名的明确对象类型时，才会触发「多余属性校验」规则，禁止出现未在类型中定义的键。
• 你的代码中Vehicle的properties字段定义为Record<string, unknown>，自带字符串索引签名，允许任意字符串作为键。和CarProperties做交叉运算后，最终properties的类型为Record<string, unknown> & CarProperties，该类型同时满足「允许任意字符串键」和「存在electric键时类型必须为 boolean/undefined」两个规则，你添加的someOther字段符合索引签名要求，因此不会触发报错。
• 交叉运算的本质是要求值同时满足所有交叉项的类型约束，不会自动覆盖或删除原有类型的索引签名规则。

下面提供几种可直接落地的实现方式：

方案1：将基础类型改为泛型（最推荐） #

如果可以调整基础Vehicle类型的定义，改用泛型传入properties的类型，从根源上避免提前声明索引签名：

// 泛型参数默认值保留原有兼容能力
type Vehicle<T extends Record<string, unknown> = Record<string, unknown>> = {
  name: string
  properties: T
}

interface CarProperties {
  electric?: boolean
}

type Car = Vehicle<CarProperties> & {
  name: 'car'
}

const car: Car = {
  name: 'car',
  properties: {
    electric: false,
    someOther: 'bs' // 这里会触发TS错误，提示多余属性
  }
}

方案2：使用精确类型工具类抹除索引签名的影响 #

如果不能修改基础Vehicle类型，可以定义Exact工具类，强制要求properties只能出现CarProperties中声明的键：

// 精确类型工具：未在T中声明的键会被标记为never，禁止赋值
type Exact<T extends Record<string, unknown>> = { [K in keyof T]: T[K] } & { [K in Exclude<string, keyof T>]?: never }

type Vehicle = {
  name: string
  properties: Record<string, unknown>
}

interface CarProperties {
  electric?: boolean
}

type Car = Vehicle & {
  name: 'car'
  properties: Exact<CarProperties>
}

const car: Car = {
  name: 'car',
  properties: {
    electric: false,
    someOther: 'bs' // 这里会触发TS错误，提示字符串不能赋值给never
  }
}

方案3：拆分赋值触发多余属性校验 #

如果不想修改类型定义，可以先把properties字面量赋值给CarProperties类型的变量，此时会触发多余属性校验：

const carProps: CarProperties = {
  electric: false,
  someOther: 'bs' // 这里直接触发错误
}
const car: Car = {
  name: 'car',
  properties: carProps
}

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