C/C++标准术语
什么是 ill-formed（非良构）
C/C++ 标准将程序分为几类：
| 类型 | 含义 |
|---|---|
| Well-formed（良构） | 符合所有语法和语义规则的程序（合法） |
| Ill-formed（非良构） | 违反了语法或约束的程序（不合法），编译器会抛出警告，但是未必会终止编译。要严格遵守良构，需要加 -pedantic-errors 或 -Werror |
| Ill-formed, no diagnostic required（非良构，不要求诊断） | 违反了语法或约束的程序（不合法），且编译器可以不报错也不警告，未必会终止编译 |
| Undefined behavior (UB)（未定义行为） | 程序语法合法，但执行行为未定义（如访问未初始化的变量），编译器未必给出诊断，可以做任何事情 |
注意：ill-formed ≠ 编译失败！它只表示“不符合标准”，但编译器可以选择如何处理（报错、警告、甚至静默接受）。
什么是 diagnostic required（要求诊断）
当程序违反了某些特定语法规则或约束时，C/C++ 标准强制要求编译器必须给出至少一条诊断信息（diagnostic message）。
诊断信息可以是：
- Error（错误） → 通常停止编译
- Warning（警告） → 可能继续编译
注意：“必须诊断” ≠ “必须拒绝编译”！只要输出了 warning 或 error，就算满足了标准要求。