TypeScript const断言为何无法直接让表达式完全不可变？

先看文档里的说明：

需要注意的另一点是，const上下文不会直接将表达式转换为完全不可变的。

这句话的核心意思是：const断言只针对当前断言的表达式本身做类型层面的只读限制，不会递归地把所有嵌套引用的外部值都改成不可变类型，更不会改变运行时的值不可变性。

两种场景的差异原因 #

场景1：引用外部数组变量

let arr = [1, 2, 3, 4];
let foo = {
  name: "foo",
  contents: arr,
} as const;
foo.name = "bar"; // 报错！
foo.contents = []; // 报错！
foo.contents.push(5); // 可以执行！

• arr本身是number[]类型（可变数组），as const断言只会把foo的属性标记为只读（不能重新赋值），但foo.contents指向的数组还是原来的number[]（类型本身是可变的）。
• 所以foo.contents = []会报错（属性只读），但调用push（数组自身的可变方法）不会被TypeScript阻止，因为数组的类型还是可变的number[]，而非只读数组类型。

场景2：使用字面量数组

let foo = {
  name: "foo",
  contents: [1, 2, 3, 4],
} as const;

foo.name = "bar"; // 报错！
foo.contents = []; // 报错！
foo.contents.push(5); // 抛出错误

• 这里的数组是直接写在断言表达式内部的字面量，as const会把这个数组的类型推导为只读元组readonly [1, 2, 3, 4]。
• 只读元组类型不包含push、pop等可变方法，所以调用push会直接触发TypeScript的类型错误。

总结 #

“不会直接转换表达式”指的是：const断言不会修改表达式中引用的外部值的类型，它只处理断言范围内的字面量和属性的只读标记。如果要让嵌套的引用类型也完全不可变，需要确保引用的外部值本身也是只读类型（比如用const arr = [1,2,3,4] as const定义外部数组），而不是依赖对象的as const断言去递归修改。

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