记录为主 Link to heading

本博文是以SICP第二版3.2节内容为主进行的记录。

概述 Link to heading

在所有编程语言中，调用函数时，会有一个上下文，这个上下文中包含着我们的环境变量。这是没有任何疑惑的地方。比如说，用C/C++写了一个函数，调用其，实际参数会赋值给形参（形成一个拷贝，指针的情况，就是把这个地址进行了拷贝，不是地址的内容罢了），然后所有的操作，在这个拷贝的环境中实现。也就是局布环境框架。

思考 Link to heading

这是对于大部分主流的编程语言来说，没有问题。是的。看起来很美好。让我们思考一下，如果我们可以以函数人作为返回值，我们在这个返回值中，修改了外层环境的参数会怎么样呢？

详细 Link to heading

See more: SICP Article

先拿lisp来说事，就以sicp上的scheme代码为例。

(define (make-withdraw balance)
  (lambda (amount)
    (if (>= balance amount)
        (begin (set! balance (- balance amount))
               balance)
        "Insufficient funds")))

;; Let us describe the evaluation of

(define W1 (make-withdraw 100))

;; followed by

(W1 50)
50

过程可以像书的图那样理解。当调用内层过程后，环境就被改变了，这时，如果还使用W1进行调用的话，环境就被更改了，balance不再是100而是50了！如果我们再调用一个新的全局环境，这样子就会出现一个新的局布环境，这个环境，不同于W1,而是和一开始默任情况相同了。由于博主语文不太好，所以这里还是以看图和书为主，这个其实就是书上的内容。只是用博主不可描述的理解讲了一遍罢了。

引起这个的最根本原因就是赋值。因为同一环境内的同一名称，指向了同一地址。更改其值，也就改变了这个地址的值，那么，这个环境相关的环境，也全部被影响了。

这也是一种可恨的函数负作用。