原型对象的__proto__和prototype区别和联系

image.png

首先，要明确几个点：
1.在JS里，万物皆对象。方法（Function）是对象，方法的原型(Function.prototype)是对象。因此，它们都会具有对象共有的特点。即：对象具有属性_ proto_ _，可称为隐式原型，一个对象的隐式原型指向构造该对象的构造函数的原型，这也保证了实例能够访问在构造函数原型中定义的属性和方法。
2.方法(Function)方法这个特殊的对象，除了和其他对象一样有上述 _ proto _属性之外，还有自己特有的属性——原型属性（prototype），这个属性是一个指针，指向一个对象，这个对象的用途就是包含所有实例共享的属性和方法（我们把这个对象叫做原型对象）。原型对象也有一个属性，叫做constructor，这个属性包含了一个指针，指回原构造函数。
好啦，知道了这两个基本点，我们来看看上面这副图。

• 1.构造函数Foo()构造函数的原型属性Foo.prototype指向了原型对象，在原型对象里有共有的方法，所有构造函数声明的实例（这里是f1，f2）都可以共享这个方法。
• 2.原型对象Foo.prototypeFoo.prototype保存着实例共享的方法，有一个指针constructor指回构造函数。
• 3.实例f1和f2是Foo这个对象的两个实例，这两个对象也有属性 _ proto _，指向构造函数的原型对象，这样子就可以像上面1所说的访问原型对象的所有方法啦。

另外：构造函数Foo()除了是方法，也是对象啊，它也有 _ proto _ 属性，指向谁呢？指向它的构造函数的原型对象呗。函数的构造函数不就是Function嘛，因此这里的 _ proto _ 指向了Function.prototype。其实除了Foo()，Function(), Object()也是一样的道理。

原型对象也是对象啊，它的 _ proto _ 属性，又指向谁呢？同理，指向它的构造函数的原型对象呗。这里是Object.prototype.最后，Object.prototype的 _ proto _ 属性指向null。

总结：

1.对象有属性 _ proto _ ,指向该对象的构造函数的原型对象。
2.方法除了有属性 _ proto _ ,还有属性prototype，prototype指向该方法的原型对象。
3、函数（包括构造函数）如果没有自定义的构造函数，那么他的构造函数就是Function，所以他的 _ proto _ 指向Function.prototype
4、原型对象也是对象啊，对象的构造函数是Object，所以一般XX.prototype. _ proto _ 一定是Object.prototype

面试题理解：

var F = function(){};  
Object.prototype.a = function(){};  
Function.prototype.b = function(){};  
var f = new F();  

问：调用f.a( )和f.b( ) 能成功么？
答：能调用f.a( )但是不能调用f.b( )
为什么内？
首先一步步分析
1、

var F = function(){};  

F是一个匿名函数，也是对象，函数都有prototype属性,指向函数的原型，对象都有__ proto __属性，指向创建这个对象的构造函数的原型。F.prototype也是对象啊，创建这个对象的构造函数是Object

F. __proto__ =Function.prototype
F.prototype.__proto__ =Object.prototype

2、给Object方法定义一个原型属性a

Object.prototype.a=function(){}

3、给Function定义一个原型属性b

Function.prototype.b = function(){};  

4、用F当做构造函数去构造一个对象f

f.__proto__=F.prototype;
F.prototype. __proto__=Object.prototype;

具体参照下图

image.png

instanceof
instanceof 操作符的内部实现机制和隐式原型、显式原型有直接的关系。instanceof的左值一般是一个对象，右值一般是一个构造函数，用来判断左值是否是右值的实例。它的内部实现原理是这样的：

 //设 L instanceof R 
//通过判断
 L.__proto__.__proto__ ..... === R.prototype ？
//最终返回true or false

也就是沿着L的proto一直寻找到原型链末端，直到等于R.prototype为止。知道了这个也就知道为什么以下这些奇怪的表达式为什么会得到相应的值了

Function instanceof Object // true 
 Object instanceof Function // true 
 Function instanceof Function //true
 Object instanceof Object // true
 Number instanceof Number //false

这个关系对应这上图来看就很明显了