前言： 本来只是想写一下简单的 bind 函数实现，没想到写着写着还能牵出 js 中继承的知识，其实研究原生函数的实现总是能学到很多新东西
在实现之前呢，我们首先要知道bind是做什么的。JS MDN 给出的定义是The bind() methods creates a new function that, when called, has its this keyword set to the provided value, with a given sequence of arguments preceding any provided when the new function is called.，简单来说就是bind()函数创建了一个新函数（原函数的拷贝），这个函数接受一个提供新的this上下文的参数，以及之后任意可选的其他参数。当这个新函数被调用时，它的this关键字指向第一个参数的新上下文。而第二个之后的参数会与原函数的参数组成新参数（原函数的参数在后），传递给函数。
弄清楚这个之后，我们再来分析看看要怎么做。
首先，调用 bind() 会返回一个闭包，这个闭包中创建了一个新函数，这个函数首先包含原函数的属性与方法，并且这个函数的 this 值是传给 bind() 函数第一个参数，所以自然而然我们想到用 call 或者 apply 来改变原函数的 this ，这里我们选择 apply， 理由是我们新函数的第一个之后的参数是由传给 bind() 的第二个及之后的参数（代码中的 formerArgs ）再加上原函数的参数（代码中的 laterArgs ）构成的，我们把它们拼接成一个数组就完事儿了~具体代码如下：
Function.prototype.bind = function (ctx) {
// 保存原函数的 this 至 _this
var _this = this
// slice 使用了两次，保存到变量中
// slice 主要用于类数组对象 arguments 的浅复制
var slice = Array.prototype.slice
// 传给 bind() 函数的第二个至之后的参数，从 arguments 的第二位开始
var formerArgs = slice.call(arguments, 1)
// bind() 本身就是一个函数，返回
return function (){
// 传给原函数的参数
let laterArgs = slice.call(arguments, 0)
// 返回一个函数，这个函数调用了原函数，并且 this 指向 bind 的第一个参数，
// 第二个参数由 formerArgs 与 laterArgs组成
return _this.apply(ctx, formerArgs.concat(laterArgs))
}
}
ES6 实现
上面的代码是基于 ES5 实现的，当时对于不确定的参数的一般处理方法都是利用类数组对象arguments（其中包含了传递给函数的所有参数），也就免不了使用call或者是apply对其进行数组操作。代码也就显得比较冗长。但是 ES6 不一样了呀~我们有了不定参数这个神器。无论有无参数，有几个参数都可以简单地处理。
不定参数： 传递给函数的最后一个参数可以被标记为不定参数，当函数被调用时，不定参数之前的参数都可正常被填充，剩下的参数会被放进一个数组中，并被赋值给不定参数。而当没有剩下的参数时，不定参数会是一个空数组，而不会被填充为undefined。
同样的功能，只要几行代码就可以实现：
// formerArgs 为传递给 bind 函数的第二个到之后的参数
Function.prototype.bind = function (ctx, ...formerArgs) {
let _this = this
// laterArgs 为传递给原函数的参数
return (...laterArgs) => {
// bind 函数的不定参数在原函数参数之前，formerArgs 本身就是数组，可以直接调用数组的 concat 方法，无需借助 call 或 apply
return _this.apply(ctx, formerArgs.concat(laterArgs))
}
}
至此，我们就实现了简单的 bind() 函数的功能，接下来我们给它做点优化。
优化 UPUPUP..
· 当 Function 的原型链上没有 bind 函数时，才加上此函数
·if (!Function.prototype.bind) {
// add bind() to Function.prototype
}
· 只有函数才能调用 bind 函数，其他的对象不行。即判断 this 是否为函数。
if (typeof this !== 'function') {
// throw NOT_A_FUNCTION error
}
· 压轴戏： 关于继承
我们上面的代码使用了借用 apply 继承的方式。用了 apply 来改变 this 的指向，继承了原函数的基本属性和引用属性，并且保留了可传参优点，但是新函数无法实现函数复用，每个新函数都会复制出一份新的原函数的函数，并且也无法继承到原函数通过 prototype 方式定义的方法或属性。
为解决以上问题，我们选用组合继承方式，在使用 apply 继承的基础上，加上了原型链继承。
所以我们可以这么改。
if(!Function.prototype.binds) {
Function.prototype.binds =function(ctx){
if(typeofthis!=='function') {
thrownewTypeError("NOT_A_FUNCTION -- this is not callable")
}
var_this =this
varslice =Array.prototype.slice
varformerArgs = slice.call(arguments,1)
// 定义一个中间函数，用于作为继承的中间值
varfun =function(){}
varfBound =function(){
letlaterArgs = slice.call(arguments,0)
return_this.apply(ctx, formerArgs.concat(laterArgs))
}
// 先让 fun 的原型方法指向 _this 即原函数的原型方法，继承 _this 的属性
fun.prototype = _this.prototype
// 再将 fBound 即要返回的新函数的原型方法指向 fun 的实例化对象
// 这样，既能让 fBound 继承 _this 的属性，在修改其原型链时，又不会影响到 _this 的原型链
fBound.prototype =newfun()
returnfBound
}
}
在上面的代码中，我们引入了一个新的函数 fun，用于继承原函数的原型，并通过 new 操作符实例化出它的实例对象，供 fBound 的原型继承，至此，我们既让新函数继承了原函数的所有属性与方法，又保证了不会因为其对原型链的操作影响到原函数。用图来表示应该是下面这样的：
这样我们对新函数的 prototype 修改只会应用在它自己身上，而不会影响到原函数。
其他
MDN 中还提到，若是将 bind 绑定之后的函数当作构造函数，通过 new 操作符使用，则不绑定传入的 this，而是将 this 指向实例化出来的对象。所以我们最终的代码为：
if (!Function.prototype.binds) {
Function.prototype.binds = function (ctx) {
if (typeof this !== 'function') {
throw new TypeError("NOT_A_FUNCTION -- this is not callable")
}
var _this = this
var slice = Array.prototype.slice
var formerArgs = slice.call(arguments, 1)
var fun = function () {}
var fBound = function (){
let laterArgs = slice.call(arguments, 0)
// 若通过 new 调用 bind() 之后的函数，则这时候 fBound 的 this 指向的是 fBound 实例，
// 而下面又定义了 fBound 是 fun 的派生类（其 prototype 指向 fun 的实例），
// 所以 this instanceof fun === true ，这时 this 指向了 fBound 实例，不另外绑定！
return _this.apply(this instanceof fun ? this : ctx || this, formerArgs.concat(laterArgs))
}
fun.prototype = _this.prototype
fBound.prototype = new fun()
return fBound
}
}
打完收工~~欧耶 ( •̀ ω •́ )y
P.S: ES7 中已经淘汰了 .bind 的写法，而是使用两个冒号的方式 :: 来代替，（要不要这么可爱！不过呢，人家还只是个提案而已，到时候会不会被采用还不一定的呢
用法有两种，第一种::对象.方法名
letobj = {
val:'value',
method:function(){
console.log(this.val)
}
};
// ::对象.方法名
// 等价于 obj.method.bind(obj)
// 将 method 的 this 绑定为 obj
// 这里的 method 必须是 obj 的方法
::obj.method;
// call
obj.method();// value
第二种，对象::方法名()
letobj = {
val:'value'
};
functionmethod(){
console.log(this.val);
}
// 对象::方法名()
// 等价于 method.call(obj) 或 method.apply(obj)
// 会直接调用并输出 'value'
// obj::method();
// 对象::方法 （无括号
// 等价于 method.bind(obj)
// 不会自动执行，必须赋值给 method 才能实现绑定
// 手动调用 method ，输出 vaue
method = obj::method;
method();
嘛~ 有说的不对的地方，欢迎指正..
文章来源：https://jothy1023.github.io/2016/10/16/js-bind-es5-es6/
作者：四月（转载已经获得作者授权）
