写代码时，最常遇到的“拦路虎”不是逻辑绕、算法难，而是编译器甩过来的一堆红字——“error”。别慌，这些报错不是在骂你，而是在指路。搞懂它们是什么类型，就能快速定位问题，少花半小时查一个拼写错误。
语法错误（Syntax Error）
这是新手最常撞上的墙。就像写中文句子缺了句号、多打了逗号，编译器根本读不懂这行代码想干啥。它发生在编译的第一阶段：词法分析和语法分析。
比如你在 C 语言里少写了个分号：
int x = 5
printf("Hello");第二行结尾没分号，编译器立刻报错：“expected ';' before 'printf'”。再比如 Python 里缩进错了一格，或忘了冒号：
if x > 0
print("positive")Python 直接提示 “IndentationError: expected an indented block” 或 “SyntaxError: invalid syntax”。
语义错误（Semantic Error）
代码能通过语法检查，也能顺利编译（甚至运行），但结果不对。这类错误不归编译器管——它只管“写得对不对”，不管“意思对不对”。不过，有些语义问题编译器会提前预警。
例如 C++ 中用未初始化的变量：
int a;
cout << a << endl; // 值是随机的，编译器可能警告 warning: 'a' is used uninitialized又比如 Java 中把 int 类型赋给 String 变量（没强制转换）：
String s = 123; // 编译失败：incompatible types: int cannot be converted to String这其实是编译器在做类型检查时发现的语义冲突，属于“静态语义错误”，会被拦在编译阶段。
类型错误（Type Error）
很多现代语言（如 TypeScript、Rust、Java）会在编译期严格检查类型。你告诉编译器“这个变量是字符串”，结果却给它塞了个数组，它马上拒绝：
let name: string = ["a", "b"]; // TypeScript 报错：Type 'string[]' is not assignable to type 'string'而像 Python 这类动态语言，类型检查在运行时才发生，所以编译器（准确说是解释器）不会报类型错误——但一旦运行到那行，就会抛出 TypeError 异常。
链接错误（Linker Error）
代码写完、编译也过了，一到生成可执行文件就卡住？可能是链接器在找函数或变量时扑了空。常见于 C/C++ 项目中拆了多个 .c 文件，但忘了把所有目标文件一起链接。
比如 main.c 调用了 calc_sum()，但 calc.c 没参与编译链接：
undefined reference to `calc_sum'意思很直白：编译器说“我见过这个函数名，但翻遍所有编译好的模块，都没找到它的实现”。这时候不是代码写错了，而是构建流程漏了环节。
运行时错误（Runtime Error）
严格来说，这不是编译器报的错——它已经放行了。但很多初学者会误以为“程序跑起来报错=编译错误”。这类错误只有等代码真正在内存里跑起来才会暴露，比如除零、空指针解引用、数组越界。
C 语言示例：
int arr[3] = {1, 2, 3};
printf("%d\n", arr[10]); // 编译完全没问题，运行时可能崩溃或输出垃圾值Java 则更“友好”些，会直接抛异常：
int[] nums = {1, 2, 3};
System.out.println(nums[5]); // 运行时报：ArrayIndexOutOfBoundsException这类错误，编译器帮不上忙，得靠测试、断点调试或者加防御性判断来提前拦截。