初始化列表中基类构造函数调用派生类函数

[M7Heaven]

#include <iostream>

using std::cout;
using std::endl;

class Base
{
public:
    Base(int para)
    {
        a = para;
        cout << "Base::a = " << a << endl;
    }
private:
    int a;
};

class Derive : public Base
{
public:
    int foo()
    { 
        cout << "Derived::foo() return 0" << endl;
        return 0;
    }
    Derive() : Base(foo()) {}
};

class Derive2 : public Base
{
public:
    int foo()
    { 
        cout << "Derive2::foo() return " << a << endl;
        return a;
    }
    Derive2() : a(0), Base(foo()) {}
private:
    int a;
};

int main(void)
{
    Derive cld;
    Derive2 cld2;
    //Base *bptr = new Derive;      
    //bptr->foo();        //error: Base has no member named foo


    return 0;
}

问题：
g++编译器进行编译没有报错，能执行
为什么Base能调用派生类定义的函数foo()进行初始化，base初始化的时候
派生类部分不是还不存在吗，怎么能调用foo(),而且foo()中还有派生类中才声明的变量a

请各位解释解释～

[M7Heaven]

我也不认为是正确的，本来以为编译会报错，但是却通过了 我的问题是为什么base的构造函数能够以derive中定义的函数的返回值作为参数 这是高不明白的地方

[nightkids_008]

c++对象模型里 第几章忘了 你可以去看看有写关于这个的 lippman会告诉你为什么

[taodm]

能执行就是正确么？

[mujiok2003]

怪异的行为,

引用

派生类部分不是还不存在吗，怎么能调用foo(),而且foo()中还有派生类中才声明的变量a

行为未定义

[dyw]

运行结果也正确？你糊弄编译器，编译器也会糊弄你。

[SKATE11]

引用 3 楼 dyw 的回复:

运行结果也正确？你糊弄编译器，编译器也会糊弄你。

++

[云斜月]

引用 3 楼 dyw 的回复:

运行结果也正确？你糊弄编译器，编译器也会糊弄你。

楼上正解，编译可以通过，不太表就是正确的，比如返回一个局部变量的地址。

[truth34]

理论上是行为未定义的，但是可能由于 foo() 中，没有引用当前类的成员的原因，所以编译器实现上不会有错。 如果现实项目中有这种需求，foo()可定义成static。

[lm_whales]

这又不是虚函数，而且也没有使用成员变量，编译通过也属于正常。 但是，这种代码，如果需要修改就麻烦了。 修改后的代码； 可能会引用成员变量； 但是父类，会首先初始化。 这时成员变量，还没有初始化。 这就成问题了。 也许下一个标准，这种就是错误了。 未定义行为，编译器不一定，都去检查。

[todd_leftcode]

这叫个啥“基类构造函数调用派生类函数”？ 这根本就是在派生类构造函数里嘛！ 当构造一个类实例时， 调用这个类的构造函数，这个构造函数首先调用基类的构造函数。楼主的代码中，派生类构造函数在调用基类构造函数时传了个参数给基类构造函数，而传的这个参数是调用foo函数的结果(这里是派生类构造函数调用foo，而不是基类构造函数，基类都不知道foo是个啥玩)，而foo函数不访问this，也就无所谓“派生类部分不是还不存”的问题了。 当然这个代码这样写确实不好看，foo确实应该写成一个静态函数。另外Drive2的初始化列表中应该先写Base再写a， 这个在一些新版本的编译器中会有警告。

[cjfdqchwhj]

我看了一下楼主的代码： 首先，你这根本就不是“基类构造函数调用派生类函数” 其次，光看代码，没看出有什么会出错的地方