编译原理之变量、名字与标识符

　　“名字”和“变量”通常指的是同一个事物。

　　标识符（identifier）是一个字符串，通常由字母和数字组成。它用来指向（标记）一个实体，比如一个数据对象、过程、类，或者类型。所有的标识符都是名字，但并不是所有的名字都是标识符。名字也可以是一个表达式。比如名字x.y可以表示x所指的一个结构中的字段y。这里，x和y是标识符，而x.y是一个名字。像x.y这样的复合名字称为受限名字（qualified name）。

　　多个标识符指向一个变量就是所谓的“别名”现象了。