问一个类继承时关于虚函数的问题

biansj

1. 
   
2. #include <iostream>;
   
3. #include <string>;
   
4. 
   
5. using namespace std;
   
6. class B
   
7. {
   
8.         public:
   
9.                 B():b_("Base Class")
   
10.                 {
    
11.                         init();
    
12.                 }
    
13.                 virtual void init()
    
14.                 {
    
15.                         cout<<"In class B's init!\n";
    
16.                         cout<<b_<<endl;
    
17.                 }
    
18.         private:
    
19.                 string b_;
    
20. };
    
21. 
    
22. class D : public B
    
23. {
    
24.         public:
    
25.                 D():d_("Derive Class")
    
26.                 {
    
27.                 }
    
28.                 void init()
    
29.                 {
    
30.                         cout<<"In class D's init!\n";
    
31.                         cout<<d_<<endl;
    
32.                 }
    
33.         private:
    
34.                 string d_;
    
35. };
    
36. 
    
37. main()
    
38. {
    
39.         B *b;
    
40.         b=new D;
    
41.         // Out is :
    
42.         // In class B's init!
    
43.         // Base Class
    
44.         // Why not:
    
45.         // In class D's init!
    
46.         // Derive Class
    
47.         return 0;
    
48. }
    

复制代码

这是怎么回事，高人帮我解释解释，能不能还有其他方法实现？

biansj

是我没写清楚，还是我提的问题太简单？

怎么没人回答我。   

zhuxa

if you chang class D::init() ==>; virual void init() 就可以了。因为base class calling init() is B::init() .

biansj

[quote]原帖由 "zhuxa"]if you chang class D::init() ==>; virual void init() 就可以了。因为base class calling init() is B::init() .[/quote 发表：


D::init()不用声明virtual它就是virtual，因为基类中已经声明过了。你可以按照你的方法试一试，还是不对。

zhuxa

主要是在构造base类时，编译器所能见到的虚函数是base::init()，在构造base class 之后，接着构造derive class 时，编译器见到derive::init()时
如果init() 是虚函数，就把base::init() 替换成derive::init();

biansj

你的意思是改成这样，这个我上边写那个是一样的！

1. 
   
2. #include <iostream>;
   
3. #include <string>;
   
4. 
   
5. using namespace std;
   
6. class B
   
7. {
   
8.    public:
   
9.       B():b_("Base Class")
   
10.       {
    
11.          init();
    
12.       }
    
13.       virtual void init()
    
14.       {
    
15.          cout<<"In class B's init!\n";
    
16.          cout<<b_<<endl;
    
17.       }
    
18.    private:
    
19.       string b_;
    
20. };
    
21. 
    
22. class D : public B
    
23. {
    
24.    public:
    
25.       D():d_("Derive Class")
    
26.       {
    
27.       }
    
28.       virtual void init()
    
29.       {
    
30.          cout<<"In class D's init!\n";
    
31.          cout<<d_<<endl;
    
32.       }
    
33.    private:
    
34.       string d_;
    
35. };
    
36. 
    
37. main()
    
38. {
    
39.    B *b;
    
40.    b=new D;
    
41.    // Out is :
    
42.    // In class B's init!
    
43.    // Base Class
    
44.    // Why not:
    
45.    // In class D's init!
    
46.    // Derive Class
    
47.    return 0;
    
48. }
    

复制代码

这样子输出的依然是基类的init，我想要得到派生类的init，大哥，你再仔细看看我的意思。

如果直接调用b->;init()当然是调用的派生类中的init()。

我问的是在基类的构造函数中调用init()为什么不被替换为d::init()。

pcerma

这个问题很简单啊，
根本没有涉及到虚函数的问题。

在new D;的时候，先调用父类B的构造函数，那么就打出了
In class B's init!
   Base Class
然后在回到D的构造函数，
在D的构造函数里面没有执行代码，
所以就只打出了上面的两行代码


－－－－－－－－－－－－－－－－－－－－－－－－－－－－
革命尚未成功，同志还需要努力！

biansj

我现在就是想在B类构造时能够调用D的init()，由于init()是虚函数，是动态绑定，故我想在B *ptr=new D时能够动态绑顶init()，如果在构造时不能实现，我只好在B *ptr=new D后，再调用ptr->;init()来调用D::init()了。

但是我不明白为什么在B的构造时不能够动态绑定。   

雷斯林

当new D的时候，首先要调用父类的构造函数，但这个时候类D的对象并不存在，从编译器的角度看是不可能知道到底是什么样的子类构造引起的父类对象构造，但却必须调用一个实际存在的函数，而它能确定的只有B::init()。如果B::init()是个纯虚函数的话，应该会报错。虚函数在实现的时候可能会象函数指针一样指向某个地方，但这种指向也是需要初始化的，你想让父类的init()指向子类的init()，但因为子类对象还不存在，所以是不可能的。一般而言，不要在构造函数里调用虚函数。

biansj

[quote]原帖由 "雷斯林"]当new D的时候，首先要调用父类的构造函数，但这个时候类D的对象并不存在，从编译器的角度看是不可能知道到底是什么样的子类构造引起的父类对象构造，但却必须调用一个实际存在的函数，而它能确定的只有B::init()。?.........[/quote 发表：


噢，明白了，只有一个实例真正构造完成时，才可以用它的虚函数，在构造期间时还没有形成。

谢谢了。