在js中,我们通过new运算符来创建一个对象,它是一个高频的操作。我们一般只是去用它,而很少关注它是如何实现的,它的工作机制是什么。

1 简介

本文介绍new的功能,用法,补充介绍不加new也同样也创建对象的方式,分析了new的原理,最后模拟了new的实现。

学习本文内容需要你了解js中对象,原型链,call,bind,arguments的用法。

2 内容

•基本用法•不写new也能创建对象•new原理•模拟new的实现

3 new 的基本用法

我们通过new来创建对象,它的基本格式是:

var 对象 = new 函数([参数])

这里的函数可以是内置构造器,也可以是用户自己定义的函数。

例如:

var arr = new Array ();

此时,arr将可以使用Array.prototype上的全部方法。关于原型链你可以看看之前的文章去介绍原型链。

更一般的情况,我们会使用自己定义的构造器。

function F(name,age){
    this.name = name;
    this.age = age
}
F.prototype.hello = function(){
    console.log(this.name,this.age)
}
var f1 = new F('curry', 30);
console.log(f1)
f1.hello()

javascript new对象 js new env_原型链

对如上的代码有几点说明如下:

•函数F 在被调用的过程中,在前面加 new ,所以这个函数是被当作构造器来使用了。•f1之所以可以调用 hello方法,也是因为原型链的缘故。

3.1 构造器的返回值

一般来讲,如果你要把一个函数当做构造函数来使用,在这个函数的内部是不应该去设置返回值的。但是,如果它设置了返回值呢?

先说出答案如下:

•return后面跟着不是对象,就会不管return语句,返回this对象;•return后面跟着一个对象,new会返回return语句指定的对象;

先来看构造器中,return后面跟着不是对象的情况。

var Vehicle = function () {
  this.price = 1000;
  return 1000;
};
(new Vehicle()) === 1000// false

上面代码中,构造函数Vehicle的return语句返回一个数值。这时,new命令就会忽略这个return语句,就当它不存在,还是正常返回“构造”后的this对象。

但是,如果return语句返回的是一个对象,new命令会返回这个新对象,而不再是this对象,这一点需要特别引起注意。

var Vehicle = function (){
  this.price = 1000;
  return { price: 2000 };
};
(new Vehicle()).price
// 2000

上面代码中,构造函数Vehicle的return语句,返回的是一个新对象。new命令会返回这个对象,而不是this对象。

4 不加new也能创建对象吗?

对上面的代码,我们稍微改一下,在使用构造器时,故意去掉new这个关键字。如下:

function F(name,age){
    this.name = name;
    this.age = age
}
var f1 = F('curry', 30); // 不加new 
console.log(f1)

此时,我们把F当作一个普通的函数来调用,由于在函数F内部并没有明确写出return语句,所以f1的值是undefined。同时上面的代码还会有另一个隐藏的后果:在执行F时,由于this的值是指向window,所以上面的代码还会给window对象添加两个属性。如下:

javascript new对象 js new env_构造函数_02

那么问题来了,如何确保这个F只能被用作构造器,而不能当作普通函数来用呢?

两种解决思路:

•如果不加new就报错。•如果不加new就偷着给你加上。

4.1 构造函数内部使用严格模式

为了保证构造函数必须与new命令一起使用,一个解决办法是,构造函数内部使用严格模式,即第一行加上use strict。这样的话,一旦忘了使用new命令,直接调用构造函数就会报错。

function F(name,age){ 
    'use strict'; // 这句新加的
    this.name = name;
    this.age = age
}
var f1 = F('curry', 30); // 不加new
console.log(f1)

上面的代码会报错,错误是Uncaught TypeError: Cannot set property 'name' of undefined 。因为在函数内部开启了严格模式之后,函数内部的this将不会默认指向window,它的值会是undefined。

一旦代码报错了,相当于提醒你必须给加上new,你就自己给它加上吧。

4.2 自动加上new

还可以在构造函数内部判断,当前调用是否使用new命令,如果发现没有使用new,则直接返回一个实例对象。

function F(name,age){ 
  // 如果没有用new,this就不会是F的实例
  if (!(this instanceof F)) {
    return new F(name,age);
  }
  this.name = name;
  this.age = age
}
var f1 = new F('a','30');
var f2 = F('b','30');
console.log(f2)

上面代码中的构造函数,不管加不加new命令,都会得到同样的结果。如下:

javascript new对象 js new env_原型链_03

5 new 原理

使用new命令时,在构造函数内部依次执行下面的步骤。

•第一步:创建一个空对象,作为将要返回的对象。•第二步:将这个空对象的原型指向构造函数的prototype属性。这一步的作用是让这个对象能沿着原型链去使用构造函数中prototype上的方法。•第三步:将这个空对象赋值给构造函数内部的this关键字,执行构造函数。这一步的作用是让构造器中设置在this上的属性最终设置在这个对象上。•第四步:返回这个对象。

以如下代码为例:

function F(name,age){ 
  this.name = name;
  this.age = age
}
F.prototype.hello = function(){
    console.log(this.name,this.age)
}
var f = new F('a','30');

则上面四步的伪代码如下:

第一步:var obj = {}

第二步:obj.__proto__ = F.prototype

第三步:F.apply(obj,参数)

第四步:return obj

下面模拟一下new的实现。由于new是一个关键字,我们写一个单独的函数_new来模拟,最终的目标是:

function F(name,age){ 
  this.name = name;
  this.age = age
}
F.prototype.hello = function(){
    console.log(this.name,this.age)
}
// 使用模拟new,
var f1 = _new(F,'a',30);
//  希望达到与new F('a',30)一致的效果
f1.hello();

你可以先想一想, 如何实现_new哈。

下面是一个参考实现:

function _new() {
  var obj = {}
  // arguments获取调用_new时所传入的实参
  // 它并不是一个真正的数组。
  // 我们约定,调用_new时,
  // 所传入的第一个元素是构造器
  // shift作用:
  // 1.取出数组的第一个元素(构造器)
  // 2.同时它会修改数组
  var constructor = [].shift.call(arguments);
  // 保持原型链
  obj.__proto__ =  constructor.prototype;
  // 调用构造器,并将内部的this用obj来代替。
  // 此时arguments是取出第一个元素后的部分
  var rs = constructor.apply(obj, arguments);
  // 兼容处理一下返回值
  return typeof rs === 'object' ? rs : obj;
};

6 小结

本文介绍javascript 中 new的格式、原理及模拟实现。