标签：
是指不需要考虑表达式的执行期语义，仅分析程序文本而决定的表达式类型。静态类型仅依赖于包含表达式的程序文本的形式，而在程序运行时不会改变。通俗的讲，就是上下文无关，在编译时就可以确定其类型。
是指由一个左值表达式表示的左值所引用的最终派生对象的类型。例：如果一个静态类型为“类 B ”的指针p 指向一个继承于 B的类 D 的对象，则表达式 *p 的动态类型为“D”。引用按照相似规则处理。一般地讲，基类的指针和基类引用有可能为动态类型，就是说在运行之前不能够确定其真实类型。通常我们说，“基类指针指向的对象的实际/真正类型”或“基类引用所引用的对象的实际/真正类型”，就是它们的动态类型。很显然，这个动态类型是 C++ 语言通过指针和引用实现运行时多态能力的核心概念。
如果要静态类型与动态类型不同或者要能够进行动态绑定，都需要满足两个条件，缺一不可：
标签：
原文地址：http://www.cnblogs.com/wuchanming/p/4572225.html
