TypeScript派生类属性赋值未报错问题及配置咨询

为什么TypeScript没有报错？ #

TypeScript 默认采用结构类型系统，它判断类型兼容性的核心依据是类型的结构（包含的属性、方法等），而非类型的名称或继承关系。如果你的 Dog 和 Cow 类仅继承了抽象类 Animal，没有定义任何独有的属性或方法，那么二者的结构完全一致——TypeScript 会认为这两个类的实例是互相兼容的，因此将 Cow 实例赋值给 Dog 类型的属性时不会触发报错。

如何让TypeScript对这类赋值操作报错？ #

有两种直接有效的方案：

方案1：给派生类添加私有/受保护成员 #

给 Dog 和 Cow 分别添加私有或受保护的成员，破坏它们的结构兼容性。TypeScript 对私有/受保护成员的兼容性判断会结合类的继承关系，而非仅看结构：

abstract class Animal {}

class Dog extends Animal {
  private _dogMarker: void; // 私有标识成员
}

class Cow extends Animal {
  private _cowMarker: void; // 私有标识成员
}

class Test {
  dog: Dog;
  constructor() {
    this.dog = new Cow(); // 此处会触发报错：Type 'Cow' is not assignable to type 'Dog'
  }
}

方案2：使用标称类型（Nominal Typing） #

给每个派生类添加一个唯一的品牌属性，强制TypeScript区分不同的类实例：

abstract class Animal {}

// 定义标称类型
type Dog = Animal & { __brand: 'dog' };
type Cow = Animal & { __brand: 'cow' };

// 实现标称类型
class DogImpl extends Animal implements Dog {
  __brand: 'dog' = 'dog';
}

class CowImpl extends Animal implements Cow {
  __brand: 'cow' = 'cow';
}

class Test {
  dog: Dog;
  constructor() {
    this.dog = new CowImpl(); // 此处会触发报错：Type 'CowImpl' is not assignable to type 'Dog'
  }
}

tsconfig配置补充 #

如果你的项目尚未开启严格模式，建议在 tsconfig.json 中启用 strict: true，它包含了一系列严格类型检查配置，能帮助你更早发现潜在的类型问题：

{
  "compilerOptions": {
    "strict": true
  }
}

不过需要注意：仅开启严格模式无法解决当前的结构兼容问题，必须结合上述两种方案之一，才能让TypeScript对Cow实例赋值给Dog类型的操作报错。

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