只有采用“指针->函数()”或“引用.函数()”的方式调用C++类中的虚函数才会执行动态绑定,非虚函数并不具备动态绑定的特征,不管采用任何方式调用都不行。
下面代码中,一个java或者C#的程序员容易犯的一个错误。
1: class Base
2: {
3: public:
4: Base() { p = new char ; }
5: ~Base() { delete p; }
6: private:
7: char * p ;
8: };
9:
10: class Derived:public Base
11: {
12: public:
13: Derived() { d = new char[10] ; }
14: ~Derived() { delete[] d; }
15: private:
16: char * d ;
17: };
18:
19: int main()
20: {
21: Base *pA = new Derived();
22: delete pA ;
23:
24: Derived *pA = new Derived();
25: delete pA ;
26: }
代码中:
执行delete pA时,直接执行~Base析构函数,不会执行~Derived析构函数的,原因在于析构函数不是虚函数。
执行delete pB时,先执行~Derived()然后再执行~Base()。
相比之下,java和C#中,所有的函数调用都是动态绑定的。
关于C++的成员函数调用与绑定方式,可以通过下面的代码测试:
1: class Base
2: {
3: public:
4: virtual void Func() { cout<<"Base"<<endl; }
5: };
6:
7: class Derived:public Base
8: {
9: public:
10: virtual void Func() { cout<<"Derived"<<endl; }
11: };
12:
13: int main()
14: {
15: Derived obj;
16: Base * p1 = &obj;
17: Base & p2 = obj;
18: Base obj2 ;
19:
20: obj.Func() ; //静态绑定,Derived的func
21: p1->Func(); //动态绑定,Derived的func
22: (*p1).Func(); //动态绑定,Derived的func
23: p2.Func(); //动态绑定,Derived的func
24: obj2.Func(); //静态绑定,Base的func
25:
26: return 0 ;
27: }
可以看出“对象名.函数()”属于静态绑定,当然,使用指针转换为对象的方式应该属于指针调用那一类了,至于“类名::函数()”毫无疑问属于静态绑定。