new 操作符到底做了什么？

作者: Oceanxy | 来源:发表于2019-04-12 17:33 被阅读0次

原文：http://blog.xieyangogo.cn/2019/04/12/new-%E6%93%8D%E4%BD%9C%E7%AC%A6%E5%88%B0%E5%BA%95%E5%81%9A%E4%BA%86%E4%BB%80%E4%B9%88%EF%BC%9F/

相信很多才接触前端的小伙伴甚至工作几年的前端小伙伴对new这个操作符的了解还停留在一知半解的地步，比较模糊。

就比如前不久接触到一个入职两年的前端小伙伴，他告诉我new是用来创建对象的，无可厚非，可能很多人都会这么答！

那这么答到底是错很是对呢？

下面我们全面来讨论一下这个问题：

我们要拿到一个对象，有很多方式，其中最常见的一种便是对象字面量：

var obj = {}

但是从语法上来看，这就是一个赋值语句，是把对面字面量赋值给了obj这个变量（这样说或许不是很准确，其实这里是得到了一个对象的实例！！）

很多时候，我们说要创建一个对象，很多小伙伴双手一摸键盘，啪啪几下就敲出了这句代码。

上面说了，这句话其实只是得到了一个对象的实例，那这句代码到底还能不能和创建对象画上等号呢？

我们继续往下看。

要拿到一个对象的实例，还有一种和对象字面量等价的做法就是构造函数：

var obj = new Object()

这句代码一敲出来，相信小伙伴们对刚才我说的obj只是一个实例对象没有异议了吧！

那很多小伙伴又会问了：这不就是new了一个新对象出来嘛！

没错，这确实是new了一个新对象出来，因为javascript之中，万物解释对象。

obj是一个对象，而且是通过new运算符得到的，所以说很多小伙伴就肯定的说：new就是用来创建对象的！

这就不难解释很多人把创建对象和实例化对象混为一谈!!

我们在换个思路看看：既然js一切皆为对象，那为什么还需要创建对象呢？本身就是对象，我们何来创建一说？那我们可不可以把这是一种继承呢？
image
说了这么多，相信不少伙伴已经看晕了，但是我们的目的就是一个：理清new是来做继承的而不是所谓的创建对象！！

那继承得到的实例对象有什么特点呢？

访问构造函数里面的属性
访问原型链上的属性

下面是一段经典的继承，通过这段代码来热热身，好戏马上开始：

function Person(name, age) {
  this.name = name
  this.age = age
  this.gender = '男'
}

Person.prototype.nation = '汉'

Person.prototype.say = function() {
  console.log(`My name is ${this.age}`)
}

var person = new Person('小明', 25)

console.log(person.name)
console.log(person.age)
console.log(person.gender)
console.log(person.nation)

person.say()

现在我们来解决第一个问题：我们可以通过什么方式实现访问到构造函数里面的属性呢？答案是call或apply

function Parent() {
  this.name = ['A', 'B']
}

function Child() {
  Parent.call(this)
}

var child = new Child()
console.log(child.name) // ['A', 'B']

child.name.push('C')
console.log(child.name) // ['A', 'B', 'C']

第一个问题解决了，那我们又来解决第二个：那又怎么访问原型链上的属性呢？答案是__proto__

现在我们把上面那段热身代码稍加改造，不使用new来创建实例：

function Person(name, age) {
  this.name = name
  this.age = age
  this.gender = '男'
}

Person.prototype.nation = '汉'

Person.prototype.say = function() {
  console.log(`My name is ${this.age}`)
}

// var person = new Person('小明', 25)
var person = New(Person, '小明', 25)

console.log(person.name)
console.log(person.age)
console.log(person.gender)
console.log(person.nation)

person.say()

function New() {
  var obj = {}
  Constructor = [].shift.call(arguments) // 获取arguments第一个参数：构造函数
  // 注意：此时的arguments参数在shift()方法的截取后只剩下两个元素
  obj.__proto__ = Constructor.prototype // 把构造函数的原型赋值给obj对象
  Constructor.apply(obj, arguments) // 改变够着函数指针，指向obj，这是刚才上面说到的访问构造函数里面的属性和方法的方式
  return obj
}

以上代码中的New函数，就是new操作符的实现

主要步骤：

1. 创建一个空对象

2. 获取arguments第一个参数

3. 将构造函数的原型链赋给obj

4. 使用apply改变构造函数this指向，指向obj对象，其后，obj就可以访问到构造函数中的属性以及原型上的属性和方法了

5. 返回obj对象

可能很多小伙伴看到这里觉得new不就是做了这些事情吗，然而~~

然而我们却忽略了一点，js里面的函数是有返回值的，即使构造函数也不例外。

如果我们在构造函数里面返回一个对象或一个基本值，上面的New函数会怎样？

我们再来看一段代码：

function Person(name, age) {
  this.name = name
  this.age = age
  this.gender = '男'
  
  return {
    name: name,
    gender: '男'
  }
}

Person.prototype.nation = '汉'

Person.prototype.say = function() {
  console.log(`My name is ${this.age}`)
}

var person = new Person('小明', 25)

console.log(person.name)
console.log(person.age)
console.log(person.gender)
console.log(person.nation)

person.say()

执行代码，发现只有name和gender这两个字段如期输出，age、nation为undefined，say()报错。

改一下代码构造函数的代码：

function Person(name, age) {
  this.name = name
  this.age = age
  this.gender = '男'
  
  // return {
  //   name: name,
  //   gender: '男'
  // }
  return 1
}

// ...

执行一下代码，发现所有字段终于如期输出。

这里做个小结：

1. 当构造函数返回引用类型时，构造里面的属性不能使用，只能使用返回的对象；

2. 当构造函数返回基本类型时，和没有返回值的情况相同，构造函数不受影响。

那我们现在来考虑下New函数要怎么改才能实现上面总结的两点功能呢？继续往下看：

function Person(name, age) {
  // ...
}

function New() {
  var obj = {}
  Constructor = [].shift.call(arguments)
  obj.__proto__ = Constructor.prototype
  
  // Constructor.apply(obj, arguments)
  var result = Constructor.apply(obj, arguments)
  
  // return obj
  return typeof result === 'object' ? result : obj
}

var person = New(Person, '小明', 25)

console.log(person.name)
// ...

执行此代码，发现已经实现了上面总结的两点。

解决方案：使用变量接收构造函数的返回值，然后在New函数里面判断一下返回值类型，根据不同类型返回不同的值。

看到这里。又有小伙伴说，这下new已经完全实现了吧？！！

答案肯定是否定的。

下面我们继续看一段代码：

function Person(name, age) {
  this.name = name
  this.age = age
  this.gender = '男'
  
  // 返回引用类型
  // return {
  //   name: name,
  //   gender: '男'
  // }
  
  // 返回基本类型
  // return 1
  
  // 例外
  return null
}

再执行代码，发现又出问题了！！！

又出问题了！为什么……？
...
刚才不是总结了返回基本类型时构造函数不受影响吗，而null就是基本类型啊？
...

image

解惑：null是基本类型没错，但是使用操作符typeof后我们不难发现：

typeof null === 'object' // true

特例：typeof null返回为'object'，因为特殊值null被认为是一个空的对象引用。

明白了这一点，那问题就好解决了：

function Person(name, age) {
  // ...
}

function New() {
  var obj = {}
  Constructor = [].shift.call(arguments)
  obj.__proto__ = Constructor.prototype
  // Constructor.apply(obj, arguments)
  var result = Constructor.apply(obj, arguments)
  // return obj
  // return typeof result === 'object' ? result : obj
  return typeof result === 'object' ? result || obj : obj
}

var person = New(Person, '小明', 25)

console.log(person.name)
// ...

解决方案：判断一下构造函数返回值result，如果result是一个引用（引用类型和null），就返回result，但如果此时result为false（null），就使用操作符||之后的obj

好了，到现在应该又有小伙伴发问了，这下New函数是彻彻底底实现了吧！！！

答案是，离完成不远了！！

在功能上，New函数基本完成了，但是在代码严谨度上，我们还需要做一点工作，继续往下看：

这里，我们在文章开篇做的铺垫要派上用场了：

var obj = {}

实际上等价于

var obj = new Object()

前面说了，以上两段代码其实只是获取了object对象的一个实例。再者，我们本来就是要实现new，但是我们在实现new的过程中却使用了new！

这个问题把我们引入到了到底是先有鸡还是先有蛋的问题上！

这里，我们就要考虑到ECMAScript底层的API了——Object.create(null)

这句代码的意思才是真真切切地创建了一个对象！！

function Person(name, age) {
  // ...
}

function New() {
  // var obj = {}
  // var obj = new Object()
  var obj = Object.create(null)
  Constructor = [].shift.call(arguments)
  obj.__proto__ = Constructor.prototype
  // Constructor.apply(obj, arguments)
  var result = Constructor.apply(obj, arguments)
  // return obj
  // return typeof result === 'object' ? result : obj
  return typeof result === 'object' ? result || obj : obj
}

var person = New(Person, '小明', 25)

console.log(person.name)
console.log(person.age)
console.log(person.gender)
// 这样改了之后，以下两句先注释掉，原因后面再讨论
// console.log(person.nation)
// person.say()

好了好了，小伙伴常常舒了一口气，这样总算完成了！！
但是，现实总是残酷的！

image

小伙伴：啥？还有完没完？

function Person(name, age) {
  this.name = name
  this.age = age
  this.gender = '男'
}

Person.prototype.nation = '汉'

Person.prototype.say = function() {
  console.log(`My name is ${this.age}`)
}

function New() {
  // var obj = {}
  // var obj = new Object()
  var obj = Object.create(null)
  Constructor = [].shift.call(arguments)
  obj.__proto__ = Constructor.prototype
  // Constructor.apply(obj, arguments)
  var result = Constructor.apply(obj, arguments)
  // return obj
  // return typeof result === 'object' ? result : obj
  return typeof result === 'object' ? result || obj : obj
}

var person = New(Person, '小明', 25)

console.log(person.name)
console.log(person.age)
console.log(person.gender)
// 这里解开刚才的注释
console.log(person.nation)
person.say()

别急，我们执行一下修改后的代码，发现原型链上的属性nation和方法say()报错，这又是为什么呢？

image

从上图我们可以清除地看到，Object.create(null)创建的对象是没有原型链的，而后两个对象则是拥有__proto__属性，拥有原型链，这也证明了后两个对象是通过继承得来的。

那既然通过Object.create(null)创建的对象没有原型链（原型链断了），那我们在创建对象的时候把原型链加上不就行了，那怎么加呢？

function Person(name, age) {
  this.name = name
  this.age = age
  this.gender = '男'
}

Person.prototype.nation = '汉'

Person.prototype.say = function() {
  console.log(`My name is ${this.age}`)
}

function New() {
  Constructor = [].shift.call(arguments)
  
  // var obj = {}
  // var obj = new Object()
  // var obj = Object.create(null)
  var obj = Object.create(Constructor.prototype)
  
  // obj.__proto__ = Constructor.prototype
  // Constructor.apply(obj, arguments)
  var result = Constructor.apply(obj, arguments)
  // return obj
  // return typeof result === 'object' ? result : obj
  return typeof result === 'object' ? result || obj : obj
}

var person = New(Person, '小明', 25)

console.log(person.name)
console.log(person.age)
console.log(person.gender)
console.log(person.nation)

person.say()

这样创建的对象就拥有了它初始的原型链了，这个原型链是我们传进来的构造函数赋予它的。

也就是说，我们在创建新对象的时候，就为它指定了原型链了——新创建的对象继承自传进来的构造函数！

看到这里，小伙伴们长长舒了一口气，有本事你再给我安排一个坑出来！
image
既然都看到这里了，大家要相信我们离最终的曙光已经不远了！
image
我想说的是，坑是没有了，但是为了程序员吹毛求疵的精神！哦不对，是精益求精的精神，我们还有必要啰嗦一点点！！

想必细心的小伙伴已经注意到了，为什么最后一步中的以下代码：

Constructor = [].shift.call(arguments)
var obj = Object.create(Constructor.prototype)

不能使用以下代码来代替？

var obj = Object.create(null)
Constructor = [].shift.call(arguments)
obj.__proto__ = Constructor.prototype

换个方式说，这两段代码大致的意思基本相同：都是将构造器的原型赋予新创建的对象。但是为何第二段代码要报错（访问不到原型链上的属性）呢？

这个问题很吃基本功，认真去研究研究js的底层APIObject.create以及原型链等知识，就会明白其中的道理。小伙伴可以拉到文章末尾，我把重点都记录下来了，以供大家参考。

现在，我们来梳理下最终的New函数做了什么事，也就是本文讨论的结果——new操作符到底做了什么？

获取实参中的第一个参数（构造函数），就是调用New函数传进来的第一个参数，暂时记为Constructor；
使用Constructor的原型链结合Object.create来创建一个对象，此时新对象的原型链为Constructor函数的原型对象；（结合我们上面讨论的，要访问原型链上面的属性和方法，要使用实例对象的proto属性）
改变Constructor函数的this指向，指向新创建的实例对象，然后call方法再调用Constructor函数，为新对象赋予属性和方法；（结合我们上面讨论的，要访问构造函数的属性和方法，要使用call或apply）
返回新创建的对象，为Constructor函数的一个实例对象。

现在我，我们来回答文章开始时提出的问题，new是用来创建对象的吗？

现在我们可以勇敢的回答，new是用来做继承的，而创建对象的其实是Object.create(null)。
在new操作符的作用下，我们使用新创建的对象去继承了他的构造函数上的属性和方法、以及他的原型链上的属性和方法！

写在最后：

补充一点关于原型链的知识:

JavaScript中的函数也是对象，而且对象除了使用字面量定以外，都需要通过函数来创建对象；

prototype属性可以给函数和对象添加可共享（继承）的方法、属性，而proto是查找某函数或对象的原型链方式；

prototype和proto都指向原型对象；

任意一个函数（包括构造函数）都有一个prototype属性，指向该函数的原型对象；

任意一个实例化的对象，都有一个proto属性，指向该实例化对象的构造函数的原型对象。

补充一下关于Object.create()的知识：

Object.create(null)可以创建一个没有原型链、真正意义上的空对象，该对象不拥有js原生对象（Object）的任何特性和功能。
就如：即使通过人为赋值的方式（newObj.__proto__ = constructor.prototype）给这个对象赋予了原型链，
也不能实现原型链逐层查找属性的功能，因为这个对象看起来似乎即使有了"__proto__"属性，但是它始终没有直接或间接继承自Object.prototype,
也就不可能拥有js原生对象（Object）的特性或功能了；

该API配合Object.defineProperty可以创建javascript极其灵活的自定义对象；

该API是实现继承的一种方式；

...

原文：http://blog.xieyangogo.cn/2019/04/12/new-%E6%93%8D%E4%BD%9C%E7%AC%A6%E5%88%B0%E5%BA%95%E5%81%9A%E4%BA%86%E4%BB%80%E4%B9%88%EF%BC%9F/

new 操作符到底做了什么？

相关文章

网友评论

延伸阅读

深度阅读

栏目导航

热点阅读