深入理解new运算符

在 javascript 中，new 运算符创建一个用户定义的对象类型的实例或具有构造函数的内置对象的实例。创建一个对象很简单，为什么我们还要多此一举使用 new 运算符呢？它到底有什么样的魔力？

认识 new 运算符

通过下面的例子理解 new 运算符：

function person (name) {
  this.name = name
}

person.prototype.getname = function () {
  console.log(this.name)
}

var joe = new person('joe')

joe.sayhello = function () {
  console.log('hello!')
}

joe.getname() // joe
joe.sayhello() // hello!

person.sayhello() // uncaught typeerror: person.sayhello is not a function

person 是一个普通的函数，当它与 new 运算符一起使用时，person 就是一个构造函数。通过 new person('joe') 得到的新对象 joe 继承了 person 的属性，同时，this 也指向 joe 实例。为 joe 添加的属性 sayhello 不会影响 person，即 joe 是区别与 person 的一个新对象。

因此，通过 new 创建的实例对象和构造函数之间建立了一条原型链，并通过原型链赋予实例对象继承属性的能力。

new 的原理和实现

通过上面的分析，new 运算符内部做了如下四个操作：

• 创建一个空的简单 javascript 对象（即{}）；
• 链接新对象（即设置该新对象的构造函数）到函数对象；
• 将新创建的对象作为 this 的上下文；
• 如果该函数没有返回对象，返回新创建的对象。

new 的实现如下：

function newoperator (ctor, ...args) {
  var obj = {};
  obj.__proto__ = ctor.prototype
  var res = ctor.apply(obj, args)
  return res || obj;
}

优化一下代码：

function newoperator (ctor, ...args) {
  var o = object.create(ctor.prototype) // 合并第一和第二步：创建一个空的简单 javascript 对象（即{}），链接新对象（即设置该新对象的构造函数）到函数对象
  return fn.apply(o, args) || o
}

使用 newoperator 函数测试上面 person 的例子：

function person(name) {
  this.name = name
}

person.prototype.getname = function () {
  console.log(this.name)
}

var joe = newoperator(person, 'joe')

joe.sayhello = function () {
  console.log('hello!')
}

joe.getname() // joe
joe.sayhello() // hello!

person.sayhello() // uncaught typeerror: person.sayhello is not a function

结果是一致的。

更好的检查方式是：

function person(name) {
  this.name = name
}

console.log(new person('joe')) // @1
console.log(newoperator(person, 'joe')) // @2

@1 和 @2 在控制台的显示信息是一模一样的。