再次探讨C++的动态绑定和静态绑定

以前在学习C++的时候，对动态绑定和静态绑定的理解是：静态绑定是编译时决定的，非虚函数基本都是静态绑定；而动态绑定用于虚函数，是为了实现多态。这样理解没什么大的问题，但我一直疑惑的是，既然静态绑定可以在编译的时候觉得，为什么动态绑定不可以呢？

这篇文章写的很好：http://blog.csdn.net/chgaowei/article/details/6427731

我知道了 静态类型 和 动态类型 两个概念（惭愧）：

1、对象的静态类型：对象在声明时采用的类型。是在编译期确定的。

2、对象的动态类型：目前所指对象的类型。是在运行期决定的。对象的动态类型可以更改，但是静态类型无法更改。

我的理解是，静态类型就是 对象指针的类型，如声明 Base b，变量b的类型就是Base。而动态类型就是指针指向的对象的类型，如 Derived d = new Derived ()，Base b = &d中，指针指向的类型就是d。而b的动态类型是随着程序的执行不断变化的，因此需要在运行时决定。

这两种概念可以让人联想到C中指针相关概念：

int a = 10； int* p = &a;

在这里，指针类型是 int*，指向的类型是int，这样理解就清楚了。

当然这里可以”动态绑定“一下：

int* q = (char*)p;

在这里q的类型还是为int*，不过指向的类型变成了 char，打印出来的也是char，这是因为大小端存储截断的原因。