JS Function.prototype 与函数的静态属性探讨

一、背景

今天在写一个柯里化函数的时候，不小心遇到了一个错误，导致无法输出正确的结果，代码如下：

function curry(...args) {
  function _adder(...args2) {
    args.push(...args2);
    return _adder;
  }
  _adder.prototype.toString = function() {
    return args.reduce((a, b) => a + b);  
  }
  return _adder;
}

这个函数在使用的时候只需要这样子调用：

curry(1, 2, 3, 4, 5, 6)(7)(8).toString()

实际上安设想，这样就会打印出正确的结果，但是却没有，打印结果如下：

"function _adder(...args2) {
    args.push(...args2);
    return _adder;
  }"

他把函数体打印了出来，这是为什么呢？

二、探究

原来我在函数体里把_adder的toString方法绑到了他的原型上，这样只有他的实例能调用，或者自身通过以下方式调用：

curry(1, 2, 3, 4, 5, 6)(7)(8).prototype.toString()
36

那么上述的柯里化函数应当改写成如下形式：

function curry(...args) {
  function _adder(...args2) {
    args.push(...args2);
    return _adder;
  }
  _adder.toString = function() {
    return args.reduce((a, b) => a + b);  
  }
  return _adder;
}

也就是给函数添加静态方法toString,这样通过显示调用toString或者隐式类型转换都可以计算柯里化的值。

但我今天要探讨的重点不在这里，而是Fuction.prototype与普通函数的关系。因为函数也是Object的实例，这两个东西高度抽象，互为实例。当我们通过类名直接在函数上添加属性或者方法的时候，这个属性就称之为类属性，只能函数本身调用，new 出来的对象不能调用。

今天我发现所有的函数都是Function的实例：

function test() {}
undefined
test instanceof Function
true
test.__proto__
ƒ () { [native code] }
Function.prototype
ƒ () { [native code] }

另附instanceof内部原理：

function instance_of(L, R) {//L 表示左表达式，R 表示右表达式 

    var O = R.prototype;   // 取 R 的显示原型 

    L = L.__proto__;  // 取 L 的隐式原型

    while (true) {    

        if (L === null)      

             return false;   

        if (O === L)  // 当 O 显式原型 严格等于  L隐式原型 时，返回true

             return true;   

        L = L.__proto__;  

    }

}

其实这和函数的实现原理有关，当我们通过如下方式声明函数时：

let f = new Function();

实际上就构造了一个函数出来，并且该函数是可执行的，只不过没有函数参数和函数体而已，我们可以改写为如下形式：

var func = new Function('arg1', 'arg2', 'return arg1 + arg2');
undefined
func(1, 2)
3
// 实际上等同于
function func(arg1, arg2) {
  return arg1 + arg2;
}

注意：尽管可以使用 Function 构造函数创建函数，但最好不要使用它，因为用它定义函数比用传统方式要慢得多。不过，所有函数都应看作 Function 类的实例。
这就很好解释了，因为函数进行了new操作，而new操作的内部原理如下：

function new(fn) {
  let target = {};
  target.__proto__ = fn.prototype;
  let res = fn.call(target);
  if(typeof res == 'object' || typeof res == 'function') {
    return res;
  }
  return target;
}

三、总结

说了这么多，Function.prototype就是所有function的原型，当我们通过属性描述符'.'或者中括号的形式去获取函数的静态属性的时候，其实首先看的是自身有没有该属性，没有再去function.prototype上去找，再找不到就是Object.prototype了，原型链的终端，因为，prototype就是个对象既然是对象，那么就是Object的实例。
如果我们需要给所有函数定义公共方法，那么可以考虑Function.prototype。