编译器构造中词法、语法、语义错误的识别及归类困惑咨询

要准确区分词法（Lexical）、语法（Syntax）、语义（Semantic）错误，核心看错误发生在编译器的哪个阶段，以及违反了哪一层规则：

1. 词法错误（Lexical Error） #

词法分析是编译器的第一个阶段，负责把源代码的字符流拆分成一个个合法的token（比如关键字、标识符、字面量、运算符等）。词法错误就是出现了无法被识别为任何合法token的字符或字符序列，常见场景：

• 包含语言不允许的非法字符（比如C语言里的@、#这类未定义用途的符号）
• 不符合token规则的序列（比如数字开头的标识符1var，或者字符串未闭合"hello）

示例代码：

// 非法字符@，词法分析器无法识别
int total = 100@50;
// 数字开头的标识符，违反标识符词法规则
int 2score = 95;

2. 语法错误（Syntax Error） #

语法分析阶段会检查token序列是否符合语言的语法规则（比如变量声明的结构、语句的格式等）。这类错误中，所有token都是合法的，但组合方式不符合语言的语法规范，常见场景：

• 语句末尾漏写分号
• 括号、引号不匹配
• 关键字拼写错误但形成了合法标识符（比如把int写成nit，词法分析器会把它当成普通标识符，但语法规则要求变量声明开头必须是类型关键字/typedef名）

示例代码：

// 漏写分号，语法结构不完整
int age = 20
// 关键字拼写错误，token合法但不符合声明语法
nit height = 180;
// if语句缺少括号，不符合语法结构
if age > 18 printf("Adult");

3. 语义错误（Semantic Error） #

语义分析阶段会检查代码的逻辑合法性，确保符合语言的语义规则。这类代码的语法完全正确，但存在逻辑或规则上的错误，常见场景：

• 使用未声明的变量
• 类型不兼容的赋值（比如int变量赋值字符串）
• 函数调用参数个数/类型不匹配

示例代码：

// 使用未声明的变量num
int main() {
    printf("%d", num);
    return 0;
}
// 类型不匹配，int变量赋值字符串字面量
int name = "Alice";
// 函数参数个数错误，sqrt只接受一个参数
double result = sqrt(4, 2);

关于拼写错误的归类争议 #

你遇到的拼写错误归类分歧，本质是看拼写后的内容是否符合token规则，以及后续是否违反语法/语义规则：

• 如果拼写导致无法生成合法token（比如在Python里写$username，Python标识符不允许$），属于词法错误；
• 如果拼写后是合法token，但不符合语法结构（比如把if写成iff，词法分析器认为是标识符，但语法规则要求if关键字的位置出现了普通标识符），属于语法错误；
• 如果拼写后是合法token且语法正确，但语义逻辑错误（比如把变量count写成coumt，且coumt未声明），属于语义错误；若只是逻辑上用错了变量名但语法语义都合法，则属于编译器无法检测的逻辑错误。

内容的提问来源于stack exchange，提问作者Noorulain Khan