自定义异常类必须继承std::exception或其派生类(如std::runtime_error),重写noexcept const的what()函数并安全返回错误信息;推荐直接继承std::runtime_error;禁止抛出指针或临时对象;析构函数必须noexcept。

自定义异常类必须继承 std::exception 或其派生类(如 std::runtime_error),否则无法被 catch (const std::exception&) 捕获,也违背 C++ 异常处理的约定。
继承 std::exception 时必须重写 what()
std::exception 的 what() 是虚函数,返回 const char*。直接继承它时,若不重写,调用 what() 将返回默认实现(通常为字符串 "std::exception"),无法携带自定义错误信息。
常见错误:只添加构造函数但忘记重写 what(),导致抛出后 e.what() 输出空或无意义内容。
- 推荐做法:在类内持有一个
std::string成员,构造时初始化,在what()中返回其c_str() - 注意:
what()必须是noexcept、const成员函数 - 不要返回局部变量或临时
std::string的c_str(),否则悬垂指针
class MyException : public std::exception {
private:
std::string msg_;
public:
explicit MyException(const std::string& msg) : msg_(msg) {}
const char* what() const noexcept override {
return msg_.c_str();
}
};更实用的选择:继承 std::runtime_error
std::runtime_error 已完成 what() 实现,并接受 std::string 构造,适合绝大多数业务异常场景。无需手动管理字符串生命周期,也不易出错。
立即学习“C++免费学习笔记(深入)”;
适用场景:参数校验失败、文件打开失败、网络超时等运行期可恢复/需提示的错误。
- 它本身继承自
std::exception,因此能被通用catch (const std::exception&)捕获 - 构造时传入的字符串会自动存储并由
what()返回,安全可靠 - 若需扩展字段(如错误码),可额外添加成员,但
what()仍应覆盖以包含新信息
class FileOpenError : public std::runtime_error {
private:
int errno_;
public:
FileOpenError(const std::string& file, int err)
: std::runtime_error("Failed to open " + file), errno_(err) {}
const char* what() const noexcept override {
// 可选择拼接更多信息,但注意避免临时 string 导致 c_str() 失效
// 更稳妥:缓存完整 message 字符串(见上例)
return std::runtime_error::what();
}};
不要继承 std::exception 并抛出裸指针或临时对象
抛出异常对象时,C++ 要求抛出的是值(或 const 引用捕获),而非指针。否则会导致资源泄漏、悬空引用或无法匹配 catch 块。
典型错误现象:throw new MyException("xxx"); → 编译虽可能通过,但 catch (const MyException&) 无法捕获,且内存永不释放。
- 永远用
throw MyException("msg");(值语义) - 禁止
throw &e;或throw ptr; - 若异常类含非 trivial 成员(如
std::string),确保移动构造/拷贝构造可用(现代编译器默认满足)
真正容易被忽略的是:自定义异常类的析构函数不能抛出异常(即必须 noexcept),否则在栈展开过程中触发二次异常,程序直接调用 std::terminate。哪怕你没显式写析构函数,也要确认所有成员的析构函数都是 noexcept —— 这一点在含 std::mutex 或自定义 RAII 类时尤其危险。











