TypeScript是否允许出现破坏类型安全的对象突变操作？

问题解答 #

1. 代码现象的本质原因

你观察到的是TypeScript类型系统刻意保留的不健全特性，并非bug。
TypeScript处理联合类型的公共属性时，会将该属性的类型推导为所有联合成员对应属性类型的合集。你的示例中Animal的两个变体都有noise属性，因此animal.noise的类型被推导为'meow' | 'woof'，赋值'woof'符合该类型约束，所以不会被TS拦截。
而TS不会做跨属性的关联校验：它不会主动跟踪修改noise之后，该字段和name字段的组合是否还匹配Animal的任意变体。这种全量关联流分析会带来极大的性能开销，也会大幅提升类型系统复杂度，不符合TS在实用性、性能和类型安全之间平衡的设计原则。

2. 你的判断是正确的

这类突变确实会破坏类型安全，属于TS已知的类型漏洞之一，你的诉求完全合理。

3. 可行的解决方案

除了主动避免突变之外，还有以下几种落地性很强的方案：

• 使用readonly修饰符
  将联合类型的所有属性标记为只读，从根源上禁止对象属性的突变：

type Animal = {
  readonly name: 'cat'
  readonly noise: 'meow'
} | {
  readonly name: 'dog'
  readonly noise: 'woof'
};

此时尝试修改animal.noise时，TS会直接抛出只读属性不可修改的错误，完全避免该问题。

• 修改属性前先做类型收窄
  如果确实需要修改属性，先通过可辨识联合的判别字段（本例为name）收窄类型，之后再修改属性就不会出现类型不一致的问题：

const f = (animal: Animal) => {
  if (animal.name === 'dog') {
    // 此时animal类型已经被收窄为{name: 'dog', noise: 'woof'}
    animal.noise = 'woof'; // 合法，不会出现类型冲突
  }
}

• 采用不可变数据更新模式
  不要直接修改原对象，而是返回新的对象实例，TS会在创建新对象时做完整的结构校验，和你示例中直接赋值字面量时的校验逻辑一致：

const updateAnimal = (animal: Animal): Animal => {
  return {
    ...animal,
    noise: 'woof' // 此处TS会直接报错，因为cat变体的组合不合法
  }
}

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