自定义异常类必须继承std::exception或其派生类(如std::runtime_error),重写noexcept const的what()函数并安全返回错误信息;推荐直接继承std::runtime_error;禁止抛出指针或临时对象;析构函数必须noexcept。
自定义异常类必须继承 std 或其派生类(如 
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 构造,适合绝大多数业务异常场景。无需手动管理字符串生命周期,也不易出错。
适用场景:参数校验失败、文件打开失败、网络超时等运行期可恢复/需提示的错误。
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;
std::string),确保移动构造/拷贝构造可用(现代编译器默认满足)真正容易被忽略的是:自定义异常类的析构函数不能抛出异常(即必须 noexcept),否则在栈展开过程中触发二次异常,程序直接调用 std::terminate。哪怕你没显式写析构函数,也要确认所有成员的析构函数都是 noexcept —— 这一点在含 std::mutex 或自定义 RAII 类时尤其危险。