C++中虚函数和动态绑定<上>

从一个程序入手，我们来看看虚函数：

#include <iostream>
using namespace std;

class A
{
public:
 int ii；
/* void set_value(int val){i = val;};
 int get_value(){return i;}; */
 int a(){cout << "A::a" <<endl;
   return 0;}
 virtual void b(){cout << "A::b" <<endl;}
protected:
private:
  int i;
};

class B : public A
{
public: 
 int jj；
 B(){}
 B(int bi, int bj):j(bj),A(bi){};
 int a(){cout << "B::a" <<endl;
   return 0;}
 void b(){cout << "B::b"<<endl;}
private:
  int j;
};

int main()
{
 A *ptrA, objA;
 B *ptrB, objB;

 ptrA = &objA;
 ptrA->a();
 ptrA->b();

 ptrA = &objB;
 ptrA->a();
 ptrA->b();

 /*****************
 这样强制内型转换，可以编译成功，但一般不这样做，因为这会造成派生类B自己定义的数据
 丢失，而不能访问，如进行 ptrB->jj将会出错。
 ptrB =static_cast<B *>(&objA);
 ptrB->a();
 ptrB->b();
 ****************/

 return 0;
}

 从结果中可以看出，对于类的非虚成员函数a(),无论实际对象是什么，都执行基类类型所定义的函数（如果去掉代码中注释掉的部分，我们会发现输出是这样的，可以看出调用什么类型，跟指针类型相关，只是由于数据损失，一般不这样用。--个人理解).

 然而，对于类中的虚函数b(),首先说明下，对于派生类中于基类中虚函数具有相同名字和参数的函数不加virtual 关键字，自动声明为虚函数，对于虚函数的调用是在程序运行期动态绑定的，这也就是类中多态的基础吧（个人理解），同意我们也可以通过基类的引用来达到上面相同的效果。至于什么是动态绑定，还有什么是虚析构函数，时候不早了，明天再写。

 

author：good90

参考书籍：《C++ Primer》

http://blog.csdn.net/gzshun/article/details/7289089