- 鸭子类型(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.