1.原型链

1.1 原型链解释：

1. (概念) 原型链指一些原型通过__proto__指针构成的链表，一个原型链可以为想共享原型链中数据的对象服务，用于实现JavaScript中的继承机制。

2. (原型链指针) 原型链中涉及到的指针：

   • 每个对象都有一个__proto__指针来访问对象的原型
   • 每个原型都是一个用于实现继承的对象，除了有__proto__指针之外，还有constructor指针指向构造函数
   • 每个函数都是一个对象，除了有__proto__指针之外，还有prototype指针指向与之关联的原型对象，prototype的指向和__proto__指向不一定相同。

1.2 不涉及继承的原型链图示：

1. 构造函数类型原型链：原型链服务的对象由构造函数产生 (这张图非常重要，涉及了底层的链，网上也有类似的图)

function A() {


}

let a1 = new A()
let a2 = new A()
let a3 = new A()
// 这几行代码会产生下面图示的原型链

1. 非构造函数类型原型链：原型链服务的对象由工厂函数，对象字面量，Object.create等方式产生

let A = {

    test: ""
}

let a1 = Object.create(A)
let a2 = Object.create(A)
let a3 = Object.create(A)
// 这几行代码对应下面图示的原型链

1. 简化的原型链：实际考虑原型链时往往不需要考虑“构造函数Function的实例对应的原型链”，甚至"原型链终点"和"Object.prototype"都不需要考虑。因为涉及到复杂的继承关系时考虑这些偏底层的内容不利于分析。一般分析时使用下面的两个简化图分析即可。

function A() {


}

let a1 = new A()
let a2 = new A()
let a3 = new A()
// 这几行代码会产生下面图示的原型链

1.3 涉及继承的原型链图示

涉及继承的原型链使用简化图分析即可

// 使用寄生组合模式实现继承
function C() {
}

function B() {
}

B.prototype = new C()
function A() {
}

A.prototype = new B()

let a1 = new A()
let a2 = new A()
let a3 = new A()

1.4 原型链终点

原型链的终点是null，并不是指某个原型对象

1.5 原型的动态性

原型的动态性在“面向对象编程”中详细解释过，主要涉及的是原型的重写和修改。这里列举几个例题。
例题1—原型的动态性

var A = function() {
}
    ;
    
A.prototype.n = 1;
    
var b = new A();

A.prototype = {

    n: 2,
    m: 3
}
    
var c = new A();
    

console.log(b.n);
     // 1
console.log(b.m);
     // undefined

console.log(c.n);
     // 2
console.log(c.m);
     // 3

例题2—原型的动态性& 原型链底层链

var F = function() {
}
    ;


Object.prototype.a = function() {
    
    console.log('a');

}
    ;


Function.prototype.b = function() {
    
    console.log('b');

}
    

var f = new F();
    

f.a();
     // a
f.b();
     // 并不存在b属性

F.a();
     // a
F.b();
     // b

参考上述提到的“不涉及继承的原型链图示”中的第一幅图可以画出如下简化参考图分析问题。

例题3—原型动态性& 原型链底层链

function Person(name) {

    this.name = name
}
    
let p = new Person('Tom');
    
console.log(p.__proto__) //  Person.prototype
console.log(Person.__proto__) // Function.prototype

例题4—原型动态性& 原型链底层链

var foo = {
}
, F = function(){
}
    ;
    
Object.prototype.a = 'value a';
    
Function.prototype.b = 'value b';

Object.prototype = {

    a: "value a"
}

Function.prototype = {

    b: "value b"
}
    

console.log(foo.a);
     // value a
console.log(foo.b);
     // undefined

console.log(F.a);
     // value a
console.log(F.b);
     // value b

参考上述提到的“不涉及继承的原型链图示”中的第一幅图可以画出如下简化参考图分析问题。由于foo和F声明时它们就将自己的原型进行绑定，它们通过栈内存中存储的指针获取堆内存中存储的原型的地址。首先进行了原型的修改操作，修改操作会在堆内存上修改原型，foo和F通过栈内存的指针仍然可以访问到修改后的结果。第二步进行了原型的重写，JS都是“传值操作”，重写原型后，首先在堆内存中开辟一块新空间存储新的原型，然后在栈内存重新开辟一个空间存储指向堆内存的指针。此时由于foo和F持有的栈内存指针和新的栈内存指针不同，所以foo和F无法访问到重写后的原型。