我正在为我的库设计一个 C++ 中的异常层次结构。 “层次结构”是从 std::runtime_error 派生的 4 个类。我想避免为异常类使用slicing problem，从而使复制构造函数受到保护。但显然 gcc 在抛出它们的实例时需要调用复制构造函数，因此抱怨受保护的复制构造函数。 Visual C++ 8.0 可以很好地编译相同的代码。是否有任何可移植的方法来化解异常类的切片问题？标准是否说明了实现是否可以/应该需要要抛出的类的复制构造函数？
【问题讨论】：
标签： c++ exception gcc derived object-slicing
您的异常需要有一个公共复制构造函数。编译器必须能够复制它才能进行异常处理。
您的问题的解决方案是始终通过引用来捕获：
try {
// some code...
throw MyException("lp0 is on fire!");
} catch (MyException const &ex) {
// handle exception
}
（const-ness 是可选的，但我总是把它放进去，因为很少需要修改异常对象。）
【讨论】：
throw;，而不是throw ex;，即使ex 是参考上面的代码。
Thomas 的回答是正确的，但我还想建议您不要通过“设计异常层次结构”来浪费时间。设计类层次结构是一个非常糟糕的主意，特别是当您可以从 C++ 标准异常类中简单地派生几个（仅此而已）新异常类型时。
【讨论】：
我会避免设计与您的库不同的异常层次结构。尽可能使用std::exception 层次结构，并且始终从该层次结构中的某些内容中派生异常。您可能想阅读exceptions portion of Marshall Cline's C++ FAQ - 特别是阅读FAQ 17.6、17.9、17.10 和17.12。
至于“强制用户通过引用捕捉”，我不知道有什么好的方法。我在一个小时左右的比赛中（周日下午）想出的唯一方法是基于polymorphic throwing：
class foo_exception {
public:
explicit foo_exception(std::string msg_): m_msg(msg_) {}
virtual ~foo_exception() {}
virtual void raise() { throw *this; }
virtual std::string const& msg() const { return m_msg; }
protected:
foo_exception(foo_exception const& other): m_msg(other.m_msg) {}
private:
std::string m_msg;
};
class bar_exception: public foo_exception {
public:
explicit bar_exception(std::string msg_):
foo_exception(msg_), m_error_number(errno) {}
virtual void raise() { throw *this; }
int error_number() const { return m_error_number; }
protected:
bar_exception(bar_exception const& other):
foo_exception(other), m_error_number(other.m_error_number) {}
private:
int m_error_number;
};
这个想法是保护复制构造函数并强制用户调用Class(args).raise() 而不是throw Class(args)。这使您可以抛出一个多态绑定异常，您的用户只能通过引用捕获该异常。任何按值捕获的尝试都应该收到很好的编译器警告。比如：
foo.cpp:59: 错误：'bar_exception::bar_exception(const bar_exception&)' 受保护
foo.cpp:103: 错误：在此上下文中
当然，这一切都是有代价的，因为您不能再显式使用throw，否则您会收到类似的编译器警告：
foo.cpp：在函数'void h()'中：
foo.cpp:31: 错误：'foo_exception::foo_exception(const foo_exception&)' 受保护
foo.cpp:93: 错误：在这个上下文中
foo.cpp:31: 错误：'foo_exception::foo_exception(const foo_exception&)' 受保护
foo.cpp:93: 错误：在这个上下文中
总体而言，我会依赖编码标准和文档说明您应该始终通过参考来了解。确保您的库捕获通过引用处理的异常并抛出新对象（例如，throw Class(constructorArgs) 或 throw;）。我希望其他 C++ 程序员也有同样的知识——但是为了确定，请在任何文档中添加注释。
【讨论】：
我发现阻止我的库的客户端按值错误捕获异常的两种可移植方法是
C++ 标准确实声明复制构造函数需要在抛出点可访问。我的配置中的 Visual C++ 8.0 通过不强制复制构造函数的存在违反了这部分标准。在第 15.1.3 节中：
throw 表达式初始化一个临时对象，其类型通过从 throw 操作数的静态类型中删除任何顶级 cv 限定符并从“T 数组”或“函数返回”中调整类型来确定T”分别指向“指向 T 的指针”或“指向返回 T 的函数的指针”。
如果除了执行与使用临时对象相关的构造函数和析构函数（12.2）之外，可以在不改变程序含义的情况下消除临时对象的使用，那么可以直接初始化处理程序中的异常使用 throw 表达式的参数。当抛出的对象是类对象，并且用于初始化临时副本的复制构造函数不可访问时，程序是非良构的（即使临时对象可以被消除）
此答案由 OP 发布到问题中，我将其从问题中删除并作为单独的答案发布。
【讨论】：
我会说不要使用任何内置的 C++ 异常代码。如果您必须有例外，请从头开始创建自己的例外。这是确保它们行为相似的唯一方法，更不用说以相似的方式实现了，而且直言不讳，C++ 中异常的实现是无能的。
【讨论】：