6.1局部存储分配 2、环境和状态 环境把名字映射到左值，而状态把左值映射 到右值（即名字到值有两步映射） 赋值改变状态，但不改变环境 过程调用改变环境 如果环境将名字x映射到存储单元s,则说x被 绑定到s 环境 状态 名字 存储单元6.1 局部存储分配 2、环境和状态 • 环境把名字映射到左值，而状态把左值映射 到右值（即名字到值有两步映射） • 赋值改变状态，但不改变环境 • 过程调用改变环境 • 如果环境将名字x映射到存储单元s，则说x被 绑定到s 名字 存储单元 状态 值 环境