c++ - 当参数在初始化列表时不可用时如何初始化成员对象？

Question

目前的结构是这样的

class B {
  //no default constructor
  //this is a class in a third-party library, can't be modified
  B(Lots ofData, AndOther arguments);
}

class A {
  B b;

  A(some_parameters){
     //Do a lot of stuff with those parameters, make Results
     B b(Results, Results); //ERROR
  }
}

所以，我需要在 B 上调用构造函数，但我没有足够早的信息来在初始化列表中执行此操作。稍后如何调用 B 上的构造函数？因为 B 没有简单的构造函数，所以我也无法使用一些愚蠢的默认值进行精确初始化并在以后覆盖它。

我无法更改 B 类。

Answer 1

如果B有一个复制/移动构造函数，你可以简单地创建一个函数返回一个 B并使用它来初始化成员，如下所示:

B makeB(some_parameters) {
    //Do a lot of stuff with those parameters, make Results
    return B(Results, Results);
}

class A {
    B b;

    A(some_parameters)
      : b(makeB(some_parameters))
    {
    }
};

如果复制/移动 B进入你的成员不是一个选项，那么一个简单的解决方案就是只分配 B对象动态。这样你就可以将所有“很多东西，产生结果”移动到一个函数中

#include <memory>

std::unique_ptr<B> makeB(some_parameters) {
    //Do a lot of stuff with those parameters, make Results
    return std::make_unique<B>(Results, Results);
}

class A {
    std::unique_ptr<B> b;

    A(some_parameters)
      : b(makeB(some_parameters))
    {
    }
};

如果你想要你的 B直接住在A里面对象，你可以使用 std::optional<B> 或稍后放置对象的未命名 union :

#include <memory>

class A {
    union {
        B b;
    };

    A(some_parameters) {
        //Do a lot of stuff with those parameters, make Results
        new (&b) B(Results, Results);
    }

    ~A() {  // this is only needed if B has a non-trivial destructor
        b.~B();
    }
};