Question

假设我有一个没有默认构造函数的类A，一个工厂方法factoryA 返回类型为A的对象，以及以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)) { };

如果factoryA大于0，则调用带有参数值true的函数j，否则调用false，并使用_a初始化成员{{1}}该电话返回的值。

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构造函数。

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

3 个答案: