Question

在 TypeScript 中，你可能遇见过以下这样 “看起来不太对，但竟然能正常运行” 的代码：

class Cat {
  eat() { }
}

class Dog {
  eat() { }
}

function feedCat(cat: Cat) { }

feedCat(new Dog())

这就是 TypeScript 的类型系统特性：结构化类型系统，还存在另一种类型系统：标称类型系统。