JavaScript的环境模型

最新推荐文章于 2024-07-15 07:00:00 发布

PrayerFaith-Depart

最新推荐文章于 2024-07-15 07:00:00 发布

阅读量141

点赞数

分类专栏：前端

前端专栏收录该内容

24 篇文章 1 订阅

订阅专栏

环境模型这个概念它用于解释Scheme的函数计算规则

环境是什么

环境在计算过程中必不可少，因为他决定了计算表达式的上下文。可以这样认为，表达式本省在语言里毫无意义，表达式的意义取决于他计算时所在的环境。

JavaScript的解释器就充当着环境的角色。在该环境下，表达式1+1 的计算结果为2，表达式Date()调用一个函数并返回当前的时间，表达式 () => 1 定义一个返回1的函数，总之，对程序而言，环境就是在计算过程为符号提供实际意义的东西。

环境模型

环境模型中的环境具体指的是变量环境。函数在计算时根据环境决定变量的值，从而决定它的计算结果。

环境的创建和作用

函数在调用时会先创建一个环境，然后在该环境中计算数的内容

function add10 (value) {
    var increament = 10;
    return value + increament;
}

表达式add10(2)的计算过程：

创建环境
给环境add中的变量赋值为2
进入环境
在环境add10中给变量increment赋值为10
在环境add10中获得变量value的值为2
在环境add10中获得变量increment的值10
计算表达式2 + 10
返回12
离开环境add10

值得一提的是形参也是变量，他在形参列表里定义在函数调用时获得初始值。

变量绑定

环境使用变量绑定来存放变量的值，绑定与函数中的变量一一对应

约束变量和自由变量

在函数中定义一个变量，变量的意义取决于函数的内容，它的作用范围也被约束在函数之中，此时的变量被称为约束变量。

在函数中使用一个没有定义的变量它的作用范围不收函数的约束，此时的变量称为自由变量。

function main() {   //1
    var x = 10; //2
    var addX = function (value) {   //3
        var increment = x;  //4
        return value + increment;   //5
    };  //6

    var value = 2;  //7
    addX(value);    //8
}   //9
main(); //10

在函数main中，变量x（>2、4），addX（>3、8），value（>7、8）皆为约束变量。
在函数addX中，变量value（>3、5），increment（>4、5）是约束变量，变量x（>4）是自由变量。

绑定与变量

在函数的计算过程中，变量定义会使当前的环境加入对应的绑定。

上文中表达式main()（>10）的计算过程产生了2个环境，$main和$addX：

环境$main拥有3个绑定，x，addX，*value。
环境$addX拥有2个绑定，value，increment。

可见，绑定存放的是约束变量的值，约束变量的值可以直接从当前环境获取。

而自由变量的值需要从其他环境获取，该环境是自由变量定义时所在的环境，拥有自由变量的绑定。

上文中表达式addX(value)（>8）的计算过程：

获得环境$main中绑定*addX的值addX函数。（>8）
获得环境$main中绑定*value的值2。（>8）
修改环境$addX中绑定*value的值为2。（>8）
获得环境$main中绑定*x的的值10。（>4）
修改环境$addX中绑定*increment的值为10。（>4）
获得环境$addX中绑定*value的值2。（>5）
获得环境$addX中绑定*increment的值10。（>5）

计算function表达式或lambda表达式会得到一个函数，这种情况一般被称为函数定义。方便起见，本文将值是变量的函数称为函数。

就这样，函数在计算时只要找到对应的绑定，就能确定一个变量的值。

环境的引用

环境不仅保存了变量绑定，还会保存一个环境引用 enviroment pointer 环境引用指向其他的变量环境。通过环境引用，自由变量可以从其他环境寻找自己对应的绑定

环境引用的来源

函数在定义时会把当前环境的引用记录下来。在调用函数后，新的环境会得到函数中的环境引用并将此保存。

也就是说一个函数在计算时的环境，拥有函数在定义时环境的引用

var getCounter = function (start) { //1
    return function () {    //2
        return start++; //3
    };  //4
};  //5
var counter = getCounter(0);    //6
counter();  //7

表达式getCounter(0)（>6）和counter()（>7）分别创建了两个环境：