创建异常层次结构的正确方法是什么?

What is the proper way to create an exception hierarchy?

I understand that to properly catch exceptions using multiple inheritance I need to use virtual inheritance.
我不一定提倡有争议的多重继承的使用,但我不想设计使其无法使用的系统。请不要分心提倡或攻击多重继承的使用。

假设我有以下基本异常类型:

class BaseException : public virtual std::exception {
public:
    explicit BaseException(std::string msg)
    : msg_storage(std::make_shared<std::string>(std::move(msg))) { }

    virtual const char* what() const noexcept { return msg_storage->c_str(); }

private:
    // shared_ptr to make copy constructor noexcept.
    std::shared_ptr<std::string> msg_storage;
};

BaseException 创建异常层次结构的正确方法是什么?


我的问题在于构造异常类型。理想情况下,每个异常都只构造其父级,但由于虚拟继承,这是不可能的。一种解决方案是构建链上的每个父代:

struct A : public virtual BaseException {
    explicit A(const std::string& msg) : BaseException(msg) { }
};

struct B : public virtual A {
    explicit B(const std::string& msg, int code)
    : BaseException(msg), A(msg), code_(code) { }

    virtual int code() const { return code_; }

private:
    int code_;
};

struct C : public virtual B {
    explicit C(const std::string& msg, int code)
    : BaseException(msg), A(msg), B(msg, code) { }
};

但这似乎非常重复且容易出错。此外,这使得异常类型的构造函数无法 add/change 在传递给各自的父级之前由其子级传递的信息。

我找到了一个合理的解决方案,据我所知,它没有被破坏。它使用稍微修改过的基本异常类型:

struct BaseException : virtual std::exception {
    explicit BaseException(std::string msg)
    : msg_storage(std::make_shared<std::string>(std::move(msg))) { }

    virtual const char* what() const noexcept { return msg_storage->c_str(); }

protected:
    BaseException();

private:
    std::shared_ptr<std::string> msg_storage;
};

那么规则是:

  1. 每个异常都public从其父异常继承public。

  2. 每个异常声明一个受保护的默认构造函数并定义一个初始化所有数据成员的受保护的构造函数。

  3. 每个应该Constructible的异常都定义了一个public构造函数,它为每个祖先直接调用2中定义的构造函数。

  4. 所有拷贝构造函数都应该是noexcept。


使用这个的示例层次结构:

// A regular derived exception.
struct RuntimeError : virtual BaseException {
    RuntimeError(std::string msg) : BaseException(std::move(msg))  { }
protected: RuntimeError() { }
};

// Derived exception with data member.
struct OSError : virtual RuntimeError {
    OSError(std::string msg, int e) : BaseException(std::move(msg)), e(e)  { }
    virtual int error_code() const noexcept { return e; }

protected:
    OSError();
    OSError(int e) : e(e) { }

private:
    int e;
};

// Non-constructible exception type.
struct FatalError : virtual RuntimeError {
protected: FatalError() { }
};

// A composed exception type.
struct FatalOSError : virtual FatalError, virtual OSError {
    FatalOSError(std::string msg, int e)
    : BaseException(std::move(msg)), OSError(e)  { }
protected: FatalOSError() { }
};