深入一点 - 使用bind的时候发生了什么呢?

从规范来看,Function.prototype.bind是如何工作,以及如何来模拟bind操作。

简单示例

如下简单示例,普通对象 testObj内部有一个b函数,接受一个普通参数,若参数为空则输出 this.a

const testObj = {
  a: 3,
  b: function(args) {
    console.log(args || this.a);
  },
};
testObj.b()
testObj.b(23)
const c = testObj.b
c()
c(23)
const c1 = testObj.b.bind(testObj, 50)
c1(70)

查看结果:

testObj.b被重新赋值给 c后,函数的的执行上下文已经改变,导致输出为 undefined。通过上面例子,如果采用 bind后,则可以改变 testObj的执行上下文,并可以把默认值传递到参数函数列表.

倘若在 testObj.b内,加入 console.log(arguments), 则可以看到如下输出:

50 70

bind 函数

bind函数是,Function原型链上的函数,主要是改变函数执行上下文的同时,可以传入函数参数值,并返回新的函数

如图是mdn上的定义,

bind产生的函数就一个偏函数,就是说使用bind可以参数一个函数,然后接受新的参数。

In computer science, partial application (or partial function application) refers to the process of fixing a number of arguments to a function, producing another function of smaller arity. 详细可看: https://github.com/mqyqingfeng/Blog/issues/43

规范定义

在EcmaScript的规范 15.3.4.5中如下截图:

bind 方法需要一个或更多参数,thisArg 和(可选的)arg1, arg2, 等等,执行如下步骤返回一个新函数对象:

1\. 令 Target 为 this 值 .
2\. 如果 IsCallable(Target) 是 false, 抛出一个 TypeError 异常 .
3\. 令 A 为一个(可能为空的)新内部列表,它包含按顺序的 thisArg 后面的所有参数(arg1, arg2 等等)。
4\. 令 F 为一个新原生 ECMAScript 对象。
5\. 依照 8.12 指定,设定 F 的除了 [[Get]] 之外的所有内部方法。
6\. 依照 15.3.5.4 指定,设定 F 的 [[Get]] 内部属性。
7\. 设定 F 的 [[TargetFunction]] 内部属性为 Target。
8\. 设定 F 的 [[BoundThis]] 内部属性为 thisArg 的值。
9\. 设定 F 的 [[BoundArgs]] 内部属性为 A。
10\. 设定 F 的 [[Class]] 内部属性为 "Function"。
11\. 设定 F 的 [[Prototype]] 内部属性为 15.3.3.1 指定的标准内置 Function 的 prototype 对象。
12\. 依照 15.3.4.5.1 描述,设定 F 的 [[Call]] 内置属性。
13\. 依照 15.3.4.5.2 描述,设定 F 的 [[Construct]] 内置属性。
14\. 依照 15.3.4.5.3 描述,设定 F 的 [[HasInstance]] 内置属性。
15\. 如果 Target 的 [[Class]] 内部属性是 "Function", 则
    a. 令 L 为 Target 的 length 属性减 A 的长度。
    b. 设定 F 的 length 自身属性为 0 和 L 中更大的值。
16\. 否则设定 F 的 length 自身属性为 0.
17\. 设定 F 的 length 自身属性的特性为 15.3.5.1 指定的值。
18\. 设定 F 的 [[Extensible]] 内部属性为 true。
19\. 令 thrower 为 [[ThrowTypeError]] 函数对象 (13.2.3)。
20\. 以 "caller", 属性描述符 {[[Get]]: thrower, [[Set]]: thrower,[[Enumerable]]: false, [[Configurable]]: false}, 和 false 作为参数调用 F 的 [[DefineOwnProperty]] 内部方法。
21\. 以 "arguments", 属性描述符 {[[Get]]: thrower, [[Set]]: thrower, [[Enumerable]]: false, [[Configurable]]: false}, 和 false 作为参数调用 F 的 [[DefineOwnProperty]] 内部方法。
22\. 返回 F.
 bind 方法的 length 属性是 1。

 Function.prototype.bind 创建的函数对象不包含 prototype 属性或 [[Code]], [[FormalParameters]], [[Scope]] 内部属

规范表达过程简述如下:

  • 第1步,创建Target,并把 this值给Target 【this为当前执行环境, 可以理解为当前函数】
  • 第3步,内部创建一个参数空的参数列表A,包含了bind参数中除了thisArg之外的其他函数
  • 第4步,创建一个对象 F
  • 第6,7,8,9,10,11步,设置函数内部属性,这里第7步中的 [[TargetFunction]]仅仅只有使用 bind才会生成,第8步设置 thisArg新的函数的 this.
  • 第12,13,14步,需要设置对象F内部方法 [[Call]], [[Construct]], [[HasInstance]], 让对象可以被调用
  • 第15步,让对象F变成 [[Function]], 并设置新的函数 length, 新的length值 范围是 0 ~ Target.length
  • 第18步,设置返回新函数可以任意添加属性
  • 第20步,设置函数描述符号 caller属性,
  • 第21步,设置函数参数描述符号, arguments
  • 最后返回对象F,也就是新执行函数。

在bind过程中,会重新设置 [[Call]]相关函数内部方法,详细可以看规范。

isCallable 定义

Object 内部属性以及方法

用途

  • 创建绑定函数,例如react事件参数传递
  • 偏函数
  • 定时器修改this
  • 构造函数使用绑定函数
  • 快捷调用

最后

知道了过程,倘若不支持,该如何呢?来,搞一个手工的:

Function.prototype.bind2 = function bind2(thisArgs) {
  const aArgs = Array.prototype.slice.call(arguments, 1);
  const fThis = this;
  const fNOP = function() {};
  const fBound = function() {
    // 这段判断是不是使用bind返回函数继续bind
    return fThis.apply(this instanceof fBound ? this : fThis, aArgs.concat(Array.prototype.slice.call(arguments)));
  };
  // this === Function.prototype, 保证创建函数的原型链也为undefined
  if (this.prototype) fNOP.prototype = this.prototype;
  fBound.prototype = new fNOP();
  return fBound;
};

我们实现方法依赖一些属性方法:

  • Fucntion.prototype.apply
  • Function.prototype.call
  • Array.prototype.slice

而且我们实现方法有一个问题在于:

  • length 始终返回为0,并没有计算
  • 返回函数具有 prototype, 不符合规范

查看更规范的实现,点击这里

欢迎交流

原文链接:segmentfault.com

上一篇:TypeError: (intermediate value) is not a function
下一篇:Tab切换以及缓存页面处理的几种方式

相关推荐

  • (深入)使用jQuery复制数组(复制)

    Communitymorgancodes(https://stackoverflow.com/users/1/community)提出了一个问题:(Deep) copying an array usi...

    2 年前
  • 面试深入一、ES6模块化、安装和打包

    开发环境已经普及使用 浏览器环境却支持不好(需要开发环境编译) 内容很多,重点了解常用语法 面试:开发环境的使用 重点语法的掌握 问题 模块化如何使用...

    1 年前
  • 面试常谈之手写new、call、apply和bind

    new 可以概括为以下四步: 1.创建一个空对象 2.链接到原型 3.绑定this值 4.返回新对象 call 这里提供两种写法 本文参考: (https://www.ji...

    9 个月前
  • 面试官:bind两次的结果了解一下

    背景 最近帮助组内进行技术面试,听到有人问了个很有意思的问题,函数bind两次后this指向。平时使用和问的比较多的都是bind接收的参数和bind后的this指向问题,bind多次还真没去想过。

    5 个月前
  • 面试官问:能否模拟实现bind

    前言 用过的同学都知道,经常会使用来绑定。 那么面试官可能会问是否想过到底做了什么,怎么模拟实现呢。 附上之前写文章写过的一段话:已经有很多模拟实现的文章,为什么自己还要写一遍呢。

    2 年前
  • 面试官:你能手写实现call,apply,bind方法吗?

    实践系列 主要是让我们通过实践去加深对一些原理的理解。 实践系列前端路由(https://juejin.im/post/5c380afde51d4552232fb077) 实践系列Babel原理(...

    1 年前
  • 需要说明的_功能。bindall() Underscore.js

    ThiefMasterNik So(https://stackoverflow.com/users/298479/thiefmaster)提出了一个问题:need explanation of the...

    2 年前
  • 零代码深入浅出React并发模式,带你理解React Fiber架构

    React Fiber架构有一定的复杂度,如果硬着头皮去啃源码,我们会深陷于庞大的代码量和实现细节之中,往往学不到什么东西。 React并发模式是ReactFiber架构的重要应用,本文不贴任何Rea...

    4 个月前
  • 零代码深入浅出React并发模式

    本文不贴任何React源码,纯粹使用文字讲述React并发模式的原理。 这不是一篇关于React并发模式API使用的文章。 为节约篇幅,下文不会详细介绍API的用法,只会讲解原理。

    4 个月前
  • 都2020年了,你应该知道如何手写Call、Apply、Bind了吧

    导读 作为面试中面试官最宠爱的一个问题,在这里进行一个详细的介绍,大家重点要放在理解,而不是背。 写的不好或不对的地方,请大家积极指出,好了,话不多说,我们“圆规正转” 一、手写实现Call ...

    5 个月前

官方社区

扫码加入 JavaScript 社区