ES2025代码执行概念解析

词法环境指向环境记录

ECMA执行上下文关联的词法环境都是一个环境记录：

在最近的文档中以及不怎么强调词法环境的问题了，而是使用环境记录。

明确指出了LexicalEnvironment和VariableEnvironment这两个组件“始终是环境记录Environment Records”。这意味着执行上下文中这两个组件直接指向了环境记录，而不再通过其他结构（如词法环境）间接管理标识符的绑定。

全局执行上下文

全局执行上下文关联的是一个全局环境记录（Global Environment Record）：
原文提到，“A Global Environment Record is used to represent the outer most scope that is shared by all of the ECMAscript Script elements that are processed in a common realm.”

全局环境记录包含一个声明环境记录和一个对象环境记录：
原文中提到，“A Global Environment Record is logically a single record but it is specified as a composite encapsulateing an Object Environment Record and a Declarative Environment Record.”
这说明全局环境记录实际上是一个包含了声明环境记录（Declarative Evironment Record）和 对象环境（Object Evironment Record）的组合体。

全局环境记录的[[OuterEnv]]指向null：
全局环境记录是整个作用域链的最外层，因此他的[[OuterEnv]]应该是指向null的。

声明环境记录和对象环境记录访问顺序

那么在全局执行上下文中，执行过程中有提到Object Environment Record 和 Declarative Environment Record 谁先查找，比如我查找一个name变量的时候？

函数执行上下文

这段话说明，函数环境记录（Function Environment Record）是声明式环境记录（Declarative Environment Record）

这意味着在函数的执行过程中，只会有一个环境记录，这个环境记录就是声明式环境记录。

那么这个声明式环境记录（Declarative Environment Record）是如何区分函数中存放的var变量、let/const的呢？

CreateMutableBinding:用于创建var变量的可变绑定。

CreateImmutableBinding:用于创建let和const变量的不可变绑定。
不可变绑定指的是一旦这个绑定（也就是这个名字到这个变量的关联）被创建后，他的绑定关系是不可变的
具体来说，一旦通过CreateImmutableBinding创建了绑定，你不能用同样的名字再次创建另一个绑定，且在初始化之前不能访问或修改这个绑定。

ES2025的内存图

var message = "你好啊，李银河"
function foo(){
    let message = "Hello World"
    let address = "广州市"
}

let age = 18
const height = 1.88
foo()

感谢大家观看