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