名字用了没定义

一个常见的语义检查是：用到的变量必须先定义过。如果代码里写 y = x + 1，但从没定义过 x，编译器就会报"x 未定义"。它靠一张"名字表"记住哪些名字已经存在。