js 词法环境与变量环境的问题

Question

ES5标准文档中规定，执行环境包括：词法环境、变量环境、this绑定。并且解释道：其中执行环境的词法环境和变量环境组件始终为词法环境对象。当创建一个执行环境时，其词法环境组件和变量环境组件最初是同一个值。在该执行环境相关联的代码的执行过程中，变量环境组件永远不变，而词法环境组件有可能改变。

我想知道为何说：变量环境组件永远不变，而词法环境组件有可能改变。为什么需要两个词法环境对象？一个不行吗？没人研究过吗？

Answer 1

在Clarity on the difference between "LexicalEnvironment" and "VariableEnvironment" in ECMAScript/JavaScript找到了还算合理的解释。

变量环境的不变和词法环境的可能改变都是指引用的改变，规范12.10和12.14两部分的内容提到了词法环境在with以及catch语句块中会改变。

至于执行环境为什么要使用两个词法环境对象，我猜测也许是为了允许上面的做法。