TypeScript中readonly与可变属性的类型守卫缺失问题及编译时防护方案咨询

你好，我来帮你拆解这个问题：

首先，这是TypeScript的预期设计行为，不是bug，不需要上报 #

TypeScript采用的是结构子类型系统——只要两个类型的核心结构（属性名、属性类型）匹配，不管有没有readonly修饰符，TS都会认为它们是兼容的。所以它会允许把ReadonlyObj实例传给接受MutableObj的函数，因为两者的核心结构都是包含一个number类型的x属性，readonly在这里只是编译时的“约束提示”，而非结构兼容性的判断依据。

TS团队这么设计的考量是：readonly更多是用来规范开发者自身的编码行为（比如提醒自己不要修改某个属性），而非强制阻断不同读写权限类型之间的传递。

如何在编译时严格保护readonly对象不被修改？ #

如果需要彻底在编译阶段阻止只读对象被当作可变对象传递，可以用以下两种方案：

方案1：使用「品牌类型（Branded Types）」标记不同权限的类型

通过给类型添加一个唯一的“品牌”标记，让TS认为ReadonlyObj和MutableObj是完全不同的类型，从而阻断结构兼容性：

// 定义品牌类型的辅助工具
type Brand<T, BrandName> = T & { __brand: BrandName };

// 给只读和可变类型分别添加独特品牌
type ReadonlyObj = Brand<{ readonly x: number }, "ReadonlyObj">;
type MutableObj = Brand<{ x: number }, "MutableObj">;

function mutate(mutableObj: MutableObj) {
  mutableObj.x = 1;
}

// 创建只读对象时需要做类型断言（因为__brand是虚构属性，不需要实际赋值）
const readonlyObj: ReadonlyObj = { x: 0 } as ReadonlyObj;

// 这里会直接编译报错：类型 "ReadonlyObj" 的参数不能赋给类型 "MutableObj" 的参数
mutate(readonlyObj);

方案2：使用as const创建深度只读的字面量对象

如果是直接创建的字面量对象，可以用as const让整个对象变成深度只读，此时如果尝试修改属性或者传给需要可变对象的函数，TS会直接报错：

const readonlyObj = { x: 0 } as const;

// 直接修改会报错：无法分配到 "x" ，因为它是只读属性
// readonlyObj.x = 1;

// 传给mutate函数也会报错：类型 "readonly 0" 的属性 "x" 不能赋给类型 "number" 的属性 "x"
// mutate(readonlyObj);

注意：这种方式下属性的类型会变成字面量类型（比如x的类型是0而非number），如果需要保留通用类型，可以结合Readonly工具类型使用，但还是品牌类型的隔离效果更彻底。

有没有相关编译器 flag 可以启用？ #

目前没有专门的编译器选项来改变readonly在结构兼容性中的行为，因为这是TS类型系统的核心设计之一。上面提到的品牌类型是最可靠的自定义解决方案。

备注：内容来源于stack exchange，提问作者Yoz