Question

在javascript中，Function对象的本质是什么？

Answer 1

Javascript 中变量可以存放两种类型的值，一种为原始值（primitive value），如 Undefined, Null, Boolean, Number, String。这类值存放在栈内部，每赋值一次就创建一个新的拷贝。另一种为引用值(reference value)，这类值存在堆内存中，只能通过引用赋值。

举例说明：

var a = 'test';//原始值
var b = function() {}; //引用值

来测试下：

var a = 'test';//原始值
var b = function() {}; //引用值
b.a = 'test';
function change(m, n) {
    m = 'change';
    n.a = 'change';
}
change(a, b);

现在变量 a 仍然是 test,但是 变量 b 的属性 a 的值则已经为 change，这也就是说前者相当于是拷贝了一份值，而后者则是引用赋值。

因为 Javascript 只有两种作用域，一是全局作用域，二是函数作用域，它是没有块级作用域的。所以闭包的出现就相当于利用一个匿名函数的壳模拟出一个块级作用域。举个更明显的闭包例子：

for(var i = 0; i < 10; i++) {
    (function(e) {
        setTimeout(function() {
            console.log(e);  
        }, 1000);
    })(i);
}

联系上面的知识，这里往匿名函数内部传的参数将会被拷贝一份，也就是说循环没执行一次就拷贝变量 i 的值到匿名函数内部。

这里如果没有闭包的话：

for(var i = 0; i < 10; i++) {
    setTimeout(function() {
        console.log(i);  
    }, 1000);
}

由于变量 i 直接暴露在全局作用域内，当调用 console.log 函数开始输出时，这是循环已经结束，所以会输出10个10。

Answer 2

在JS中，Function对象就是Function对象。
在引擎中，随便它怎么实现都可以，只要遵照ECMAScriptSpec就行了。
不过只要不是玩具引擎，就肯定不会把代码作为字符串存储，到执行到函数时再去解析的。