C++ 使用参数委派 ctor 和父 ctor

Question

这似乎在 C++11 中不起作用：

class B : public A
{
  public:
    B(const A& a)
        : A(a)   // parent constructor for passing the parameter
        , B()    // delegating constructor for init of other members
    {};
  // ...
};

gcc 告诉我an initializer for a delegating constructor must appear alone。

如何既调用带参数的父类的构造函数，又调用B类的基本构造函数？ （我在 B 中有一堆需要相同行为的其他构造函数）。

现在我正在考虑编写一个私有 B::init() 函数并在所有构造函数体中使用它，但这有点 C++03 的味道。

首选的解决方案是什么？

Answer 1

我认为委托的首选方式是相反的，它不是用来重构构造函数的公共部分，而是将更简单的部分定义为更复杂情况的特例。

所以你应该从B(const A& a) 开始并将其用作委托目标。

class B : public A
{
  public:
    B() : B(A());
    B(const A& a) : A(a)   // parent constructor for passing the parameter
    {};
};

在创建B 时，无论如何您都在调用A()。

其背后的基本原理是，当您有两个“部分专业化”的 c'tors 时，您将无法使用它们来初始化复杂的 c'tors。例如：

class B : public A
{
  public:
    B() {};
    B(int) : B() {};
    B(double) : B() {};
    B(double,int) : B(int), B(double) {}; // can't do it.
};

我相信在 Bathsheba 的回答中解释了技术原因。看看如果你在B()中有一个共同的部分会发生什么：

class B : public A
{
  public:
    B() {};
    B(int) : B() {};
    B(double) : B() {};
    B(double,int) : B(int), B(double) {}; //ooops would get B() called twice!
};

这是从继承中知道的钻石问题。解决办法就是把逻辑颠倒过来。

class B : public A
{
  public:
    B() : B(0,0) {};
    B(int a) : B(a,0) {};
    B(double d) : B(0,d) {};
    B(double a, int d) {/*full implementation*/};
};

Answer 2

B(const A& a) : A(a), B() 没有意义，因为B() 将也初始化基类A。这本质上是一个重复的初始化，这是一个固有的矛盾。

如果您使用委托构造函数，该语言唯一真正的选择是禁止其他任何事情。这就是你的编译器告诉你的。