- 鸭子类型(Duck Typing)
- duck typing 是动态类型的一种风格,是多态(polymorphism)的一种形式
- 鸭子类型是动态编程语言中常见的概念,而 ts 是静态类型的,但 ts 中的结构化类型系统可以模拟鸭子类型
- 一个对象有效的语义,不是由继承自特定的类或实现特定的接口,而是由”当前方法和属性的集合”决定
- 可以这样表述:”当看到一只鸟走起来像鸭子、游泳起来像鸭子、叫起来也像鸭子,那么这只鸟就可以被称为鸭子。”
- 在鸭子类型中,关注点在于对象的行为能做什么,而不是关注对象所属的类型
- 例如,在不使用鸭子类型的语言中,我们可以编写一个函数,它接受一个类型为”鸭子”的对象,并调用它的”走”和”叫”方法。在使用鸭子类型的语言中,这样的一个函数可以接受一个任意类型的对象,并调用它的”走”和”叫”方法。如果这些需要被调用的方法不存在,那么将引发一个运行时错误。任何拥有这样的正确的”走”和”叫”方法的对象都可被函数接受的这种行为引出了以上表述,这种决定类型的方式因此得名。
interface IPoint { x: number y: number}function addPoints(p1: IPoint, p2: IPoint): IPoint { var x = p1.x + p2.x var y = p1.y + p2.y return { x: x, y: y }}// 正确var newPoint = addPoints({ x: 3, y: 4 }, { x: 5, y: 1 })// 错误var newPoint2 = addPoints({ x: 1 }, { x: 4, y: 3 })// 报错:// 类型“{ x: number; }”的参数不能赋给类型“IPoint”的参数。// 类型 "{ x: number; }" 中缺少属性 "y",但类型 "IPoint" 中需要该属性。ts(2345)
// 定义一个表示"能叫和走的动物"的接口interface IDuck { walk(): void; quack(): void;}// 定义一个鸭子类class Duck implements IDuck { walk() { console.log("The duck waddles."); } quack() { console.log("The duck quacks."); }}// 定义一个人类,注意这里并没有明确实现IDuck接口,但它有walk和quack方法class Person { walk() { console.log("The person walks."); } quack() { console.log("The person imitates a duck."); }}// 这个函数需要一个IDuck类型的参数,但是鸭子类型允许我们传入任何有walk和quack方法的对象function makeItQuack(duck: IDuck) { duck.walk(); duck.quack();}const duck = new Duck();const person = new Person();makeItQuack(duck);// The duck waddles.// The duck quacks.makeItQuack(person);// The person walks.// The person imitates a duck.