JS 中的面向对象,class,prototype 和proto

这篇文章主要讲一下 JS 中面向对象以及 __proto__，ptototype和constructor，这几个概念都是相关的，所以一起讲了。

在讲这个之前我们先来说说类，了解面向对象的朋友应该都知道，如果我要定义一个通用的类型我可以使用类(class)。比如在 java 中我们可以这样定义一个类：

public class Puppy{
    int puppyAge;

    public Puppy(age){
      puppyAge = age;
    }

    public void say() {
      System.out.println("汪汪汪");
    }
}

上述代码我们定义了一个 Puppy 类，这个类有一个属性是 puppyAge，也就是小狗的年龄，然后有一个构造函数 Puppy()，这个构造函数接收一个参数，可以设置小狗的年龄，另外还有一个说话的函数 say。这是一个通用的类，当我们需要一个两岁的小狗实例是直接这样写，这个实例同时具有父类的方法:

Puppy myPuppy = new Puppy( 2 );
myPuppy.say();     // 汪汪汪

但是早期的 JS 没有 class 关键字啊（以下说 JS 没有 class 关键字都是指 ES6 之前的 JS，主要帮助大家理解概念），JS 为了支持面向对象，使用了一种比较曲折的方式，这也是导致大家迷惑的地方，其实我们将这种方式跟一般的面向对象类比起来就很清晰了。下面我们来看看 JS 为了支持面向对象需要解决哪些问题，都用了什么曲折的方式来解决。

没有 class，用函数代替

首先 JS 连 class 关键字都没有，怎么办呢？用函数代替，JS 中最不缺的就是函数，函数不仅能够执行普通功能，还能当 class 使用。比如我们要用 JS 建一个小狗的类怎么写呢？直接写一个函数就行：

function Puppy() {}

这个函数可以直接用 new 关键字生成实例：

const myPuppy = new Puppy()

这样我们也有了一个小狗实例，但是我们没有构造函数，不能设置小狗年龄啊。

函数本身就是构造函数

当做类用的函数本身也是一个函数，而且他就是默认的构造函数。我们想让 Puppy 函数能够设置实例的年龄，只要让他接收参数就行了。

function Puppy(age) {
  this.puppyAge = age
}

// 实例化时可以传年龄参数了
const myPuppy = new Puppy(2)

注意上面代码的this，被作为类使用的函数里面 this 总是指向实例化对象，也就是 myPuppy。这么设计的目的就是让使用者可以通过构造函数给实例对象设置属性，这时候 console 出来看myPuppy.puppyAge就是 2。

console.log(myPuppy.puppyAge) // 输出是 2

实例方法用 prototype

上面我们实现了类和构造函数，但是类方法呢？Java 版小狗还可以“汪汪汪”叫呢，JS 版怎么办呢？JS 给出的解决方案是给方法添加一个prototype属性，挂载在这上面的方法，在实例化的时候会给到实例对象。我们想要 myPuppy 能说话，就需要往Puppy.prototype添加说话的方法。

Puppy.prototype.say = function() {
  console.log('汪汪汪')
}

使用 new 关键字产生的实例都有类的prototype上的属性和方法，我们在Puppy.prototype上添加了 say 方法，myPuppy 就可以说话了，我么来试一下:

myPuppy.say() // 汪汪汪

实例方法查找用__proto__

那 myPuppy 怎么就能够调用say方法了呢，我们把他打印出来看下，这个对象上并没有 say 啊，这是从哪里来的呢？

这就该__proto__上场了，当你访问一个对象上没有的属性时，比如myPuppy.say，对象会去__proto__查找。__proto__的值就等于父类的 prototype, myPuppy.__proto__指向了Puppy.prototype。

如果你访问的属性在Puppy.prototype也不存在，那又会继续往Puppy.prototype.__proto__上找，这时候其实就找到了Object.prototype了，Object.prototype再往上找就没有了，也就是 null，这其实就是原型链。

constructor

我们说的 constructor 一般指类的prototype.constructor。prototype.constructor是 prototype 上的一个保留属性，这个属性就指向构造函数本身。

既然prototype.constructor是指向构造函数的一个指针，那我们是不是可以通过它来修改构造函数呢？我们来试试就知道了。我们先修改下这个函数，然后新建一个实例看看效果：

function Puppy(age) {
  this.puppyAge = age
}

Puppy.prototype.constructor = function myConstructor(age) {
  this.puppyAge = age + 1
}

const myPuppy2 = new Puppy(2)
console.log(myPuppy2.puppyAge) // 输出是2

上例说明，我们修改prototype.constructor只是修改了这个指针而已，并没有修改真正的构造函数。

可能有的朋友会说我打印myPuppy2.constructor也有值啊，那constructor是不是也是对象本身的一个属性呢？其实不是的，之所以你能打印出这个值，是因为你打印的时候，发现 myPuppy2 本身并不具有这个属性，又去原型链上找了，找到了prototype.constructor。我们可以用hasOwnProperty看一下就知道了：

上面我们其实已经说清楚了prototype，__proto__，constructor几者之间的关系，下面画一张图来更直观的看下：

静态方法

我们知道很多面向对象有静态方法这个概念，比如 Java 直接是加一个static关键字就能将一个方法定义为静态方法。JS 中定义一个静态方法更简单，直接将它作为类函数的属性就行：

Puppy.statciFunc = function() {
  // statciFunc就是一个静态方法
  console.log('我是静态方法，this拿不到实例对象')
}

Puppy.statciFunc() // 直接通过类名调用

静态方法和实例方法最主要的区别就是实例方法可以访问到实例，可以对实例进行操作，而静态方法一般用于跟实例无关的操作。这两种方法在 jQuery 中有大量应用，在 jQuery 中$(selector)其实拿到的就是实例对象，通过$(selector)进行操作的方法就是实例方法。比如$(selector).append()，这会往这个实例 DOM 添加新元素，他需要这个 DOM 实例才知道怎么操作，将append作为一个实例方法，他里面的 this 就会指向这个实例，就可以通过 this 操作 DOM 实例。那什么方法适合作为静态方法呢？比如$.ajax，这里的ajax跟 DOM 实例没关系，不需要这个 this，可以直接挂载在$上作为静态方法。关于 jQuery 实例方法和静态方法更详细的介绍，可以看这里。 (opens new window)

继承

面向对象怎么能没有继承呢，根据前面所讲的知识，我们其实已经能够自己写一个继承了。所谓继承不就是子类能够继承父类的属性和方法吗？换句话说就是子类能够找到父类的显式原型prototype，最简单的方法就是子类隐式原型的__proto__指向父类显式原型prototype就行了。

function Parent() {}
function Child() {}

Child.prototype.__proto__ = Parent.prototype

const obj = new Child()
console.log(obj instanceof Child) // true
console.log(obj instanceof Parent) // true

上述继承方法只是让 Child 访问到了 Parent 原型链，但是没有执行 Parent 的构造函数：

function Parent() {
  this.parentAge = 50
}
function Child() {}

Child.prototype.__proto__ = Parent.prototype

const obj = new Child()
console.log(obj.parentAge) // undefined

为了解决这个问题，我们不能单纯的修改Child.prototype.__proto__指向，还需要用 new 执行下 Parent 的构造函数，也就是将子类的隐式原型指向父类的实例:

function Parent() {
  this.parentAge = 50
}
function Child() {}

Child.prototype.__proto__ = new Parent()

const obj = new Child()
console.log(obj.parentAge) // 50

上述方法会多一个__proto__层级，可以换成修改Child.prototype的指向来解决，注意将Child.prototype.constructor重置回来：

function Parent() {
  this.parentAge = 50
}
function Child() {}

Child.prototype = new Parent()
Child.prototype.constructor = Child // 注意重置constructor

const obj = new Child()
console.log(obj.parentAge) // 50
// parentAge 属性的查找顺序是：-> obj -> obj.__proto__=Child.prototype=new Parent()
// 而 (new Parent()).parentAge=50

当然还有很多其他的继承方式，他们的原理都差不多，只是实现方式不一样，核心都是让子类拥有父类的方法和属性，感兴趣的朋友可以自行查阅。

自己实现一个 new

结合上面讲的，我们知道 new 其实就是生成了一个对象，这个对象能够访问类的原型，知道了原理，我们就可以自己实现一个 new 了。

function myNew(func, ...args) {
  const obj = {} // 新建一个空对象
  const result = func.call(obj, ...args) // 执行构造函数
  obj.__proto__ = func.prototype // 设置原型链

  // 注意如果原构造函数有Object类型的返回值，包括Functoin, Array, Date, RegExg, Error
  // 那么应该返回这个返回值
  const isObject = typeof result === 'object' && result !== null
  const isFunction = typeof result === 'function'
  if (isObject || isFunction) {
    return result
  }

  // 原构造函数没有Object类型的返回值，返回我们的新对象
  return obj
}

function Puppy(age) {
  this.puppyAge = age
}

Puppy.prototype.say = function() {
  console.log('汪汪汪')
}

const myPuppy3 = myNew(Puppy, 2)

console.log(myPuppy3.puppyAge) // 2
console.log(myPuppy3.say()) // 汪汪汪

自己实现一个 instanceof

• instanceof 的作用

instanceof 运算符用于检测构造函数的 prototype 属性是否出现在某个实例对象的原型链上。

知道了原理，其实我们也知道了 instanceof 是干啥的。instanceof 不就是检查一个对象是不是某个类的实例吗？换句话说就是检查一个对象的的原型链上有没有这个类的prototype，知道了这个我们就可以自己实现一个了：

function myInstanceof(targetObj, targetClass) {
  // 参数检查
  if (!targetObj || !targetClass || !targetObj.__proto__ || !targetClass.prototype) {
    return false
  }

  let current = targetObj

  while (current) {
    // 一直往原型链上面找
    if (current.__proto__ === targetClass.prototype) {
      return true // 找到了返回true
    }

    current = current.__proto__
  }

  return false // 没找到返回false
}

// 用我们前面的继承实验下
function Parent() {}
function Child() {}

Child.prototype.__proto__ = Parent.prototype

const obj = new Child()
console.log(myInstanceof(obj, Child)) // true
console.log(myInstanceof(obj, Parent)) // true
console.log(myInstanceof({}, Parent)) // false

ES6 的 class

最后还是提一嘴 ES6 的 class，其实 ES6 的 class 就是前面说的函数类的语法糖，比如我们的 Puppy 用 ES6 的 class 写就是这样：

class Puppy {
  // 构造函数
  constructor(age) {
    this.puppyAge = age
  }

  // 实例方法
  say() {
    console.log('汪汪汪')
  }

  // 静态方法
  static statciFunc() {
    console.log('我是静态方法，this拿不到实例对象')
  }
}

const myPuppy = new Puppy(2)
console.log(myPuppy.puppyAge) // 2
console.log(myPuppy.say()) // 汪汪汪
console.log(Puppy.statciFunc()) // 我是静态方法，this拿不到实例对象

使用 class 可以让我们的代码看起来更像标准的面向对象，构造函数，实例方法，静态方法都有明确的标识。但是他本质只是改变了一种写法，所以可以看做是一种语法糖，如果你去看 babel 编译后的代码，你会发现他其实也是把 class 编译成了我们前面的函数类，extends 关键字也是使用我们前面的原型继承的方式实现的。

总结

最后来个总结，其实前面小节的标题就是核心了，我们再来总结下：

1. JS 中的函数可以作为函数使用，也可以作为类使用
2. 作为类使用的函数实例化时需要使用 new
3. 为了让函数具有类的功能，函数都具有prototype属性。
4. 为了让实例化出来的对象能够访问到prototype上的属性和方法，实例对象的__proto__指向了类的prototype。所以prototype是函数的属性，不是对象的。对象拥有的是__proto__，是用来查找prototype的。
5. prototype.constructor指向的是构造函数，也就是类函数本身。改变这个指针并不能改变构造函数。
6. 对象本身并没有constructor属性，你访问到的是原型链上的prototype.constructor。
7. 函数本身也是对象，也具有__proto__，他指向的是 JS 内置对象Function的原型Function.prototype。所以你才能调用func.call,func.apply这些方法，你调用的其实是Function.prototype.call和Function.prototype.apply。
8. prototype本身也是对象，所以他也有__proto__，指向了他父级的prototype。__proto__和prototype的这种链式指向构成了 JS 的原型链。原型链的最终指向是Object的原型。Object上面原型链是 null，即Object.prototype.__proto__ === null。
9. 另外评论区有朋友提到：Function.__proto__ === Function.prototype。这是因为 JS 中所有函数的原型都是Function.prototype，也就是说所有函数都是Function的实例。Function本身也是可以作为函数使用的----Function()，所以他也是Function的一个实例。类似的还有Object，Array等，他们也可以作为函数使用:Object(), Array()。所以他们本身的原型也是Function.prototype，即Object.__proto__ === Function.prototype。换句话说，这些可以 new 的内置对象其实都是一个类，就像我们的 Puppy 类一样。
10. ES6 的 class 其实是函数类的一种语法糖，书写起来更清晰，但原理是一样的。

再来看一下完整图：