为何TypeScript允许类使用鸭子类型？无关联类未触发编译报错？

你是不是也碰到过这种情况：明明Vehicle和Task是完全不相关的两个类型，在TypeScript里混用的时候，编译器居然完全不报错？我当初第一次遇到时也满脸问号——这俩类型连半毛钱关系都没有，按说肯定要触发编译错误才对！

从TypeScript编译器的角度来看，这类代码是完全合法的。举个直观的例子：

class Vehicle {
  wheels: number;
}

class Task {
  id: string;
}

// 这段代码编译器不会抛出错误
let myVehicle: Vehicle = new Task();

但咱们的直觉肯定会觉得这不对，毕竟Vehicle和Task之间没有任何共同点，完全是两个独立的类型。想要让类型约束符合预期，咱们可以用两种合理的方式来规范：

• 显式接口定义：通过定义明确的接口来约束类型，确保只有符合接口结构的类型才能被兼容：

interface Identifiable {
  id: string;
}

class Task implements Identifiable {
  id: string;
}

class User implements Identifiable {
  id: string;
  name: string;
}

// 合法：Task符合Identifiable接口
let item: Identifiable = new Task();
// 合法：User也符合Identifiable接口
let anotherItem: Identifiable = new User();

这种方式能精准控制哪些类型可以互相兼容，避免无关联类型的意外赋值。

• 公共父对象实现：让相关类型继承同一个父类，通过父类建立类型之间的关联：

abstract class BaseEntity {
  id: string;
}

class Vehicle extends BaseEntity {
  wheels: number;
}

class Task extends BaseEntity {
  deadline: Date;
}

// 合法：Vehicle是BaseEntity的子类
let entity: BaseEntity = new Vehicle();
// 合法：Task也是BaseEntity的子类
let anotherEntity: BaseEntity = new Task();

通过继承关系，编译器能清晰识别类型之间的兼容性，符合咱们对类型约束的预期。

另外要提一句，这种“无关联类型兼容”的行为在JavaScript里是完全正常的——毕竟JS里的class只是语法糖，根本没有真正的类型系统，鸭子类型是它的天然特性。只要一个对象拥有你需要的属性或方法，不管它原本是什么“类型”，都能直接使用，自然也不存在编译阶段的类型检查。

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