空函数体{}在c++中合法且常用，用于占位、契约实现等场景；但需区分声明与定义，注意成员初始化仍会发生。
可以，函数体为空在C++中完全合法，但必须明确区分「空函数体」和「空语句」——前者是函数定义中花括号内什么也不写，后者是单独一个分号;，二者语义和用途完全不同。
空函数体的语法要求：{} 不能省，() 也不能省
函数声明或定义时，形参列表可以为空，但圆括号()是强制语法成分；函数体用花括号{}包裹，即使里面没内容，也不能写成void f();就当定义用了（那是声明，不是定义）。
-
void f() {}✅ 合法定义：空函数体，可被调用 -
void f() ;❌ 错误：这只是声明，链接时会报undefined reference to 'f' -
void f() {;}⚠️ 不推荐：多了一个无意义的空语句;，虽能编译，但易引发误解 -
void f(void) {}✅ 合法（C风格兼容写法），但C++中更推荐void f()
空函数体常用于哪些场景
它不是“偷懒”，而是有明确设计意图的占位或契约实现：
- 接口类中纯虚函数的默认实现（如基类提供空的
onError()供子类选择性重写） - 回调注册点预留，比如
std::function<void> on_complete = [](){};</void>，避免后续调用前反复判空 - 模板特化或SFINAE分支中，为某组类型提供“不执行任何操作”的特化版本
- 调试阶段临时禁用某段逻辑，比注释掉整个函数体更安全（不会破坏函数签名）
容易踩的坑：空函数体 ≠ 构造/析构自动跳过
这是新手最常混淆的一点：即使你写了A() {}这样的空构造函数体，编译器仍会在进入{}之前，按声明顺序完成所有成员的初始化（包括调用其默认构造函数）；同理，空析构函数~A() {}也不会阻止成员变量的析构函数被自动调用。
- 内置类型（如
int x;）在空构造函数中不会被初始化 → 值为未定义，别假设它是0 - 自定义类型成员（如
std::string s;）仍会调用其默认构造函数 →s是有效、空的字符串 - 若想跳过某些成员初始化，必须显式写进初始化列表，例如
A() : s() {}（显式调用std::string默认构造）或A() : s("hello") {}
真正要注意的，是空函数体掩盖了「初始化列表是否被忽略」这个关键动作。很多人只盯着{}里有没有代码，却忘了初始化列表才是C++对象诞生的第一现场。
C++免费学习笔记（深入）：立即使用
在学习笔记中，你将探索 C++ 的入门与实战技巧！
