通过在构造函数主体之前抛出异常来防止构造

Question

C ++

我想一个类来throw它的构造身体的左大括号之前的异常{使用其自己的成员函数，以防止施工。 我定义了一个成员函数，其目的只是为了无条件地throw异常，它具有一个任意选择的非void返回类型和一个与该返回类型相匹配的伪数据成员，因此我可以通过构造该数据成员来触发throw构造函数初始化器列表中对所述成员函数的调用。 这是可行的，但不是很优雅，因为在非玩具类中，哑变量没有其他目的，而只能为成员函数的运行提供借口，而成员函数的非void返回类型则除其他目的外，没有其他目的。有一个借口可以被相同类型的伪数据成员的构造函数调用。

该玩具可以编译，但不美观：

class Toy
{
public:
    Toy() : dummy(preventer()) {}
private:
    int dummy;
    int preventer() {throw -1; return 0;}
};

#include <iostream>

int main()
{
    try
    {
        Toy t;
    }
    catch (const int& e)
    {
        std::cout << "caught the exception\n";
    }
    return 0;
}

控制台输出：

caught the exception

没有虚拟变量，有没有办法在构造函数主体的左花括号{之前抛出异常？

Answer 1

是的，您可以使用基类而不是数据成员，然后调用基类的构造函数。

请注意，旧版本的GNU调试器gdb （几年前）无法在此类异常时中断。

但是，可以在Visual C ++上正常工作，而且我相信也可以在GNU工具链的现代版本中使用。

Answer 2

您可以像下面这样避免函数的伪返回值：

bool called = (function(), true);

右边两个表达式之间的逗号运算符依次评估这些表达式，并丢弃除最后一个结果以外的所有结果。 但我想知道的是为什么您坚持在花括号打开之前这样做。 您究竟想在这里实现什么，而把功能作为身体的第一件事却无法实现？

请注意，如果您想尽早中止，那么在单独的基类中进行此操作（可以在其中使用私有继承）可能是最好的解决方案。 这是唯一允许您阻止其他基础构造的解决方案，而您的解决方案则不允许这样做。