标识符：identifier 是一个字符串，通常由字母和数字组成。用来指向一个实体。所有的标识符都是名字，但不是所有的名字都是标识符，名字也可以是一个表示式，比如 x.y 。其中，x或者 y 是标识符也是名字，而 x.y 只能被叫作名字，而不能称之为标识符。
变量：变量表现的是开辟了某个特定的内存位置。同一个标识符被多次声明是很常见的事情，每一个声明引入一个新的变量。在递归 情况下，即使每个标识符只被声明一次，但在递归过程中的局部标识符将在不同的时刻指向不同的位置。
环境和状态：
环境由语言的作用域规则决定，它是名字到存储位置（变量）的映射。大部分名字到位置的绑定是动态的。某些全局变量的声明可以一劳永逸地分配一个存储位置。
状态是一个从内存位置到值的映射。一般来说这也是动态绑定的。被声明的常量是一个例外，它会将名字静态地绑定为一个值，并且不可重新绑定。
变量名与符号表
变量：用来标识(identify)一块内存区域，这块区域的值一般是可以更改的，这就是它“变”的由来，但是我们可以通过使用如const等一些修饰符号来限定这一内存区域的操作特性(characteristic)，即变量的操作特性。用const修饰的使变量不能更改的就和常量一样的变量叫做常变量。
变量名：是一个标识符(identifier)，用来指代一块内存区域，即变量，使用变量使我们操作内存以区域(area)，以块(block)为单位，提高了方便性。
你的机器代码中，是不会出现变量名的；变量名是给我们程序员操作内存来使用的。想想在汇编年代，没有变量名，我们操作内存，都是用地址来直接操作的，还要控制区域大小；当然汇编语言已经有了简单的变量。
对于编译器，它会搜集我们的变量名，比如我们定义了一个全局的int a;那么编译器都为我们做了什么呢？
它会为程序预留4个字节的空间（假设在32位平台），并把我们的变量名“a”保存进符号表，并用这个符号表的索引对应实际的空间。
如果下面出现b = a;那么它就会根据符号表找到变量的真正的物理位置，取得它的值，赋给b。
这是写编译器需要做的，我们需要建立符号表。但是实际在汇编层次上，操作的都是地址而已，不存在任何名称了。
