为什么TypeScript元组类型允许调用array.push方法？

• TypeScript中的元组本质是带索引位置类型约束的特殊数组，并非独立于数组的全新数据结构，因此默认会继承所有数组原生方法，包括push、pop、splice这类会修改数组自身长度的变异方法。
• 元组的长度校验仅在直接通过已知索引访问/赋值时生效：当你写person.role[2] = 'reader'时，编译器可以静态识别到[number, string]类型的合法索引只有0、1两个，索引2属于明确越界，因此会直接拦截报错，符合预期。
• 数组变异方法的类型签名最初没有针对定长元组做长度限制逻辑：以push为例，它的类型定义只校验传入参数的类型是否匹配元组所有成员的联合类型，不会校验操作后数组长度是否超出元组定义的固定长度。上述例子里元组成员的联合类型是number | string，传入的'reader'是string类型，满足参数类型要求，编译器就不会拦截。这种设计是TypeScript在类型严格度和使用成本间的权衡：如果要静态追踪所有数组操作带来的长度变化，会大幅提升编译器开销，也会破坏大量存量代码的兼容性。
• 如果要100%禁止这类越界修改，可以将元组标记为只读元组，此时所有会修改原数组的变异方法都会被编译器直接拦截，写法参考：

let person: {
    name: string;
    age: number;
    hobbies: string[];
    role: readonly [number, string]  // 声明只读元组
} = {
    name: 'stack overflow',
    age: 30,
    hobbies: ['reading', 'jogging'],
    role: [2, 'author']
};

person.role.push('reader'); // 此时调用push会直接触发编译器报错

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