默认构造函数是不传实参即可调用的构造函数；它并非编译器无条件生成，而是在类未显式定义任何构造函数、且被实际使用时，才按标准规则隐式声明并可能定义，否则会因const/引用成员未初始化、基类或成员不可默认构造等原因被删除。
默认构造函数就是不传实参就能调用的构造函数，它不是“编译器一定给你生成”的保障，而是“你没写、又恰好需要时，编译器才可能出手”的隐式行为。
为什么 MyClass obj; 有时编译不过？
这不是语法错了，而是类里缺了能被调用的默认构造函数。常见原因有：
- 你写了带参数的构造函数（比如
MyClass(int x)），但没写无参版本，也没加=default - 类里有成员是另一个类类型，而那个类没有默认构造函数（比如
std::mutex m;在 C++17 前不能默认构造） - 基类没有默认构造函数，而派生类构造函数初始化列表里又没显式调用基类构造函数
这时编译器不会“帮你补一个”，而是直接报错：`no matching constructor for initialization of 'MyClass'`。
=default 和手写空体 MyClass() {} 有区别吗？
有，关键在“是否保留编译器生成逻辑”：
- 手写
MyClass() {}：函数体为空，但会抑制编译器为虚函数表、基类、成员对象生成初始化代码 —— 如果类里有虚函数或带默认构造的成员，这样写可能导致未定义行为 - 用
MyClass() = default;：明确告诉编译器“按标准规则生成”，该设 vptr 就设，该调基类就调，该初始化成员就初始化
例如：class B { virtual void f(); }; class D : public B { D() = default; }; —— D() 会正确设置虚表指针；换成 D() {} 就不一定了。
数组、std::vector、值初始化这些场景为什么强制要求默认构造函数？
因为它们要批量创建对象，且不提供参数：
-
MyClass arr[3];→ 每个元素都走默认构造 -
std::vector<myclass> v(5);</myclass>→ 构造 5 个默认初始化的对象填入 -
MyClass{};或new MyClass;→ 值初始化，也依赖默认构造函数
如果类里有 const int x; 或引用成员，还必须在成员初始化列表里显式初始化，否则即使有默认构造函数也会报错 —— 这类成员无法被“默认构造”跳过。
真正容易被忽略的是：默认构造函数是否被“用到”，决定了编译器会不会真正生成函数体。声明了但没被调用，链接时可能根本看不到这个符号；一旦出现在数组或 vector 初始化中，它就必须存在且可调用 —— 不是“有没有”，而是“能不能被触发”。
C++免费学习笔记（深入）：立即使用
在学习笔记中，你将探索 C++ 的入门与实战技巧！
