17370845950

c++中如何实现自定义异常类_c++继承std::exception方法【汇总】
自定义异常类必须继承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::exceptionwhat() 是虚函数,返回 const char*。直接继承它时,若不重写,调用 what() 将返回默认实现(通常为字符串 "std::exception"),无法携带自定义错误信息。

常见错误:只添加构造函数但忘记重写 what(),导致抛出后 e.what() 输出空或无意义内容。

  • 推荐做法:在类内持有一个 std::string 成员,构造时初始化,在 what() 中返回其 c_str()
  • 注意:what() 必须是 noexceptconst 成员函数
  • 不要返回局部变量或临时 std::stringc_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;
  • 若异常类含非 trivial 成员(如 std::string),确保移动构造/拷贝构造可用(现代编译器默认满足)

真正容易被忽略的是:自定义异常类的析构函数不能抛出异常(即必须 noexcept),否则在栈展开过程中触发二次异常,程序直接调用 std::terminate。哪怕你没显式写析构函数,也要确认所有成员的析构函数都是 noexcept —— 这一点在含 std::mutex 或自定义 RAII 类时尤其危险。