先记住这个答案
典型同态映射 { [K in keyof T]: F<T[K]> } 保留与原类型 T 的关联。对数组和元组，TypeScript 可以应用专门规则，逐元素变换并保留相应数组或元组形状、只读等信息，而不是把 length、map 和其他成员一概包装。这个行为依赖具体映射形式，不是所有写着 keyof 的对象类型都具有相同待遇。加入 as 键重映射后，即使看起来仍返回原键，也可能转为普通对象映射，长度和方法会参与计算。需要保留容器形状时，应使用明确形式并用编译器验证结果。
- 典型同态形式保留来源结构与字段修饰
- 数组元组可按元素变换而保留容器形状
- 键重映射可能改变特殊处理，需要实际核对
数组为什么不会把 push 也包装起来
如果对数组所有属性做完全普通的对象变换，长度可能变成包装对象，方法也不再是函数，结果就失去了数组接口。编译器对合适的同态映射提供专门处理，使这种常见逐元素类型变换仍能得到可使用的数组或元组。
示例将元素包在 value 对象中，普通数组得到包装元素数组，只读二元组保留两项位置与只读性质。另一个带 as K 的形式用于对照：它不再获得同样的元组结果，长度字段也进入普通映射，从而显示两种看似相近语法的差别。
type Box<T> = { value: T };
type Boxes<T> = { [K in keyof T]: Box<T[K]> };
type WithRemap<T> = { [K in keyof T as K]: Box<T[K]> };
type List = Boxes<string[]>;
type Pair = Boxes<readonly [string, number]>;
type PairLength = Pair['length'];
type RemappedLength = WithRemap<[string, number]>['length'];
const pair: Pair = [{ value: 'x' }, { value: 7 }];
// @ts-expect-error 原元组的只读限制被保留
pair[0] = { value: 'y' };在 TypeScript 5.9.3 中，List 是包装字符串的数组，Pair 保留只读二元组，PairLength 为 2；RemappedLength 则是 Box<2>，说明键重映射没有沿用相同的逐元素容器处理。
修饰符和元组位置也需要检查
元组与普通数组的区别不仅是当前元素数量，还包括固定位置类型、可选位置以及剩余元素结构。一个用于参数列表的映射如果丢掉这些关系，会让函数包装器接受原本不合法的参数。验证应覆盖整个元组契约，而不是只看编辑器展开的某个字段。
只读修饰同样有意义。去掉或添加 readonly 会改变通过当前接口可以执行的操作，但不会在运行时复制数组。某些映射修饰对数组也有专门处理，应查看实际结果与对应版本文档，避免根据普通对象直觉推导所有容器行为。
抽象封装可能改变被识别的形式
把 keyof T 先存进另一个别名、加入重映射或把来源关系改成更宽的键参数，都可能使编译器看到不同结构。不能因为结果键集合在数学上看起来相同，就假定一定触发相同优化或特殊映射规则。类型系统处理还依赖表达形式。
实现运行时数组包装时，仍需要真正遍历元素并构造对象。类型同态不证明函数没有遗漏可选元素、改变长度或破坏顺序。公共工具应把类型断言与运行行为分别验证，确保静态保留的容器承诺能够由实际实现兑现。
容易答错的地方
- 所有 keyof 映射都自动保留数组结构
- 专门处理依赖具体同态形式，加入 as 或改变来源关系可能得到普通对象映射；应检查长度、方法和元组位置的实际结果。
- 类型保留只读就说明运行时数组被冻结
- 只读是静态访问约束，其他可写引用仍可能改变底层数组；需要稳定快照或冻结时，应另外执行相应运行时操作。
面试官还会怎么问？
为什么要检查映射后的 length？
长度能清楚区分固定元组、普通数组和被普通对象规则包装的结果；只看首个元素可能忽略容器形状已经发生变化。
映射可选元组元素会自动生成缺失元素吗？
不会，类型运算只描述可能结构，运行时有没有元素仍由真实数组决定；转换实现必须明确如何保留可选位置和长度关系。
可以为了美观统一给所有映射加 as K 吗？
不应机械修改，语义等价的键表达也可能改变数组元组的专门处理；如果没有重命名需求，保留清楚的同态形式通常更容易维护。
参考资料
示例用于理解所注明的运行环境与边界；延伸学习可结合原文中的更多案例。