没有默认构造函数的类成员

Question

假设我有一个没有默认构造函数的类A，一个返回类型A的对象的工厂方法factoryA，以及一个以A作为其成员的类B. 我知道在这种情况下，B类型的成员必须在B的构造函数初始化列表中初始化。 我并不完全清楚为什么如果有人可以向我解释这将是伟大的。 另外，如果A的构造函数的参数需要在B的构造函数内部计算，比如通过查询数据库或者那种性质的东西，该怎么办？ 有没有办法使用下面的设置，而不提供A与默认构造函数？ 提前致谢。

class A {
private:
  int _i;
public:
  A(int i) : _i(i) {} 
};

A factoryA(bool b) {
  if(b)
    return A(1);
  else return A(2);
}

class B {
private:
  A _a;
public:
  B(int j) {
    if(j > 0)
      _a = factoryA(true);
    else _a = factoryA(false);
  }
};

Answer 1

在进入构造函数的主体（花括号之间的部分）之前，始终会初始化成员对象。 如果您没有在初始化列表中提及成员，则会默认构造它。 所以提一下吧！

B::B(int j) : _a(factoryA(0 < j)) { };

如果j大于0，则调用函数factoryA ，参数值为true ，否则调用false ，并使用该调用返回的值初始化成员_a 。

Answer 2

我并不完全清楚为什么如果有人可以向我解释这将是伟大的。

对于类[*]， _a = factoryA(true); 行调用_a.operator=(factoryA(true)) 。 在_a上调用成员函数需要_a已经初始化。 因此，如果它不是编译时错误，它仍然无效。

另外，如果A的构造函数的参数需要在B的构造函数内部计算，比如通过查询数据库或者那种性质的东西，该怎么办？ 有没有办法使用下面的设置，而不提供A与默认构造函数？

只要A具有复制或移动构造函数，就可以使用函数返回值对其进行初始化，并且该函数可以执行任何您想要的操作，甚至根据提供的参数使用不同的A构造函数。

class B {
private:
  A _a;
  static A getA(int i);
public:
  B(int j) : _a(getA(j)) {
  }
};

A B::getA(int j)
{
  if (j > 0)
    return factoryA(true);
  else
    return factoryA(false);
}

[*]我知道，也有例外。

Answer 3

在这种情况下，最好使用指向A的指针，即A * _a，然后在任何地方调用A构造函数。