防止在无效的派生类初始化程序上调用基类构造函数

Question

考虑以下示例，其中Derived 类的构造在其构造函数的初始值设定项列表中采用了一个指针。当然我要检查这个指针是否有效，否则抛出异常。

我的尝试阻止了程序崩溃，但 Base 部分仍然在我可以抛出异常之前构建。

有没有办法防止在这种情况下调用 Base 类构造函数？

#include <stdlib.h>
#include <iostream>

class Base
{
public:
    Base(int val) : val_b(val)
    {
        std::cout << "Base::CTOR" << std::endl;
    }
    ~Base() { }

    int val_b;
};

class Derived : public Base
{
public:
    Derived(int *, int);
    ~Derived() { }

    int val_d;

    void print(void)
    {
        std::cout << "Base:\t" << val_b << std::endl;
        std::cout << "Derived:" << val_d << std::endl;
    }

};

Derived::Derived(int *val1, int val2) : Base(val1 ? *val1 : -1), val_d(val2) 
{
    if (!val1)
    {
        throw std::invalid_argument("bad pointer");
    }
}

int main()
{
    int *a = NULL;  
    int b = 43;

    try 
    {
        Derived *d = new Derived(a, b);
        d->print();
    }
    catch (std::exception &e)
    {
        std::cout << "Exception: " << e.what() << std::endl;
    }

    return 0;
}

Answer 1

您可以在调用 Base 构造函数之前调用函数/lambda：

Derived::Derived(int *val1, int val2) :
    Base([&](){
        if (!val1) {
            throw std::invalid_argument("bad pointer");
        }
        return *val1;
    }()),
    val_d(val2) 
{
}

Answer 2

我不明白您为什么想要它，但无论如何您是否尝试过在 Base ctor 而不是 Derived ctor 中失败？

class Base
{
public:
    Base(int *val)
    {
        if (!val)
        {
            throw std::invalid_argument("bad pointer");
        } 
        val_b = val;
        std::cout << "Base::CTOR" << std::endl;
    }
    ~Base() { }

    int val_b;
};

Answer 3

也许我误解了你的问题，但请考虑这个简化的例子：

#include <iostream>

struct Base {
    ~Base() { std::cout <<"destructor";}
};
struct Foo : Base {
    Foo() : Base() {
        throw 1;
    }
};
int main()
{
    try {
        Foo f;
    } catch(...){}
}

输出是：

destructor

我的尝试阻止了程序崩溃，但在我抛出异常之前仍然构建了 Base 部分。

这不是问题。与往常一样，堆栈被展开并且Foo 的Base 部分被正确销毁。我认为您的代码没有任何问题（在严重损坏的意义上，尽管设计值得商榷）。如果构造失败并且您在构造函数的主体中抛出异常，则清理已经构造的内容是您能做的最好的事情。