TypeScript中{[K in keyof T]: T[K]}与直接用T的差异探究

你看到的这个映射类型看起来跟直接返回T一模一样，但实际在不少场景下行为天差地别——核心问题在于：前者是通过映射逻辑重新构造了一个全新的对象类型，而后者只是直接引用原类型本身，TypeScript对这两种类型的处理逻辑完全不同。下面给你列几个最关键的差异场景：

1. 元组/数组类型直接“变味” #

当T是元组或者数组类型时，映射类型会把元组的每个数字索引、甚至数组自带的length、toString等所有属性都拆成普通对象的键值对，最后得到的是个纯对象，彻底丢失了数组/元组的特性：

type MyTuple = [number, string];
type MappedType = { [K in keyof MyTuple]: MyTuple[K] };
// MappedType最终是这样的普通对象：
// {
//   0: number;
//   1: string;
//   length: number;
//   toString: () => string;
//   // ... 其他数组原型上的属性全被列出来
// }

// 而直接引用T的话，还是正经的元组：
type DirectType = MyTuple; // [number, string]

这意味着MappedType没法当数组用——不能调用push、不能解构、不能用数组的所有方法，而DirectType完全保留数组的所有功能。

2. 私有/受保护属性直接“脱敏” #

如果T是带私有或受保护属性的类实例类型，映射类型会把这些受限属性直接转成公共属性，彻底丢掉原有的访问限制：

class User {
  private id: number;
  public name: string;
  constructor(id: number, name: string) {
    this.id = id;
    this.name = name;
  }
}

type MappedUser = { [K in keyof User]: User[K] };
// MappedUser里的id变成了公共属性，类型是 { id: number; name: string }

// 你可以随便造个符合MappedUser的对象，但它根本没法赋值给User类型：
const fakeUser: MappedUser = { id: 1, name: "Alice" };
const realUser: User = fakeUser; // 直接报错：类型"MappedUser"缺少"id"的私有声明

但如果用type DirectUser = User，就会完全保留id的私有属性特性，上述赋值会被TypeScript正确拦截。

3. 对象联合类型直接“缩水” #

当T是多个对象组成的联合类型时，keyof T只会取所有对象的公共键的交集——如果没有公共键，那keyof T就是never，映射类型最后就变成了空对象{}；而直接引用T的话，还是原来的联合类型：

type ObjUnion = { a: number } | { b: string };
type MappedUnion = { [K in keyof ObjUnion]: ObjUnion[K] };
// keyof ObjUnion是keyof {a:number} & keyof {b:string} = never，所以MappedUnion是{}

type DirectUnion = ObjUnion; // 还是 {a:number} | {b:string}

这时候两者的差异一眼就能看出来：MappedUnion是个啥属性都没有的空对象，而DirectUnion保留了原来的联合类型结构。

4. 类型身份导致的隐性差异 #

TypeScript有时候会区分“结构完全一样，但身份不同”的类型。比如在条件类型、类型别名的匹配场景中，直接引用的原类型可能会触发某些特定的类型逻辑，而映射出来的新类型则不会——这种差异比较隐性，但在复杂的类型工具中经常会导致意想不到的结果。

回到你的测试代码，之所以没看出差异，是因为你的测试场景（交叉类型的对象、访问已知固定键）刚好是两者行为一致的情况。但只要碰到上面这些场景，两者的差异就会立刻显现出来。

内容的提问来源于stack exchange，提问作者Jan Moritz Meyer