【javaScript】执行原理

执行原理

相关文章

执行原理

一、执行过程

示例

function add(a, b) {
    return a + b;
}

let result = add(3, 5);
console.log(result);

词法分析（Lexical Analysis）

在词法分析阶段，JavaScript 引擎会将源代码分解成一个个称为词法单元（Token）的最小单位。

输入：JavaScript 代码字符串。
输出：词法单元序列。

<keyword, function> <identifier, add> <delimiter, (>
<identifier, a> <delimiter, ,> <identifier, b> <delimiter, )>
<delimiter, {> <keyword, return> <identifier, a> <operator, +> <identifier, b> <delimiter, ;> <delimiter, }>
<keyword, let> <identifier, result> <operator, => <identifier, add> <delimiter, (>
<constant, 3> <delimiter, ,> <constant, 5> <delimiter, )> <delimiter, ;>
<identifier, console> <operator, .> <identifier, log> <delimiter, (> <identifier, result> <delimiter, )> <delimiter, ;>

语法分析（Syntax Analysis）

在语法分析阶段，JavaScript 引擎将词法单元序列根据 JavaScript 的语法规则构建成抽象语法树（AST）。

输入：词法单元序列。
输出：抽象语法树（AST）。

        FunctionDeclaration
              |
          Identifier (add)
          /        \
    Identifier (a)  Identifier (b)
        |
      BlockStatement
        |
    ReturnStatement
        |
      BinaryExpression (+)
      /              \
Identifier (a)    Identifier (b)

语义分析（Semantic Analysis）

在语义分析阶段，JavaScript 引擎对已构建的抽象语法树（AST）进行分析，检查代码中的语义错误，并进行类型检查和语义检查等操作。

输入：抽象语法树（AST）。
输出：检查通过或错误信息。

代码生成（Code Generation）

在代码生成阶段，JavaScript 引擎将已经经过词法分析、语法分析和语义分析的源代码转换为目标代码，通常是机器码或中间代码。

输入：抽象语法树（AST）。
输出：目标代码。

语义分析（Semantic Analysis）

在代码执行阶段，JavaScript 引擎按照生成的目标代码进行执行。

输入：目标代码。
输出：运行结果。

二、JavaScript 引擎

JavaScript 引擎是负责解释和执行 JavaScript 代码的程序，常见的 JavaScript 引擎包括 V8（Chrome 和 Node.js 使用）、SpiderMonkey（Firefox 使用）、JavaScriptCore（Safari 使用）等。引擎会将 JavaScript 代码分析、编译成字节码或机器码，并执行。

三、执行环境（Execution Context）

执行环境是 JavaScript 引擎执行代码的环境，它包含了执行代码所需的所有信息，如变量、作用域链、this 等。在执行 JavaScript 代码时，引擎会创建执行环境，并将其压入执行栈（Execution Stack）中。执行环境分为全局执行环境和函数执行环境。

构造过程

创建变量对象（Variable Object）

在创建执行环境时，JavaScript 引擎会首先创建一个变量对象，用于存储当前执行环境中的变量、函数声明以及形参信息。
对于全局执行环境，变量对象被称为全局对象（Global Object），在浏览器中是 window 对象。
对于函数执行环境，变量对象分为活动对象（Activation Object）和作用域链（Scope Chain）。活动对象用于存储函数内部的变量、函数声明和形参，作用域链用于解析变量的访问。