面试题:箭头函数和普通函数的区别

一个东西你知道知道的多,就能写出的多

去年面试的时候,五位面试官有三位问到了这个问题,可见这是一个面试常题,我都忘记自己是怎么回答的,要我现在说:箭头函数没有 this 绑定,它的 this 指向父作用域

果然,记忆记不牢是有原因的,因为没有写文章,没有理解真正理解它

真正的答案是什么?

阮一峰版

  • 箭头函数没有自己的 this 对象,函数体内的 this 是定义时所在的对象而不是使用时所在的对象
  • 不可以当作构造函数,也就是说,不可以对箭头函数使用 new 命令,否则会抛出一个错误
  • 不可以使用 arguments 对象,该对象在函数体内不存在。如果要用,可以用 rest 参数代替
  • 不可以使用 yield 命令,因此箭头函数不能用作 Generator 函数
  • 返回对象时必须在对象外面加上括号

尼古拉斯版

  • 没有 this、super、arguments 和 new.target 绑定。this、super、arguments 和 new.target 的值由最近的不包含箭头函数的作用域决定
  • 不能被 new 调用,箭头函数内部没有 [[Construct]] 方法,因此不能当作构造函数使用,使用 new 调用箭头函数会抛出错误
  • 没有 prototype,既然你不能使用 new 调用箭头函数,那么 prototype 就没有存在的理由。箭头函数没有 prototype 属性
  • 不能更改 this, this 的值在函数内部不能被修改。在函数的整个生命周期内 this 的值是永恒不变的
  • 没有 arguments 对象,既然箭头函数没有 arguments 绑定,你必须依赖于命名或者剩余参数来访问该函数的参数
  • 不允许重复的命名参数

尼古拉斯是写《深入理解 ES6》的作者,阮一峰就不解释了

结合起来,就是说箭头函数和普通函数的区别在于:

  • 它不能被当作构造函数,因为它不能被new,不能被 new 的原因在于箭头函数内部没有 [[Construct]] 方法。又因为它不能被 new,所以也就没有 prototype
  • 它没有自己的 this,它的 this 由定义时所在的对象决定而不是使用时所在的对象
  • 它也没有 arguments 对象
  • 不可以使用 yield 命令,不能用作生成器函数

我们依次说说这四点

new 从何来

先复习一下 new 调用构造函数会执行什么

  1. 在内存中创建一个新对象
  2. 这个新对象内部的 [[prototype]] 特性被赋值为构造函数的 prototype 属性
  3. 构造函数内部的 this 被赋值为这个新对象(this指向新对象)
  4. 执行构造函数内部的代码(给新对象添加属性)
  5. 如果构造函数返回非空对象,则返回该对象;否则,返回刚创建的新对象

我们可以手写一个 new

function new2(Constructor, ...args) {
  var obj = Object.create(null);
  obj.__proto__ = Constructor.prototype;
  var result = Constructor.apply(obj, ...args);
  return typeof result === "object" ? result : obj;
}

复习完 new,回过头看为什么不能调用 new

JavaScript 函数内部有两个内部方法:[[Call]] 和 [[Construct]]

  • 直接调用时执行[[Call]] 方法,直接执行函数体
  • new 调用时执行 [[Construct]] 方法,创建实例对象

箭头函数设计之初是为了设计一种更简短的函数,没有 [[Construct]] 方法。具体99.9%的人都不知道的箭头函数不能当做构造函数的秘密 摘出了很多英文材料佐证这个事实

我们可以这样说,因为它没有[[Construct]] 内部方法,所以它不能被 new。而因为它不能被 new,所以它也没有 prototype

prototype 的理解可以看这篇: 原型

this 谁人调用你

JavaScript 中的 this 是词法作用域,与你在哪里定义无关,而与你在哪里调用有关,所以会有各种 this “妖”的问题,改变 this 有 4 种方法

  • 作为对象方法调用
  • 作为函数调用
  • 作为构造函数调用
  • 使用 apply 或 call 调用

但是箭头函数没有自己的 this 对象,内部的 this 就是定义时上层作用域中的this。也就是说,箭头函数内部的 this 指向是固定的

arguments 老一辈的类数组

arguments 是一个对应于传递给函数的参数的类数组对象。arguments 对象标识所有(非箭头)函数可用的局部变量,可以说只要是(非箭头)函数就自带 arguments,它表示所有传递给函数的参数

什么是类数组对象

所谓类数组对象,就是指可以通过索引属性访问元素并且拥有 length 属性的对象

var arrLike = {
	0: 'name',
	1: 'age',
	length: 2
}

箭头函数没有

yield 是什么

说 yield 之前,先了解下生成器

生成器是 ES6 新增的一个极为灵活的结构,拥有在一个函数块内暂停和恢复代码执行的能力。

生成器的形式是一个函数,函数名称前面加一个星号(*)表示它是一个生成器。只要是可以定义(非箭头)函数的地方,就可以定义生成器

// 生成器函数声明
function* generatorFn() {}

// 生成器函数表达式
let generatorFn = function* () {};

// 作为对象字面量方法的生成器函数
let foo = {
  *generatorFn() {},
};

// 作为类实例方法的生成器函数
class Foo {
  *generatorFn() {}
}

// 作为类静态方法的生成器函数
class Bar {
  static *generatorFn() {}
}

标识生成器函数的星号不受两侧空格的影响

而 yield 关键字是可以让生成器停止和开始执行,也是生成器最有用的地方。生成器函数在遇到 yield 关键字之前会正常执行。遇到这个关键字后,执行会停止,函数作用域的状态会被保留。停止执行的生成器函数只能通过在生成器对象上调用 next() 方法来恢复执行

// umi 项目中请求接口时的例子
*fetchData({ payload }, { call, put }) {
    const resData = yield call(fetchApi, payload);
    if (resData.code === 'OK') {
        yield put({
            type: 'save',
            payload: {
                data: resData,
            },
        });
    } else {
        Toast.show(resData.resultMsg);
    }
},

因为箭头函数不能用来定义生成器函数才不能使用 yield 关键字

模拟面试

面试官:对 ES6 了解吗

面试者:嗯呢,项目中一直有用

面试官:你说说你平时都用哪些 ES6 的新特性

面试者:例如箭头函数、let、const、模板字符串、扩展运算符、Promise…

面试官:嗯嗯,箭头函数和普通函数有什么区别

面试者:箭头函数不能被 new、没有 arguments、它的 this 在那里定义相关、它不能用 yield 命令,返回对象时必须在对象外面加上括号

面试官:箭头函数为什么不能被 new

面试者:因为箭头函数没有 [[Construct]] 方法,在 new 时,JavaScript 内部会调用 [[Construct]] 方法,因为箭头函数没有,所以 new 时会报错。当然,因为不能被 new ,所以箭头函数也没有 prototype

面试官:你刚刚说到没有 arguments,简单介绍下它

面试者:它是所有参数的合集,每个(非箭头)函数自带 arguments,其结构是类数组对象

面试官:什么是类数组对象

面试者:可以通过索引访问元素且拥有 length 属性的对象…

面试官:我问问其他的

参考资料