JavaScript类与原型对比：Python开发者的困惑与疑问

一、原型方式的价值 #

从Python背景转来觉得类语法更直观很正常，但原型模式并非没有独特价值，它的优势主要体现在这些方面：

1. 内存效率更高 #

你写的类里，genus和vertebrate是实例字段——每创建一个Dog1实例，内存里都会复制一份这两个属性；而原型方式中，Dog2.prototype.genus是所有实例共享的，内存里只存一份，所有new Dog2()的实例都会通过原型链访问这个值，在需要创建大量实例的场景下，能明显节省内存。

2. 动态修改的灵活性 #

原型支持运行时动态修改，所有已创建的实例都会自动继承这个修改：

// 给所有Dog2实例新增摇尾巴方法
Dog2.prototype.wagTail = function() {
    console.log("Wagging tail!");
};

const myDog = new Dog2("Buddy", "Lab");
myDog.wagTail(); // 直接可用，无需重新创建实例

类语法虽然也能间接修改原型，但这种动态扩展能力是原型机制的原生特性，在需要灵活调整对象行为的场景下更实用。

3. 更底层的控制能力 #

类是原型的语法糖，理解原型能帮你看透类的本质——比如类的继承本质是修改原型链，静态方法本质是挂在构造函数本身的属性。当遇到类语法无法覆盖的场景（比如复杂的原型链定制、对象组合模式），原型模式能给你更直接的底层控制。

关于“代码可复用性”的疑问 #

你觉得原型的方法/属性在构造函数外部添加降低了复用性，其实可以通过封装解决，比如用立即执行函数把相关代码打包：

const Dog2 = (function() {
    function Dog2(name, breed) {
        this.name = name;
        this.breed = breed;
    }

    Dog2.prototype.bark = function() {
        console.log("Bark!");
    };

    Dog2.prototype.genus = "canis";
    Dog2.prototype.vertebrate = true;

    return Dog2;
})();

这样既避免了污染全局作用域，也能保证代码的内聚性，复用性和类写法完全一致。

二、为什么要把属性/方法加在prototype上？ #

你的猜测方向是对的：Dog2本质是一个函数，它可以拥有自己的属性，但直接加在Dog2上的是静态属性/方法，只有构造函数本身能访问，实例无法调用：

Dog2.staticProp = "static";
const dog = new Dog2("Max", "Poodle");
console.log(dog.staticProp); // undefined
console.log(Dog2.staticProp); // "static"

而加在Dog2.prototype上的属性/方法，会成为所有new Dog2()实例的“共享原型”——当你访问实例的bark或genus时，如果实例本身没有这个属性，就会顺着原型链去Dog2.prototype上查找，这样所有实例都能访问到，还能共享同一份内存资源。

至于“如何确保prototype可以存储属性”：Dog2.prototype本身就是一个普通JS对象，和其他对象一样，能存储任何类型的属性（包括函数），完全不用担心这个问题。

三、.prototype 和 .__proto__ 的区别 #

这两个概念确实容易混淆，核心差异在于：

• .prototype：是构造函数独有的属性，指向一个对象——这个对象会成为所有由该构造函数创建的实例的原型（也就是实例的.__proto__指向的对象）。同时，这个原型对象默认带有constructor属性，指回原构造函数（比如Dog2.prototype.constructor === Dog2）。
• .__proto__：是**所有JS对象（包括函数）**都有的属性，指向该对象的“父原型”——也就是它继承属性和方法的源头对象。

结合你提到的function MyConstructor() {}示例：

1. MyConstructor是一个函数，所以它的.__proto__指向Function.prototype——因为所有函数都是Function构造函数的实例，继承了函数的通用方法（比如call、apply）。
2. MyConstructor.prototype是一个普通对象，当你用new MyConstructor()创建实例时，这个实例的.__proto__就会指向MyConstructor.prototype，因此实例能访问到原型上的所有属性和方法。

你的猜测基本正确：MyConstructor是创建实例的构造函数，MyConstructor.prototype相当于实例的“类原型”，定义了该类所有实例共享的属性和方法。

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