在TypeScript的类型系统中，类型兼容性是决定能否将一个值赋值给另一个变量的核心机制。由于TypeScript采用了结构化类型系统，类型之间的比较基于其内部成员的结构而非名称。当引入只读属性时，这种结构比较变得尤为复杂。只读属性不仅限制了对象自身的修改权限，还在类型兼容性判定中引发了一种特殊的现象：双向协变。理解这一机制，对于编写高容错率的类型代码至关重要。
结构化类型系统与只读属性的底层逻辑
TypeScript判断两个类型是否兼容的依据是它们的结构特征。如果类型A包含了类型B所需的所有属性，并且属性类型兼容，那么A就可以赋值给B。这种机制在处理普通属性时相对直观，但只读属性的加入打破了这种单向的赋值关系。只读属性通过readonly修饰符标记，表明该属性只能在对象初始化时赋值，后续不可修改。在类型兼容性判定中，只读属性实际上赋予了类型更窄的写入约束，但在读取层面却表现出更宽泛的兼容性。
为了说明这一点，我们可以定义两个结构相似但修饰符不同的接口。假设有一个Point接口包含只读属性，而另一个MutablePoint接口包含同名的可变属性。当我们将只读类型的实例赋值给可变类型变量时，TypeScript编译器会进行结构化比对。由于只读属性在读取操作上与可变属性完全兼容，编译器认为这种赋值在特定条件下是安全的。这种设计初衷是为了在保持类型安全的同时，提供足够的灵活性，避免过度限制开发者的编码自由度。
只读属性向可变属性赋值的协变现象
在TypeScript中，将一个包含只读属性的对象赋值给包含可变属性的目标类型，通常是被允许的。这种现象本质上是类型系统在结构匹配时的一种协变表现。编译器认为，既然源类型拥有该属性，且属性值的类型与目标类型一致，那么在结构层面它们就是匹配的。只读属性的限制是针对写入操作的，而在赋值过程中，系统主要关注的是属性的存在性和类型的可读性兼容。
interface ReadOnlyPoint {
readonly x: number;
readonly y: number;
}
interface MutablePoint {
x: number;
y: number;
}
let roPoint: ReadOnlyPoint = { x: 10, y: 20 };
let mPoint: MutablePoint;
// 允许将只读属性的类型赋值给可变属性的类型
mPoint = roPoint;
上述代码展示了这种协变赋值。虽然roPoint的属性是只读的，但将其赋值给mPoint后，TypeScript并不会报错。然而，这里隐藏着一个潜在的运行时风险。如果在后续代码中通过mPoint修改了属性值，而原始对象roPoint在逻辑设计上是不应被修改的，就会导致数据状态的不一致。这种设计是TypeScript为了兼容JavaScript动态特性而做出的妥协，开发者需要在实际应用中自行把控这种灵活性带来的副作用。
可变属性向只读属性赋值的逆向兼容
与上述方向相反，将一个包含可变属性的对象赋值给包含只读属性的目标类型，同样是TypeScript类型系统所允许的。这种逆向兼容构成了双向协变的另一半。从逻辑上看，可变属性具备读取和写入的能力，而只读属性仅要求具备读取能力。既然可变属性完全满足只读属性的读取需求，那么这种赋值在结构上是完全安全且合理的。这也是结构化类型系统中最符合直觉的一种兼容性判定。
interface Config {
readonly host: string;
readonly port: number;
}
interface MutableConfig {
host: string;
port: number;
}
let mConfig: MutableConfig = { host: '127..0.0.1', port: 8080 };
let rConfig: Config;
// 允许将可变属性的类型赋值给只读属性的类型
rConfig = mConfig;
// rConfig.host = '192.168.0.1'; // 编译错误：无法分配只读属性
在这个例子中，mConfig被赋值给rConfig，由于MutableConfig的结构完全满足Config的要求，赋值顺利通过。此后，通过rConfig访问属性是安全的，而尝试修改rConfig的属性会被TypeScript在编译阶段拦截。这种方向的赋值不仅类型安全，而且在实际开发中极为常见，例如将动态生成的配置对象传递给期望不可变配置的函数。
严格模式下的类型检查与最佳实践
尽管TypeScript在只读属性的类型兼容性上表现出双向协变的特性，但在某些严格检查模式下，这种宽容度会有所收敛。特别是在函数参数的双向协变方面，开启strictFunctionTypes选项后，TypeScript会对函数参数的类型进行比较严格的逆变检查，以防止运行时错误。然而，对于对象属性的直接赋值，只读与可变之间的双向兼容性依然保留，因为这种结构匹配在编译期无法完全推断出运行时的意图。
为了规避只读属性双向协变带来的潜在风险，开发者应当遵循一些最佳实践。首先，在定义接口时，如果属性在逻辑上不应被修改，必须显式使用readonly修饰符，这能在编译期阻止直接修改。其次，当需要将可变对象传递给期望只读参数的函数时，可以通过类型断言或深拷贝来切断引用关系，确保原始数据不被意外篡改。最后，对于团队协作的大型项目，建议在代码审查阶段重点关注只读属性与可变属性之间的赋值操作，必要时引入自定义的类型检查工具来约束这种隐式的双向协变。
TypeScript类型兼容性双向协变修改时间：2026-08-28 16:17:24