JavaScript中基于Prototype的多态性解析及代码第二行含义咨询

一、什么是基于Prototype的多态性？ #

说白了，多态的核心就是同一个方法名，在不同对象上调用会产生不同的结果。和Java、C#这类基于类的面向对象语言不同，JavaScript是靠原型链来实现多态的——毕竟JS里没有真正的类（ES6的class只是语法糖，底层还是原型那一套）。

简单讲，每个JS对象都有一个隐藏的__proto__属性，指向它的原型对象。当你调用一个对象的方法时，JS会沿着原型链往上找，直到找到对应的方法或者走到原型链的尽头（null）。而实现多态的关键，就是让不同的原型分支（比如父原型和子原型）对同一个方法名提供不同的实现：当子类原型重写了父原型的方法，子类实例调用这个方法时就会用自己的实现，父类实例则用父原型的实现，这就形成了多态。

二、指定代码第二行的含义（典型示例代码） #

先把这类问题常用的示例代码贴出来：

function Animal(name) { this.name = name; }
Animal.prototype.makeSound = function() { console.log('Generic animal sound'); }
function Dog(name) { Animal.call(this, name); }
Dog.prototype = Object.create(Animal.prototype);
Dog.prototype.makeSound = function() { console.log(`${this.name} barks!`); }

咱们来拆解第二行Animal.prototype.makeSound = function() { console.log('Generic animal sound'); }的含义：

• Animal是一个构造函数，它的prototype属性指向它的原型对象——所有通过new Animal()创建的实例，都会共享这个原型对象上的属性和方法。
• 这行代码就是给Animal的原型对象添加了一个名为makeSound的方法，功能是打印一句通用的动物叫声。
• 这么做的好处是节省内存：所有Animal的实例（包括后续继承它的子类实例，比如Dog的实例，除非子类重写这个方法）都会继承这个makeSound方法，不用每个实例都单独创建一遍相同的方法。
• 同时这也是实现多态的基础：后续子类（比如Dog）可以通过重写自己原型上的makeSound方法，覆盖父原型的实现，这样当你调用dog.makeSound()和animal.makeSound()时，虽然方法名一样，但输出完全不同，这就是多态的体现。

实际运行效果演示 #

我们创建几个实例来看看：

const genericAnimal = new Animal('Buddy');
const myDog = new Dog('Max');

genericAnimal.makeSound(); // 输出: Generic animal sound
myDog.makeSound(); // 输出: Max barks!

你看，同样是调用makeSound方法，不同对象给出了不同的响应，这就是JavaScript基于Prototype的多态性在实际中的应用。

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