javascript instanceof

在 JavaScript 中，判断一个变量的类型尝尝会用 typeof 运算符，在使用 typeof 运算符时采用引用类型存储值会出现一个问题，无论引用的是什么类型的对象，它都返回 "object"。ECMAScript 引入了另一个 Java 运算符 instanceof 来解决这个问题。instanceof 运算符与 typeof 运算符相似，用于识别正在处理的对象的类型。与 typeof 方法不同的是，instanceof 方法要求开发者明确地确认对象为某特定类型。

// 判断 foo 是否是 Foo 类的实例 , 并且是否是其父类型的实例
 function Aoo(){} 
 function Foo(){} 
 Foo.prototype = new Aoo();//JavaScript 原型继承

 var foo = new Foo(); 
 console.log(foo instanceof Foo)//true 
 console.log(foo instanceof Aoo)//true

是不是还有点多态的感觉？看了上面的代码示例，是不是觉得 instanceof 操作符很简单，下面来看点复杂的用法。

console.log(Object instanceof Object);//true 
 console.log(Function instanceof Function);//true 
 console.log(Number instanceof Number);//false 
 console.log(String instanceof String);//false 

 console.log(Function instanceof Object);//true 

 console.log(Foo instanceof Function);//true 
 console.log(Foo instanceof Foo);//false

好，问题来了，instanceof是怎样操作左操作数和右操作数的呢？

function instance_of(L, R) {//L 表示左表达式，R 表示右表达式
  var O = R.prototype;// 取 R 的显示原型
  L = L.__proto__;// 取 L 的隐式原型
  while (true) { 
    if (L === null) 
      return false; 
    if (O === L)// 这里重点：当 O 严格等于 L 时，返回 true 
      return true; 
    L = L.__proto__; 
  } 
 }

从上面的代码可以看出，其实严格来说js里是没有类型的，判断左操作数是不是右操作数类型的变量就是沿着左操作数的__proto__指针找上去，看看是不是指向里，右操作数的原型(即R.prototype)。

每个对象都有一个__proto__指针，指向它的原型对象(所继承的父类)，函数也是对象，但函数除了作为执行过程外，还可以作为构造函数来生成对象，所以它还有一个prototype指针，指向它所生成的对象的原型。如果x的__proto__(一层层的往上找)指针与y的prototype(仅一层)指到了一个地方，就说明x是y类型的变量。

>>x={}
Object {}
>>x.__proto__
Object {}
>>f=function(){}
function (){}
>>f.__proto__
function Empty() {}
>>f.__proto__.__proto__.__proto__
null
>>f.__proto__.__proto__
Object {}

所有对象都是Object.prototype的后代，其中普通对象是儿子级别的，__proto__指针一下就指到了，函数对象是它的孙子级的，其__proto__指针指向的是Function.prototype，Function.prototype.__proto__指向才是Object.prototype。

参考：JavaScript instanceof 运算符深入剖析