C++的动态绑定和静态绑定
对象的静态类型: 对象在声明时采用的类型。是在编译期确定的。
对象的动态类型: 目前所指对象的类型。是在运行期决定的。对象的动态类型可以更改,但是静态类型无法更改。
静态绑定: 绑定的是对象的静态类型,某特性(比如函数)依赖于对象的静态类型,发生在编译期。
动态绑定: 绑定的是对象的动态类型,某特性(比如函数)依赖于对象的动态类型,发生在运行期。
需要注意的是: 虚函数是动态绑定的,但是为了执行效率,缺省参数是静态绑定的。因此要记住:“绝不重新定义继承而来的缺省参数(Never redefine function’s inherited default parameters
TODO: 为了更深入了解,需要读《深入探索C++对象模型》
#include <iostream>
using namespace std;
class A {
public:
void DoSomething()
{
cout << "A:DoSomething" << endl;
}
virtual void vFun(int i = 10)
{
cout << "A:vFun:" << i << endl;
}
};
class B : public A {
public:
void DoSomething() // //首先说明一下,这个子类重新定义了父类的no-virtual函数,这是一个不好的设计,会导致名称遮掩;这里只是为了说明动态绑定和静态绑定才这样使用。
{
cout << "B:DoSomething" << endl;
}
virtual void vFun(int i = 20)
{
cout << "B:vFun:" << i << endl;
}
};
// 特别需要注意的地方
// 当缺省参数和虚函数一起出现的时候情况有点复杂,极易出错。我们知道,虚函数是动态绑定的,但是为了执行效率,缺省参数是静态绑定的。
class C : public A {
public:
void DoSomething()
{
cout << "C:DoSomething" << endl;
}
virtual void vFun()
{
cout << "C:vFun" << endl;
}
};
int main()
{
A* pA = new B(); // pA的静态类型是A*,动态类型是B*
B* pB = new B(); // pB的静态类型是B*,动态类型也是B*
C* pC = new C(); // pC的静态类型是C*,动态类型也是C*
// 从下面可以看出,只有虚函数才使用的是动态绑定,其他的全部是静态绑定。
// 另外需要注意的是:虚函数是动态绑定的,但是为了执行效率,缺省参数是静态绑定的。
// 因此要记住:“绝不重新定义继承而来的缺省参数(Never redefine function’s inherited default parameters value.)”
pA->DoSomething();
pA->vFun();
pB->DoSomething();
pB->vFun();
pA = pC;
return 0;
}
/*
A:DoSomething
B:vFun:10
B:DoSomething
B:vFun:20
请按任意键继续. . .
*/