构造函数参数非法时唯一合规处理方式是抛出异常；返回值、设状态位、静默忽略或abort()均会导致半构造对象，引发未定义行为或资源泄漏。
构造函数参数非法时，唯一合规且安全的处理方式是抛出异常。返回值、设置状态位、静默忽略或 abort() 都不可取——前者语言不支持，后三者会留下半构造对象，极易引发未定义行为或资源泄漏。
为什么不能用 return 或 bool 返回值
构造函数没有返回类型（连 void 都不允许），语法上就禁止写 return false。试图在构造函数体里提前 return 只会让对象“看似构造完成”，但实际处于无效状态。调用方无法感知，后续访问成员变量或调用成员函数大概率崩溃。
- 编译器不会报错，但逻辑上已违反 C++ 对象生命周期契约
- 若成员中有智能指针或文件句柄等 RAII 资源，它们可能已被构造，但析构函数不会被调用（因为构造未完成）
- 用户代码可能直接使用该对象，比如
obj.doSomething()，而doSomething()内部又依赖参数校验通过后的不变量
抛异常时必须手动清理已分配资源
异常发生在构造函数体中时，C++ 会自动析构**已成功初始化的成员对象**（按声明顺序逆序），但不会析构基础类型（如 int*、FILE*）或裸指针指向的内存。如果你在构造函数体里用 new 分配了内存，又在校验失败后抛异常，那块内存就泄漏了。
- 错误写法：
data = new int[size]; if (size → <code>data泄漏 - 正确做法：在抛异常前加
delete[] data; data = nullptr; - 更优解：改用
std::vector<int></int>或std::unique_ptr<int></int>，它们是 RAII 的，会随异常自动释放
初始化列表里参数非法怎么办
如果非法参数影响的是初始化列表中的某个成员（比如传给基类构造函数，或用于初始化 std::string），你无法在函数体内捕获——异常会在进入构造函数体前就抛出。此时，C++ 仍会自动析构**已成功初始化的前置成员**，但不会析构尚未开始初始化的后续成员。
- 成员声明顺序决定析构顺序：假设类定义为
Base b; std::string s; int* p;，若s构造时抛异常，b会被析构，p不会（它还没开始初始化） - 因此，把易失败的初始化（如带参数的
std::string、自定义类成员）尽量放在声明靠后的位置，减少“已构造但无法析构”的成员数量 - 避免在初始化列表中做复杂校验；校验逻辑尽量挪到构造函数体，或封装进工厂函数
更健壮的替代方案：工厂函数 + std::optional
当构造逻辑复杂、参数校验多、或需兼容不抛异常的环境（如嵌入式、实时系统），可绕过构造函数本身，改用静态工厂函数。C++17 的 std::optional<t></t> 是理想载体：
class Config {
public:
static std::optional<config> create(int port, const std::string& host) {
if (port 65535) return std::nullopt;
if (host.empty()) return std::nullopt;
return Config{port, host}; // 此处构造函数只做赋值，不校验
}
private:
Config(int p, const std::string& h) : port_(p), host_(h) {}
int port_;
std::string host_;
};</config>
这种方式把校验和构造解耦，调用方明确看到可能失败，且无需异常机制支撑。但注意：它不解决“构造函数内资源分配失败”的问题，只是把失败点前移到工厂函数里——那里你依然得手动清理或用 RAII。
真正容易被忽略的点是：**异常安全不是只看“抛不抛”，而是看“抛之前有没有把已做的事 undo 干净”**。哪怕你用了 std::unique_ptr，如果在它之后又用 malloc 分配了 C 风格内存，那个 malloc 还是你自己负责释放。
C++免费学习笔记（深入）：立即使用
在学习笔记中，你将探索 C++ 的入门与实战技巧！
