C++ virtual 使用

Virtual是C++ OO机制中很重要的一个关键字。只要是学过C++的人都知道在类Base中加了Virtual关键字的函数就是虚拟函数（例如函数print），于是在Base的派生类Derived中就可以通过重写虚拟函数来实现对基类虚拟函数的覆盖。当基类Base的指针point指向派生类Derived的对象时，对point的print函数的调用实际上是调用了Derived的print函数而不是Base的print函数。这是面向对象中的多态性的体现。（关于虚拟机制是如何实现的，参见Inside the C++ Object Model ，Addison Wesley 1996）
class Base
{
public:Base(){}
public:
       virtual void print(){cout<<"Base";}
};
 
class Derived:public Base
{
public:Derived(){}
public:
       void print(){cout<<"Derived";}
};
 
int main()
{
       Base *point=new Derived();
       point->print();
}

Output：
Derived 
这也许会使人联想到函数的重载，但稍加对比就会发现两者是完全不同的：
（1）       重载的几个函数必须在同一个类中；
覆盖的函数必须在有继承关系的不同的类中
（2）       覆盖的几个函数必须函数名、参数、返回值都相同；
重载的函数必须函数名相同，参数不同。参数不同的目的就是为了在函数调用的时候编译器能够通过参数来判断程序是在调用的哪个函数。这也就很自然地解释了为什么函数不能通过返回值不同来重载，因为程序在调用函数时很有可能不关心返回值，编译器就无法从代码中看出程序在调用的是哪个函数了。
（3）       覆盖的函数前必须加关键字Virtual；
重载和Virtual没有任何瓜葛，加不加都不影响重载的运作。
 
关于C++的隐藏规则：
我曾经听说过C++的隐藏规则：
（1）如果派生类的函数与基类的函数同名，但是参数不同。此时，不论有无virtual
关键字，基类的函数将被隐藏（注意别与重载混淆）。
（2）如果派生类的函数与基类的函数同名，并且参数也相同，但是基类函数没有virtual
关键字。此时，基类的函数被隐藏（注意别与覆盖混淆）。
#include <iostream.h>
class Base
{
public:
virtual void f(float x){ cout << "Base::f(float) " << x << endl; }
void g(float x){ cout << "Base::g(float) " << x << endl; }
void h(float x){ cout << "Base::h(float) " << x << endl; }
};
 
class Derived : public Base
{
public:
virtual void f(float x){ cout << "Derived::f(float) " << x << endl; }
void g(int x){ cout << "Derived::g(int) " << x << endl; }
void h(float x){ cout << "Derived::h(float) " << x << endl; }
};
 
void main(void)
{
Derived d;
Base *pb = &d;
Derived *pd = &d;
// Good : behavior depends solely on type of the object
pb->f(3.14f); // Derived::f(float) 3.14
pd->f(3.14f); // Derived::f(float) 3.14
// Bad : behavior depends on type of the pointer
pb->g(3.14f); // Base::g(float) 3.14
pd->g(3.14f); // Derived::g(int) 3 (surprise!)
// Bad : behavior depends on type of the pointer
pb->h(3.14f); // Base::h(float) 3.14 (surprise!)
pd->h(3.14f); // Derived::h(float) 3.14
}
 
bp 和dp 指向同一地址，按理说运行结果应该是相同的，而事实上运行结果不同，所以他把原因归结为C++的隐藏规则，其实这一观点是错的。决定bp和dp调用函数运行结果的不是他们指向的地址，而是他们的指针类型。“只有在通过基类指针或引用间接指向派生类子类型时多态性才会起作用”(C++ Primer 3rd Edition)。pb是基类指针，pd是派生类指针，pd的所有函数调用都只是调用自己的函数，和多态性无关，所以pd的所有函数调用的结果都输出Derived::是完全正常的；pb的函数调用如果有virtual则根据多态性调用派生类的，如果没有virtual则是正常的静态函数调用，还是调用基类的，所以有virtual的f函数调用输出Derived::，其它两个没有virtual则还是输出Base::很正常啊，nothing surprise! 
所以并没有所谓的隐藏规则，虽然《高质量C++/C 编程指南》是本很不错的书，可大家不要迷信哦。记住“只有在通过基类指针或引用间接指向派生类子类型时多态性才会起作用”。
 
纯虚函数：
C++语言为我们提供了一种语法结构，通过它可以指明，一个虚拟函数只是提供了一个可被子类型改写的接口。但是，它本身并不能通过虚拟机制被调用。这就是纯虚拟函数（pure
virtual function）。 纯虚拟函数的声明如下所示：
class Query {
public:
// 声明纯虚拟函数
virtual ostream& print( ostream&=cout ) const = 0;
// ...
};
这里函数声明后面紧跟赋值0。
包含（或继承）一个或多个纯虚拟函数的类被编译器识别为抽象基类。试图创建一个抽象基类的独立类对象会导致编译时刻错误。（类似地通过虚拟机制调用纯虚拟函数也是错误的例如）
// Query 声明了纯虚拟函数
// 所以, 程序员不能创建独立的 Query 类对象
// ok: NameQuery 中的 Query 子对象
Query *pq = new NameQuery( "Nostromo" );
// 错误: new 表达式分配 Query 对象
Query *pq2 = new Query;
抽象基类只能作为子对象出现在后续的派生类中。
 
如果只知道virtual加在函数前，那对virtual只了解了一半，virtual还有一个重要用法是virtual public，就是虚拟继承。虚拟继承在C++ Primer中有详细的描述，下面稍作修改的阐释一下：
在缺省情况下C++中的继承是“按值组合”的一种特殊情况。当我们写
class Bear : public ZooAnimal { ... };
每个Bear 类对象都含有其ZooAnimal 基类子对象的所有非静态数据成员以及在Bear中声明的非静态数据成员类似地当派生类自己也作为一个基类对象时如：
class PolarBear : public Bear { ... };
则PolarBear 类对象含有在PolarBear 中声明的所有非静态数据成员以及其Bear 子对象的所有非静态数据成员和ZooAnimal 子对象的所有非静态数据成员。在单继承下这种由继承支持的特殊形式的按值组合提供了最有效的最紧凑的对象表示。在多继承下当一个基类在派生层次中出现多次时就会有问题最主要的实际例子是iostream 类层次结构。ostream 和istream 类都从抽象ios 基类派生而来，而iostream 类又是从ostream 和istream 派生
class iostream :public istream, public ostream { ... };
缺省情况下，每个iostream 类对象含有两个ios 子对象：在istream 子对象中的实例以及在ostream 子对象中的实例。这为什么不好？从效率上而言，存储ios 子对象的两个复本，浪费了存储区，因为iostream 只需要一个实例。而且，ios 构造函数被调用了两次每个子对象一次。更严重的问题是由于两个实例引起的二义性。例如，任何未限定修饰地访问ios 的成员都将导致编译时刻错误：到底访问哪个实例？如果ostream 和istream 对其ios 子对象的初始化稍稍不同，会怎样呢？怎样通过iostream 类保证这一对ios 值的一致性？在缺省的按值组合机制下，真的没有好办法可以保证这一点。
C++语言的解决方案是，提供另一种可替代按“引用组合”的继承机制虚拟继承（virtual inheritance ）在虚拟继承下只有一个共享的基类子对象被继承而无论该基类在派生层次
中出现多少次共享的基类子对象被称为虚拟基类。
       通过用关键字virtual 修政一个基类的声明可以将它指定为被虚拟派生。例如，下列声明使得ZooAnimal 成为Bear 和Raccoon 的虚拟基类：
// 关键字 public 和 virtual
// 的顺序不重要
class Bear : public virtual ZooAnimal { ... };
class Raccoon : virtual public ZooAnimal { ... };
虚拟派生不是基类本身的一个显式特性，而是它与派生类的关系如前面所说明的，虚拟继承提供了“按引用组合”。也就是说，对于子对象及其非静态成员的访问是间接进行的。这使得在多继承情况下，把多个虚拟基类子对象组合成派生类中的一个共享实例，从而提供了必要的灵活性。同时，即使一个基类是虚拟的，我们仍然可以通过该基类类型的指针或引用，来操纵派生类的对象。

 Virtual是C++ OO机制中很重要的一个关键字。只要是学过C++的人都知道在类Base中加了Virtual关键字的函数就是虚拟函数（例如下面例子中的函数print），于是在Base的派生类Derived中就可以通过重写虚拟函数来实现对基类虚拟函数的覆盖。当基类Base的指针point指向派生类Derived的对象时，对point的print函数的调用实际上是调用了Derived的print函数而不是Base的print函数。这是面向对象中的多态性的体现。（关于虚拟机制是如何实现的，参见Inside the C++ Object Model ，Addison Wesley 1996）

[cpp]  view plain  copy

1. class Base  
2. {  
3. public:Base(){}  
4. public:  
5.        virtual void print(){cout<<"Base";}  
6. };  
7.    
8. class Derived:public Base  
9. {  
10. public:Derived(){}  
11. public:  
12.        void print(){cout<<"Derived";}  
13. };  
14.    
15. int main()  
16. {  
17.        Base *point=new Derived();  
18.        point->print();  
19. }   

//---------------------------------------------------------

Output：

Derived

//---------------------------------------------------------

这也许会使人联想到函数的重载，但稍加对比就会发现两者是完全不同的：

（1）      重载的几个函数必须在同一个类中；

覆盖的函数必须在有继承关系的不同的类中

（2）      覆盖的几个函数必须函数名、参数、返回值都相同；

重载的函数必须函数名相同，参数不同。参数不同的目的就是为了在函数调用的时候编译器能够通过参数来判断程序是在调用的哪个函数。这也就很自然地解释了为什么函数不能通过返回值不同来重载，因为程序在调用函数时很有可能不关心返回值，编译器就无法从代码中看出程序在调用的是哪个函数了。

（3）      覆盖的函数前必须加关键字Virtual；

重载和Virtual没有任何瓜葛，加不加都不影响重载的运作。

 

关于C++的隐藏规则：

我曾经听说过C++的隐藏规则：

（ 1）如果派生类的函数与基类的函数同名，但是参数不同。此时，不论有无virtual

关键字，基类的函数将被隐藏（注意别与重载混淆）。

（ 2）如果派生类的函数与基类的函数同名，并且参数也相同，但是基类函数没有virtual

关键字。此时，基类的函数被隐藏（注意别与覆盖混淆）。

                                               ----------引用自《高质量C++/C 编程指南》林锐  2001

这里，林锐博士好像犯了个错误。C++并没有隐藏规则，林锐博士所总结的隐藏规则是他错误地理解C++多态性所致。下面请看林锐博士给出的隐藏规则的例证：

[cpp]  view plain  copy

1. #include <iostream.h>  
2. class Base  
3. {  
4. public:  
5. virtual void f(float x){ cout << "Base::f(float) " << x << endl; }  
6. void g(float x){ cout << "Base::g(float) " << x << endl; }  
7. void h(float x){ cout << "Base::h(float) " << x << endl; }  
8. };  
9.    
10. class Derived : public Base  
11. {  
12. public:  
13. virtual void f(float x){ cout << "Derived::f(float) " << x << endl; }  
14. void g(int x){ cout << "Derived::g(int) " << x << endl; }  
15. void h(float x){ cout << "Derived::h(float) " << x << endl; }  
16. };  
17.    
18. void main(void)  
19. {  
20. Derived d;  
21. Base *pb = &d;  
22. Derived *pd = &d;  
23. // Good : behavior depends solely on type of the object  
24. pb->f(3.14f); // Derived::f(float) 3.14  
25. pd->f(3.14f); // Derived::f(float) 3.14  
26. // Bad : behavior depends on type of the pointer  
27. pb->g(3.14f); // Base::g(float) 3.14  
28. pd->g(3.14f); // Derived::g(int) 3 (surprise!)  
29. // Bad : behavior depends on type of the pointer  
30. pb->h(3.14f); // Base::h(float) 3.14 (surprise!)  
31. pd->h(3.14f); // Derived::h(float) 3.14  
32. }   

林锐博士认为bp 和 dp 指向同一地址，按理说运行结果应该是相同的，而事实上运行结果不同，所以他把原因归结为C++的隐藏规则，其实这一观点是错的。决定bp和dp调用函数运行结果的不是他们指向的地址，而是他们的指针类型。“只有在通过基类指针或引用间接指向派生类子类型时多态性才会起作用”(C++ Primer 3 rd Edition)。pb是基类指针，pd是派生类指针，pd的所有函数调用都只是调用自己的函数，和多态性无关，所以pd的所有函数调用的结果都输出Derived::是完全正常的； pb的函数调用如果有virtual则根据多态性调用派生类的，如果没有virtual则是正常的静态函数调用，还是调用基类的，所以有virtual的f函数调用输出Derived::，其它两个没有virtual则还是输出Base::很正常啊，nothing surprise!

所以并没有所谓的隐藏规则，虽然《高质量C++/C 编程指南》是本很不错的书，可大家不要迷信哦。记住“只有在通过基类指针或引用间接指向派生类子类型时多态性才会起作用”。

 

纯虚函数：

C++语言为我们提供了一种语法结构，通过它可以指明，一个虚拟函数只是提供了一个可被子类型改写的接口。但是，它本身并不能通过虚拟机制被调用。这就是纯虚拟函数（pure

virtual function）。 纯虚拟函数的声明如下所示：

[cpp]  view plain  copy

1. class Query {  
2. public:  
3. // 声明纯虚拟函数  
4. virtual ostream& print( ostream&=cout ) const = 0;  
5. // ...  
6. };  

这里函数声明后面紧跟赋值0。

包含（或继承）一个或多个纯虚拟函数的类被编译器识别为抽象基类。试图创建一个抽象基类的独立类对象会导致编译时刻错误。（类似地通过虚拟机制调用纯虚函数也是错误的）

[cpp]  view plain  copy

1. // Query 声明了纯虚拟函数, 我们不能创建独立的 Query 类对象  
2. // 正确: NameQuery 是 Query 的派生类  
3. Query *pq = new NameQuery( "Nostromo" );  
4. // 错误: new 表达式分配 Query 对象  
5. Query *pq2 = new Query();  

虚析构：

如果一个类用作基类，我们通常需要virtual来修饰它的析构函数，这点很重要。如果基类的析构函数不是虚析构，当我们用delete来释放基类指针(它其实指向的是派生类的对象实例)占用的内存的时候，只有基类的析构函数被调用，而派生类的析构函数不会被调用，这就可能引起内存泄露。如果基类的析构函数是虚析构，那么在delete基类指针时，继承树上的析构函数会被自低向上依次调用，即最底层派生类的析构函数会被首先调用，然后一层一层向上直到该指针声明的类型。

虚继承：

如果只知道virtual加在函数前，那对virtual只了解了一半，virtual还有一个重要用法是virtual public，就是虚拟继承。虚拟继承在C++ Primer中有详细的描述，下面稍作修改的阐释一下：

在缺省情况下C++中的继承是“按值组合”的一种特殊情况。当我们写

class Bear : public ZooAnimal { ... };

每个Bear 类对象都含有其ZooAnimal 基类子对象的所有非静态数据成员以及在Bear中声明的非静态数据成员。类似地当派生类自己也作为一个基类对象时如：

class PolarBear : public Bear { ... };

则PolarBear 类对象含有在PolarBear 中声明的所有非静态数据成员以及其Bear 子对象的所有非静态数据成员和ZooAnimal 子对象的所有非静态数据成员。在单继承下这种由继承支持的特殊形式的按值组合提供了最有效的最紧凑的对象表示。在多继承下当一个基类在派生层次中出现多次时就会有问题最主要的实际例子是iostream 类层次结构。ostream 和istream 类都从抽象ios 基类派生而来，而iostream 类又是从ostream 和istream 派生

class iostream :public istream, public ostream { ... };

缺省情况下，每个iostream 类对象含有两个ios 子对象：在istream 子对象中的实例以及在ostream 子对象中的实例。这为什么不好？从效率上而言，iostream只需要一个实例，但我们存储了ios 子对象的两个复本，浪费了存储区。此外，在这一过程中，ios的构造函数被调用了两次（每个子对象一次）。更严重的问题是由于两个实例引起的二义性。例如，任何未限定修饰地访问ios 的成员都将导致编译时刻错误：到底访问哪个实例？如果ostream 和istream 对其ios 子对象的初始化稍稍不同，会怎样呢？怎样通过iostream 类保证这一对ios 值的一致性？在缺省的按值组合机制下，真的没有好办法可以保证这一点。

C++语言的解决方案是，提供另一种可替代按“引用组合”的继承机制--虚拟继承（virtual inheritance）。在虚拟继承下只有一个共享的基类子对象被继承而无论该基类在派生层次中出现多少次。共享的基类子对象被称为虚拟基类。

       通过用关键字virtual 修正，一个基类的声明可以将它指定为被虚拟派生。例如，下列声明使得ZooAnimal 成为Bear 和Raccoon 的虚拟基类：

// 这里关键字 public 和 virtual的顺序不重要

class Bear : public virtual ZooAnimal { ... };

class Raccoon : virtual public ZooAnimal { ... };

虚拟派生不是基类本身的一个显式特性，而是它与派生类的关系。如前面所说明的，虚拟继承提供了“按引用组合”。也就是说，对于子对象及其非静态成员的访问是间接进行的。这使得在多继承情况下，把多个虚拟基类子对象组合成派生类中的一个共享实例，从而提供了必要的灵活性。同时，即使一个基类是虚拟的，我们仍然可以通过该基类类型的指针或引用，来操纵派生类的对象。

 原文地址：http://blog.csdn.net/ring0hx/article/details/1605254

【摘要】

本文从5段代码实例出发，通过类中类的普通继承，类的虚继承，类的多重继承，多个虚函数类的普通继承、虚继承与多重继承，几个交叉概念，详细的阐释了继承、虚函数与虚继承的基本概念，深入剖析了继承于虚继承的区别于联系。

【Exp.001-虚继承】

[cpp]  view plain  copy

1. #include <stdio.h>  
2.   
3. class A {  
4. public:  
5.     int a;  
6. };//sizeof(A)=4  
7.   
8. class B : virtual public A {  
9. public:  
10. 　　int b;  
11. };//sizeof(B)=4(A副本)+4(虚表指针)+4(自己变量)=12  
12.   
13. class C : virtual public B {       
14. };//sizeof(c)= 12(B副本)+4(虚表指针) = 16，如果这里改为直接继承，那么sizeof(c)=12  
15.   
16. int main() {  
17.     printf("%d\n", sizeof(C));      
18.     return 0;   
19. }  

解析：这里需要理解虚继承基类对派生类的空间大小的影响，理解虚指针在虚继承中为子类带来了哪些空间的改变。

【Exp.002-多重继承】

[cpp]  view plain  copy

1. #include <stdio.h>  
2.   
3. class A {  
4. public:  
5.     int a;  
6. };//sizeof(A) = 4  
7.   
8. class B : virtual public A {  
9. };// sizeof(B) =4+4=8  
10.   
11. class C : virtual public A {          
12. };//sizeof(C) =4+4=8  
13.   
14. class D : public B, public C{         
15. };  
16. //sizeof(D)=8+8-4=12 这里需要注意要减去4，因为B和C同时继承A，只需要保存一个A的副本就好了，sizeof(D)=4(A的副本)+4(B的虚表)+4(C的虚表)=12  
17.   
18. int main() {  
19.     printf("%d\n", sizeof(D));  
20.     return 0;   
21. }  

解析：这里需要关注 class D 的数据空间大小，理解多重虚继承对派生类虚指针以及派生类空间的影响。

【Exp.003-普通继承（含有：空类、虚函数）】

[cpp]  view plain  copy

1. class A     
2. {     
3. };    
4.   
5. class B     
6. {  
7.     char ch;     
8.     virtual void func0()  {  }   
9. };   
10.   
11. class C    
12. {  
13.     char ch1;  
14.     char ch2;  
15.     virtual void func()  {  }    
16.     virtual void func1()  {  }   
17. };  
18.   
19. class D: public A, public C  
20. {     
21.     int d;     
22.     virtual void func()  {  }   
23.     virtual void func1()  {  }  
24. };     
25.   
26. class E: public B, public C  
27. {     
28.     int e;     
29.     virtual void func0()  {  }   
30.     virtual void func1()  {  }  
31. };  
32.   
33. int main(void)  
34. {  
35.     cout<<"A="<<sizeof(A)<<endl;//result=1  空类所占空间的大小为 1  
36.     cout<<"B="<<sizeof(B)<<endl;//result=8  1+4   对齐 8   
37.     cout<<"C="<<sizeof(C)<<endl;//result=8  1+1+4 对齐 8  
38.     cout<<"D="<<sizeof(D)<<endl;//result=12 C的副本+D本身=8+4=12  
39.     cout<<"E="<<sizeof(E)<<endl;//result=20 B的副本+C的副本+E本身=8+8+4=20  
40.     return 0;  
41. }  

这里需要区分一下：

①没有继承的时候，存在虚函数则需要加上虚指针，如果有多个也只需要加上一个，因为只有一个虚指针；

②对于普通继承，类D和类E中自己的虚函数，大小为0，因为，它没有虚表；

③对于虚继承中，派生类中存在一个或多个虚函数的时候，它本身就有一个虚表，指向自己的虚表，所以要加4。

【Exp.004-虚继承（多重继承和虚函数）】

[cpp]  view plain  copy

1. class CommonBase  
2. {  
3.     int co;  
4. };// size = 4  
5.   
6. class Base1: virtual public CommonBase            
7. {  
8. public:  
9.     virtual void print1() {  }  
10.     virtual void print2() {  }  
11. private:  
12.     int b1;  
13. };//4副本+4虚指针+4自身+4(虚继承+虚函数构成指针多一个)=16  
14.   
15.   
16. class Base2: virtual public CommonBase          
17. {  
18. public:  
19.     virtual void dump1() {  }  
20.     virtual void dump2() {  }  
21. private:  
22.     int b2;  
23. };//同理16  
24.   
25. class Derived: public Base1, public Base2       
26. {  
27. public:  
28.     void print2() {  }  
29.     void dump2() {  }  
30. private:  
31.     int d;  
32. };//16+16-4+4=32  

解析：如果不是虚继承的类，即便有虚函数也不会因此增加存储空间，如果是虚继承的类，没有虚函数就添加一个虚指针空间，有虚函数不论多少个，就添加两个虚指针空间。

【Exp.005-虚继承与虚函数】

[cpp]  view plain  copy

1. class A  
2. {  
3. public:  
4.     virtual void aa() {  }  
5.     virtual void aa2() {  }  
6. private:  
7.     char ch[3];  
8. }; // 1+4 = 补齐 = 8  
9.   
10. class B: virtual public A  
11. {  
12. public:  
13.     virtual void bb() {  }  
14.     virtual void bb2() {  }  
15. }; // 8（副本）+4(虚继承)+4（虚指针） = 16  
16.   
17. int main(void)  
18. {  
19.     cout<<"A's size is "<<sizeof(A)<<endl;//        4+4=8  
20.     cout<<"B's size is "<<sizeof(B)<<endl;//        A的副本+4+4=16  
21.     return 0;  
22. }  

解析：如果不是虚继承的类，即便有虚函数也不会因此增加存储空间，如果是虚继承的类，没有虚函数就添加一个虚指针空间，有虚函数不论多少个，就添加两个虚指针空间。

【小结】

重要的事情讲三遍！！！

如果不是虚继承的类，即便有虚函数也不会因此增加存储空间，如果是虚继承的类，没有虚函数就添加一个虚指针空间，有虚函数不论多少个，就添加两个虚指针空间！！！