TypeScript对象追加属性：交叉类型与遍历方式的差异及测试失败原因

我在做Type Challenges的AppendToObject题目时，一开始用交叉类型写了实现：

type AppendToObject<T, U extends PropertyKey, V> = T & {[P in U]: V}

结果没通过测试用例，换成遍历所有键的写法后才全部通过：

type AppendToObject<T, U extends PropertyKey, V> = {[P in U | keyof T ]: P extends keyof T ? T[P] : V}

测试用例如下：

type test1 = {
  key: 'cat'
  value: 'green'
}

type testExpect1 = {
  key: 'cat'
  value: 'green'
  home: boolean
}

type test2 = {
  key: 'dog' | undefined
  value: 'white'
  sun: true
}

type testExpect2 = {
  key: 'dog' | undefined
  value: 'white'
  sun: true
  home: 1
}

type test3 = {
  key: 'cow'
  value: 'yellow'
  sun: false
}

type testExpect3 = {
  key: 'cow'
  value: 'yellow'
  sun: false
  moon: false | undefined
}

type Equal<X, Y> =
  (<T>() => T extends X ? 1 : 2) extends
  (<T>() => T extends Y ? 1 : 2) ? true : false
type Expect<T extends true> = T

type cases = [
  Expect<Equal<AppendToObject<test1, 'home', boolean>, testExpect1>>,
  Expect<Equal<AppendToObject<test2, 'home', 1>, testExpect2>>,
  Expect<Equal<AppendToObject<test3, 'moon', false | undefined>, testExpect3>>,
]

核心原因：两种实现的类型结构不一样 #

交叉类型生成的是两个类型的组合体，它的本质是「同时满足T和新增对象的类型」，在TypeScript里，这种类型和直接写的单对象类型（比如testExpect1）虽然功能上等价——你能正常访问所有属性，但它们的内部表示形式完全不同。

而遍历写法是把原来的键和新增键合并到同一个对象里，生成的就是一个单一的对象类型，和测试用例里的期望类型结构完全一致。

为什么Equal类型会判错？ #

测试用例里的Equal用的是严格的类型等价检查逻辑：它通过判断两个类型在协变逆变场景下的行为是否完全一致来确定是否相等。交叉类型和单对象类型虽然结构兼容，但在这种严格检查下会被判定为不相等，而遍历生成的类型和期望类型是完全一样的，所以能通过测试。

补充说明 #

如果只是业务代码里用，交叉类型的写法其实没问题——属性访问、赋值都不会报错。但Type Challenges的题目要求类型必须和期望结果完全匹配，所以得用遍历的方式生成单一对象类型。

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