Duktape项目中的函数模板与实例对象解析-优快云博客

本文链接：https://blog.youkuaiyun.com/gitblog_00763/article/details/148487779

Duktape项目中的函数模板与实例对象解析

duktape Duktape - embeddable Javascript engine with a focus on portability and compact footprint 项目地址: https://gitcode.com/gh_mirrors/du/duktape

函数模板与实例的基本概念

在Duktape引擎中，函数对象分为两种内部表示形式：函数模板(Function Template)和函数实例(Function Instance)。

函数模板是Duktape内部使用的ECMAScript函数对象，它代表一个编译后的函数但不包含具体的执行环境。函数模板不会被直接暴露给用户代码，也不能作为函数被调用，因为它缺少必要的词法环境信息。

函数实例则是从函数模板实例化而来的具体可执行对象，也称为闭包(closure)。实例化过程会创建一个新的函数对象，从模板复制大部分属性，并正确初始化实例特有的字段(如外部词法环境)。

为什么需要这种分离设计

这种分离设计是必要的，因为同一个函数模板可能需要多次实例化，每次使用不同的外部环境。考虑以下示例：

function mkPrinter(str) {
  return function() { print(str); }
}

var p1 = mkPrinter("Hello");
var p2 = mkPrinter("World");

在这个例子中：

mkPrinter函数首先被编译为函数模板，然后立即转换为函数实例
内部函数在编译时作为函数模板存储在mkPrinter的内部函数表中
p1和p2是通过CLOSURE指令创建的两个独立函数实例，它们共享相同的字节码但拥有不同的词法环境

从垃圾回收角度看，函数实例不会引用函数模板，因此当函数实例仍然可达时，函数模板可以被回收。

函数模板的属性

由于ECMAScript规范没有"函数模板"的概念，这些属性是Duktape特有的实现细节：

| 属性名 | 描述 | |--------------|----------------------------------------------------------------------| | _Varmap | 将变量名映射到寄存器号的字典 | | _Formals | 形式参数名数组，用于初始化arguments对象 | | name | 函数名(函数声明或命名函数表达式) | | fileName | 源文件名，用于错误对象和调用栈跟踪 | | _Source | 函数源代码 | | _Pc2line | 调试信息，将字节码索引映射到源代码行号的二进制格式 |

编译器会尽可能省略不必要的内部属性以节省空间。例如：