1）名字VS值

名字和内存（存储）位置相关联。

名字—（环境）———>位置——（状态）——>值

这两个映射都在随着程序的运行而改变。

2）环境VS状态

环境是指一个名字到存储位置映射，也可以说是名字到变量（左值）的映射，环境的改变需要遵守语言的作用于与规则；

状态是一个从内存位置到它的值的映射，即把左值映射为相应的右值。

3）静态绑定VS动态绑定

大部分名字到位置的绑定是动态的；

从位置到值的绑定一般也是动态的。

常量声明是个例外。

4）名字VS标识符

标识符是一个字符串，通常由字母和数字组成，用来指向（标记）一个实体，比如数据对象、过程、类或类型。

所有的标识符都是名字，名字不全是标识符：

名字可以是一个受限名字（包）

x.y可以表示结构变量x中的y成员，x 和y都是标识符，但x.y不是标识符。

4）变量

指向存储中某个特定的位置。