TypeScript为何允许不同子类实例交叉适配？如何禁止该行为？

代码示例 #

class Base {}
class D1 extends Base{}
class D2 extends Base{}

const d1: D1 = new D1();

function printD2(d2: D2) {
    console.log(d2)
}
printD2(d1); // 未触发类型错误，但运行时d1 instanceof D2返回false

为什么TypeScript允许这种操作？ #

TypeScript采用结构类型系统，判断类型兼容性的核心依据是类型的结构（属性、方法等成员），而非类型的名称或名义上的继承关系。

在你的代码中，D1和D2都没有定义任何额外的属性或方法，它们的结构和基类Base完全一致。因此TypeScript会认为这两个类型是互相兼容的，允许将D1实例传入期望D2的函数参数中。

而运行时的instanceof操作符是基于JavaScript的原型链机制，它检查的是对象的构造函数是否匹配，所以d1 instanceof D2会返回false——这是TypeScript静态类型检查和JavaScript运行时行为的典型差异。

如何禁止该行为？ #

要让TypeScript将D1和D2视为不兼容的类型，需要给它们添加独特的结构标识，破坏结构兼容性：

方法1：添加私有属性

给每个派生类添加一个私有成员（属性或方法），即使成员名称和类型相同，TypeScript也会因为私有成员的归属类不同而判定类型不兼容：

class Base {}
class D1 extends Base {
    private readonly _tag: void; // 仅用于区分类型的私有属性
}
class D2 extends Base {
    private readonly _tag: void;
}

const d1: D1 = new D1();
function printD2(d2: D2) { console.log(d2) }
printD2(d1); // 触发类型错误：类型"D1"的参数不能赋给类型"D2"的参数

方法2：使用独特符号

利用unique symbol创建每个类独有的符号属性，同样可以破坏结构兼容性：

class Base {}
const D1_TAG = Symbol();
class D1 extends Base {
    [D1_TAG]: void;
}
const D2_TAG = Symbol();
class D2 extends Base {
    [D2_TAG]: void;
}

const d1: D1 = new D1();
function printD2(d2: D2) { console.log(d2) }
printD2(d1); // 触发类型错误

这两种方法都能让TypeScript在编译阶段就阻止跨类型的赋值，同时不影响类的运行时行为（除了添加了无意义的私有/符号属性，但对逻辑无影响）。

内容的提问来源于stack exchange，提问作者Daniel A. White