一、背景
今天在写一个柯里化函数的时候，不小心遇到了一个错误，导致无法输出正确的结果，代码如下：
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。
网友评论