Question

我有一个类，其默认构造函数都超出了我的控制范围。我需要避免在某些条件下而不是在其他条件下构建它们。有什么我能做到的吗？

模式是这样的：

class A
{
public: 
    //ctor + dtor + methods
    A(); 
    ~A();
    // Data members beyond my control
    X1 x1;
    X2 x2;
    ...
    XN xn;
};

class B
{
public:
    B()
    {}

    // Data members
    A a;   // This instance of A is the issue
};

问题X1至XN完全超出我的控制范围。类A只是将x1打包到xn的类。我想在A中有条件地创建B的实例。现在问题是X1到XN的默认构造函数做了一些在某些条件下需要避免的东西而不是其他条件。因此，无论我是否构建A，B都会尝试使用A的默认构造函数创建一个X1，然后将XN的默认构造函数发送到{ {1}}。这是我需要避免的。

我目前正在使用宏来修复此问题，但想知道是否有更好的解决方案。

Answer 1

康拉德鲁道夫指出：

class B
{
public:
  B(bool create = false)
  {
    a = (create ? new A : NULL);
  }
  ~B()
  {
    delete a;
  }
private:
  A* a;
};

Answer 2

您可能希望使用类似boost :: optional的Nullable类型。这看起来像是：

class B {
public:
    B()
    {
        /*
         * Here, a has been default constructed and is empty
         * You can do computations here and then...
         */
        if(/* some elaborate condition*/) {
            a = A();
            /* access *a from here on */
        } else {
            /* anything you want */
        }
    }

private:
    boost::optional<A> a;
};

这回答了这个问题，但我认为如果你告诉你真正想要实现的目标，可以给出一个更合适的答案。我觉得这更像是一个设计问题而不是语言问题。扩展的想法如下。

在上面的'解决方案'中，else条款中的内容是什么？由于A显然只能构造为默认构造，因此不像你可以使用不同的构造函数调用。但是，如果您不初始化a，则会引入（圈复）复杂性，因为这意味着每个方法都必须检查a是否处于活动状态。或者你可以扔;然而，我会重构在函数中进行检查（或其他）的代码;私有静态方法或匿名/静态独立函数，如下所示：

namespace {
A
prepare_A()
{
    /* elaborate computations, possibly throw */
    return A();
    /*
     * if A had different constructors we could also conditionally
     * return an A(0) or whatever.
     */
}
} // namespace

B::B()
:
    a(prepare_A())
{
    /*
     * a is of type A, not boost::optional<A>
     */
}

但是，假设A是可复制的。如果情况并非如此，或者复制A是不可接受的，那么我认为第一个解决方案是可接受的，条件是类不变a的一部分永远不会为空。

如果我们知道A和B之间的关系，推荐一些内容会更容易。如果您想有条件地初始化它，为什么要在A中放置B成员？也许两者之间的首选关系不应该是聚合而是关联：指针成员（或者如果你对赋值运算符一样小心的引用成员）到A，例如：

class B {
public:
    explicit
    B(A& a_)
    /*
     * Important: not A const&,
     * we only want lvalues.
     * Contract on the caller: a must remain valid during
     * the lifetime of *this.
     */
    :
        a(&a_)
    {
        /*
         * class invariants: a != 0,
         * *a remains valid for the lifetime of B
         */
    }

private:
    A* a;
};

这样你就不会引入圈复杂度，也不关心A的构造方式和时间。合同给调用者增加了一点负担，但由于我们只能将lvalues传递给构造函数，因此很难被误用。

Answer 3

目前还不清楚你想避免使用哪种构造函数，但在任何一种情况下都可以使用union。

来自Stroustrup 4th ed：

如果union具有带有用户定义的构造函数，复制操作，移动操作或析构函数的成员，则该特殊函数将被删除（第3.3.4节，第17.6.4节）。也就是说，它不能用于联合类型的对象。

因此，如果您希望不在B中构建A，请使用：

class B {
public:
    B()
    {}

    // Data members
    union {
       A a;   // This instance of A is the issue
    };
};

C ++避免构造对象

3 个答案: