使用非默认构造函数初始化自定义类的继承类

Question

所以我到处搜索，似乎找不到这个特定问题的答案。我正在使用带有 cygwin 和 gcc 3.4.4 cygming special 的 winXP。

问题： 我有一个类作为接口工作，其中包含一些抽象方法和受保护的变量，这些变量应该存在于从该类继承的每个类中。现在我还有另一个类是这个接口的成员变量。

class Bar {
private:
    int y;
public:
    Bar(int why);
};

Bar::Bar(int why) : y(why) {}

class Foo {
protected:
    Bar b;
public:
    Foo(int x);
    virtual void print_base();
};

Foo::Foo(int x) : b(x+3)  // Have to use initializer list here.
{
    //this->b(x+3); // doesn't work
}

class DerFoo : public Foo {
protected:
    Bar db;
public:
    DerFoo(int x);
};

DerFoo::DerFoo(int x) : Foo(x), 
    db(x+3) // (Bar)(int) being called, works fine
    // db(4.0, 30) // no matching function for call to Bar::Bar(double, int)
    // note: candidates are Bar::Bar(const Bar&), Bar::Bar(int)
    // b(x-3) // doesn't work class DerFoo does not have any field named 'b'
{
    //this->b(x - 3); //  Doesn't work, error no match for call to (Bar)(int)
    //this->db(x + 3); // Doesn't work, error no match for call to (Bar)(int)
}

所以你看到的问题是在派生的 foo 类内部，DerFoo 如何初始化 b。我已经尝试过成员初始化方法，但是编译器没有意识到受保护的变量。那么由于我不知道的一些奇怪的原因，它在这个类中找不到构造函数。即使包含对受保护成员变量（非继承）的构造函数的“错误”调用，它也会建议构造函数的正确版本。

我仍然不知道如何做到这一点。非常感谢任何帮助。

Answer 1

声明一个变量后，你必须设置它，否则你会像调用函数一样调用它。

this->b = Bar(x+3);

首选方法是使用初始化列表来避免不必要的Bar 副本。但是，如果您这样做，则需要在构造函数之外设置 b 上面的示例是如何设置的。

Answer 2

DerFoo 的构造函数不能（也不能）初始化b，这是Foo 的工作。 DerFoo 的构造函数只负责初始化DerFoo 的直接子对象，即db 和Foo，它是DerFoo 的基类。 Foo的构造函数反过来负责初始化b。

事件的顺序是这样的：

• DerFoo的构造函数调用Foo的构造函数
• Foo 的构造函数调用b 的构造函数
• Foo 的构造函数运行它的主体，留下 Foo 对象完全构造
• DerFoo的构造函数调用db的构造函数
• DerFoo 的构造函数运行它的主体，使 DerFoo 对象完全构造。

如果在DerFoo 构造函数中，您不喜欢Foo 构造函数在b 中留下的值，您可以分配一个新值给b，使用这些语法中的任何一种：

b = Bar(47);
this->b = Bar(47);
this->Foo::b = Bar(47);
Foo::b = Bar(47);

Answer 3

我觉得这个问题不是很清楚，但让我们看看我是否理解你想要做什么以及如何做。

DerFoo::DerFoo(int x) : Foo(x), [a]
    db(x+3) 
    // db(4.0,30)          [1]
    // note: candidates are Bar::Bar(const Bar&), Bar::Bar(int)

    // b(x-3)              [2]
{
    //this->b(x - 3);      [3]
    //this->db(x + 3);     [4]
}

第一个错误是 [1]，编译器告诉你没有 Bar 的构造函数，它同时接受一个 double 和一个 int。该错误还列出了您可以使用的两个可能的构造函数：Bar(int)、Bar(Bar const &)。我不确定您对这条线的意图是什么，但您已经知道（上一行）只需提供 int 调用就可以工作。

[2] b 不是DerFoo 的成员，因此无法在DerFoo 的初始化列表中初始化。 Foo 负责初始化它自己的成员，这将通过调用 [a] 中的 Foo 构造函数来实现。

[3],[4]，两个表达式都采用this->member(i) 的形式。在初始化期间，语法member(i) 会很好，用i 的值初始化member。在初始化之外，语法意味着调用operator()( int ) 传递i 的值。这些成员已经被初始化，但如果你想重置它们，你需要assign而不是初始化它们。

Answer 4

b 在 Foo 类中。访问它（肯定）使用

Foo::b = Bar(x-3);

Answer 5

您没有必须使用初始化列表，此时您肯定也应该使用初始化列表。

在构造对象时，在输入构造函数的代码之前，所有成员变量都已经构造好了。如果你不提供初始化器，它们将被默认构造。

同样你不能在已经构造变量之后再次构造它。你的

this->b(x+3)

不是告诉编译器构造b，而是告诉它在你的对象上调用一个名为b的函数。您的类中不存在这样的函数，因此出现错误。请注意，一旦将对象构造为变量，就无法再次调用该变量的构造函数（仅更改值）。

可以像在大多数语言中一样使用= 更改值。因此你可以这样做：

Foo::Foo(int x)
{
   this->b = Bar(x+3);
}

这意味着您正在创建另一个无名 Bar 对象并将其值分配给 this->b。您应该知道，这意味着，在创建Foo 时，您将创建两个Bar 对象。首先是默认构造的，之前。输入构造函数代码，然后输入新的无名代码。然后你最终将值分配给已经构造的对象，所以这段代码比使用初始化列表的代码效率低得多。

编辑：

因为我错过了上面代码中的第二个doesn't work，所以这里有一些额外的信息：

您还尝试在派生的DerFoo 对象的构造函数中直接初始化b。但是，一旦达到这部分代码，它就已经被构造了。因此，任何在派生构造函数中构造它的尝试都为时已晚。

因此，您要么必须向Foo 添加另一个构造函数，该构造函数获取值并在DerFoo 的构造函数中使用该构造函数。此解决方案更可取，因为它只会在b 中构造Bar 对象一次。如果不能添加这样的构造函数，则需要在构造函数代码中对DerFoo使用赋值。

即使使用范围运算符，尝试直接在 DerFoo 构造函数中初始化 b 也不会起作用。

DerFoo::DerFoo() : Foo::b(x-3) {}

仍然会产生错误：http://ideone.com/6H8ZD