构造函数？

kj501

[quote]原帖由 "gvim"]kj501当我看到那段E文的时候，理解和你一样。呵呵，后来才发现那个V其实是特指的代码段里面的那个V而不是泛指的“类”[/quote 发表：

呵呵，深有同感！ 我估计可能还有不少人要掉到这个陷阱里。

playmud

class A
{
A(){cout<<"A"<<endl;}
}

class b
{
public:
   A a;
  b(){cout<<"b"<<endl;}
}

playmud

If a member class object is not present in the member initialization list but has an associated default constructor, that default constructor must be invoked.

Prior to that, if there is a virtual table pointer (or pointers) contained within the class object, it (they) must be initialized with the address of the appropriate virtual table(s). j

这两句你看看那实现初始化vptr还是先调用constructor?

gvim

我的原话是这样的：
编译器合成的构造函数，1 负责调用基类的缺省构造函数（如果基类有缺省构造函数的话），2 负责正确初始化虚函数表的指针，并添加进类的相应域中。

我并没有告诉你“那实现初始化vptr还是先调用constructor”，如果你真的不理解，好吧。

假设有这样的关系。

1. 
   
2. class C
   
3. {
   
4.     virtual void fc() =0;
   
5.     C()
   
6.     {
   
7.     }
   
8. };
   
9. 
   
10. class B:public C
    
11. {
    
12.     B(){}
    
13. };
    
14. 
    
15. class A:public B
    
16. {
    
17. };
    
18. 
    
19. 这里A没有提供缺省构造函数，所以编译器提供。并且扩展A的构造函数为：
    
20. A::A()
    
21. {
    
22.     vptr=...//设定虚函数表
    
23.    C();
    
24.      B();
    
25. }
    

复制代码

vptr是编译器合成出来的构造函数A()负责初始化的，C()和B()是编译器合成出来的构造函数A()负责调用的。
还不理解，请看书。

playmud

这里A没有提供缺省构造函数，所以编译器提供。并且扩展A的构造函数为：
A::A()
{
    vptr=...//设定虚函数表
   C();
     B();
}

这是你自己想的,实际上不是这样的,而且你想的这个也是不可行的.
首先你合成出来的这个是错误的,其次vptr也不是在这里初始化的,这种显示的调用构造函数是不好的

1. 
   
2. #include <iostream>;
   
3. 
   
4. using namespace std;
   
5. class A
   
6. {
   
7. public:
   
8.     int i;
   
9.     A():i(10){cout<<i<<endl;size();}
   
10.     virtual void size(){cout<<sizeof(A)<<endl;}   
    
11. };
    
12. 
    
13. class B :public A
    
14. {
    
15.     public:
    
16.         int j;
    
17.         //B():j(20){A();cout<<i<<","<<j<<endl;size();}//显式的调用构造函数不是系统会构造出来的.
    
18.         B():A(),j(20){cout<<i<<","<<j<<endl;size();}//符合初始化的程序
    
19.         virtual void size(){cout<<sizeof(B)<<endl;}
    
20. };
    
21. int main()
    
22. {
    
23.     B b;
    
24.     system("pause");
    
25. }
    

复制代码

你可以去掉注释,把下面那个构造函数注释,看看结果.

playmud

所以我说
编译器合成的构造函数既不负责调用基类的缺省构造函数（如果基类有缺省构造函数的话），也不负责正确初始化虚函数表的指针，并添加进类的相应域中。
我说的先后顺序也是为了说明这一点.

gvim

晕，你太有创意了，怎么能这样理解啊。
首先，我的那些是伪代码，不是真正执行的代码。其次我在A类里面没有提供A()，那个A()是编译器合成出来的，那种调用手法是编译器将C++转换为C以后的内部调用手法，也不是人可以干预的。

我再最后强调一次，就算你提供了构造函数，并不是编译器就一定按照你的显示构造函数调用，它按照它自己的需要（不是程序员的需要）往里面添加代码，完成必要的初始化动作。另一方面，你没有提供构造函数的时候，编译器按照它的需要为你合成构造函数（也可能不需要），然后再完成它需要的初始化动作。

playmud

原帖由 "gvim" 发表：
晕，你太有创意了，怎么能这样理解啊。
首先，我的那些是伪代码，不是真正执行的代码。其次我在A类里面没有提供A()，那个A()是编译器合成出来的，那种调用手法是编译器将C++转换为C以后的内部调用手法，也不是人可?.........

我同意你后面的那一句,前面哪句好像是c++很久以前的事情?

converse

原帖由 "converse" 发表：


是呀，think一书就是这样写的呀：
If any constructors are defined, however, and there’s no default constructor, the instances of V above will generate compile-time errors.
（粗译如下）如果没有定?.........

FT,我自己翻译错了，应该是如果定义了构造函数而没有定义缺省构造函数的话就会出错。

playmud

不过我还是坚持vptr初始化先于构造函数的调用.