C++类:是否可以在构造函数主体中选择成员的构造函数?(无需双重初始化成员)



考虑一下:

class Foo {
    private:
        Bar x;
    public:
        Foo(int a) { // no initialization here since constructor is dependent on a following if-block
            if (a==0) x=Bar(12,'a', 34);  // some (int, char, int) constructor of Bar
            else x=Bar(13); // (int) constructor of Bar
      }
}

这应该做的是检查参数 a 的值,并根据 a 的值使用某个构造函数和某些参数初始化柱 x。然而,问题是,这当然被编译器读取为

        Foo(int a): Bar() { // !
            if (a==0) x=Bar(12,'a', 34);  // some Bar(int, char, int) constructor of Bar
            else x=Bar(13); // Bar(int) constructor of Bar
        }

编译器将 Bar() 添加到初始化列表中,因为我省略了它。它现在被双重初始化,一次使用其 () 构造函数,一次在函数体中。但是,如果初始化 Bar(即使使用其默认构造函数)非常昂贵(关于性能)并且我不能或不想要这种双重初始化怎么办?

我怎么能不初始化 x 柱线,直到在实际的构造函数主体中?如果不可能,我将如何最好地解决此问题?

补充一点:为什么C++以这种方式设计?为什么它会在实际构造函数体之前强制初始化成员?

我认为你问错了问题,而不是试图禁止初始化,你应该这样做,即将你的ctor拼写为:

Foo(int a) : x((a==0) ? Bar(12,'a', 34) : Bar(13)) {}

这不会导致任何复制或移动(见这里),并且是惯用的。

不,你不能。成员保证在 ctor 正文中时被初始化。

整个初始化顺序明确定义为:

  • 首先,派生最多的类的构造函数调用虚拟基类子对象的构造函数。虚拟基类按深度优先、从左到右的顺序进行初始化。
  • 接下来,直接基类子对象按照它们在类定义中声明的顺序构造。
  • 接下来,(非静态)成员子对象按其顺序构造在类定义中声明。
  • 最后,执行构造函数的主体。

您可以将x设为std::unique_ptr<Bar>,然后在 ctor 中根据需要分配它。

C++是这样设计的,以便构造函数实际构造和初始化事物,而不是让你搬起石头砸自己的脚。

尽管如此,从C++11开始,现在可以使用一种后门脚射击技术:匿名工会的成员不会被构建,除非你明确构建它们。代码将是:

class Foo
{
    union 
    {
        Bar x;
    };
public:
    Foo(int a)
    {
        if (a==0) 
            new(&x) Bar(12,'a', 34);
        else
            new(&x) Bar(13);
    }
    ~Foo()
    {
         x.~Bar();
    }
};

需要明确的是,这确实应该是最后的手段。编译器生成的复制构造函数、移动构造函数等被定义为已删除,因此如果您希望这些操作可用,您也需要实现它们。

内存方面比匿名联合解决方案略贵,但更不容易出错,并且不会产生额外的复制/移动或动态分配。

class Foo {
    private:
        std::experimental::optional<Bar> x;
    public:
        Foo(int a) {
            if (a==0) x.emplace(12,'a', 34);  // some (int, char, int) constructor of Bar
            else x.emplace(13); // (int) constructor of Bar
      }
};

此外,在这种情况下,x将用作指针:x->some_Bar_function()some_function_taking_a_Bar(*x)

下面是使用委托构造函数的解决方案:

class Foo
{
    Bar b;
    Foo( Bar b ): b(std::move(b)) { }
public:
    Foo(int a): Foo( a ? Bar(13) : Bar(12, 'a', 34) ) {}
};

在委派期间创建所需的对象,然后调用采用Bar的构造函数。 如果你想允许任何人从酒吧构造一个Foo,那么你可以公开这个构造函数。

最新更新