C++中绝大多数独立语句必须以分号结尾，包括表达式语句、声明语句、空语句等；但复合语句（如if、for后的{}块）本身不加分号，类/结构体定义末尾的分号属于定义语法而非语句。
绝大多数独立语句必须加分号，但“语句”本身有明确定义——不是所有带花括号的代码块都是语句，也不是所有结尾有}的地方都该加。
哪些东西算“语句”，必须以分号结尾
判断标准：它是否是一个**可独立存在、能被编译器识别为完整动作或声明的语法单元**。
-
int x = 42;、func();、return true;—— 表达式语句或声明语句，必须加分号 -
class A { };、struct B { int x; };、enum E { X, Y };—— 类型定义是声明，语法强制要求结尾分号（哪怕空体） -
void foo();、extern int global;—— 前向声明也是声明语句，必须加分号 -
;—— 空语句合法，比如while (cond) ;，这里分号就是语句本身
哪些地方看着像语句，但其实不能加
常见误加位置，往往导致逻辑错误而非编译失败：
-
if (x > 0); { do_something(); }—— 分号让if立即结束，后面{}变成无条件执行块 for (int i = 0; i —— 同样，循环体被跳过，<code>{...}总是执行一次-
int main() { return 0; };—— 函数定义结尾的分号不是语法要求，属于冗余；部分编译器容忍，但不符合 ISO C++ 规范 -
#include <iostream>;或#define PI 3.14;;—— 预处理指令不是语句，加分号直接报错
复合语句（{} 块）什么时候要加分号
普通代码块自身不是语句，所以 { int x = 1; } 结尾不加；但当这个块作为**类型定义的一部分**出现时，整个定义需要分号收尾：
立即学习“C++免费学习笔记（深入）”；
-
namespace ns { int x; }—— 不加（命名空间定义结尾不强制分号） -
namespace ns { int x; };—— 加了也不报错，但非必需；C++17 起允许省略 -
class C { void f() {} };—— 必须加，class是声明，};是其语法终点 -
auto lambda = [](){ return 42; };—— 这里分号属于赋值语句结尾，不是 lambda 定义本身的需要
最容易忽略的是：类/结构体/枚举定义末尾的分号，和普通语句的分号本质不同——它不是“语句结束符”，而是**类型定义语法的一部分**。写漏会编译失败；写多在函数或命名空间后，则属于风格污染，可能干扰模板推导或宏展开。
