在讨论静态绑定与动态绑定前，需要先阐明两个概念：静态类型与动态类型。

   这两个概念只在变量是存在继承关系的类的对象的指针或者引用时才有意义，静态类型是你声明的类型，编译时即可知；而动态类型是指这个指针或者引用实际指向的对象的类型，运行时才可知。举几个例子：
假设D是从B公有继承的
   B *bp1; // 静态类型 B* 动态类型无
   B *bp2 = new B; // 静态类型 B* 动态类型 B*
   B *bp3 = new D; // 静态类型 B* 动态类型 D*

   静态绑定的含义为函数的行为取决于对象的静态类型，而动态绑定的含义为函数的行为取决于对象的动态类型，有以下原则：
   1. 非虚函数静态绑定。
   2. 虚函数动态绑定。
   3. 函数的缺省参数静态绑定。
   4. 子类中仅需函数名即可覆盖父类的多个重载函数。

   Scott Meyers在《Effctive C++》2nd Edition中Item 37~38即是阐述这个问题的，大家可以参考一下，下面通过一段小程序做个说明。

   在VC9下的运行结果为
   D::func()
   D::func()
   B::func(2.3)
   如果去掉d.func(2.3);的注释，则编译即出错。

   为什么会有这样的结果呢？结合上面的4条原则来看，B中有两个版本的重载func函数，一个为虚函数，一个为非虚函数，D中重定义了继承而来的func()，但是根据原则4，原本也可以继承而来的func(double)也被D自己定义的func()给覆盖了，换言之，现在D中只有一个func()函数。由于d的静态和动态类型均为D，运行d.func(2.3)的时候发现根本找不到定义，只能编译报错。现在来看rb，由前所述，rb的静态类型为B，动态类型为D，于是rb.func()根据动态绑定表现为D::func()的行为，rb.func(2.3)根据静态绑定表现为B::func(double)的行为。

   我们可以来猜想以下为什么会有这样的代码，设计者原意可能是想仅重定义func()而继承func(double)的默认行为，可惜由于C++中覆盖规则，事与愿违。所以当混用虚函数与重载这两种不同时期决定的多态时，一定要小心。从OO设计的角度来说，虚函数几乎肯定是要被继承类重写的，而非虚函数是绝不应该被重定义的，所以当你的设计中出现重载函数不是同为虚函数或者非虚函数时，就要小心覆盖问题了。

   关于函数缺省参数问题，《Effective C++》2nd Editon Item 38讲得很清楚，这里就不赘述了。

    引用是什么？这个问题其实并不容易回答，很多人会说引用是一个别名，这个理解似乎太过模糊。用Eckel的说法，引用就像是能自动被编译器间接引用的常量型的指针。你无需考虑它是否被初始化，也不用考虑怎样对其解引用，因为编译器会监督你做好前者，又会自动的帮你完成后者。一个引用总是和一块合法的存储单元相联系，这就是你唯一需要时刻牢记的。

    先说函数参数吧。当你仅仅需要参数的值来做函数中的运算时，传递一个常量引用一般来说会好于值传递。首先是效率，值传递就意味着拷贝构造函数的调用，自然也有析构函数的开销，而这些都可以在传递引用的时候得以避免的；从函数调用者来看，使用传递引用的函数和传值传递的函数的调用形式并没有区别；对于继承体系而言，使用引用传递还可以避免切割或者分片问题，因为引用可以很好的实现向上类型转换。当然，如果只是需要使用值，你应该将引用声明为const。当需要改变外部对象的时候，引用的对手就变成了指针，两者在效率上可以视为同等，引用在函数的编写者的角度来看更自然，却容易让函数的调用者产生混淆，因为这种变换性被隐藏了。很难说谁好谁坏，就看具体情况的权衡吧。

    从效率的角度来说，返回值当然也应该选择引用，不过当你返回局部对象的引用，或者函数内部用new初始化的指针的引用时，情况就变得很糟糕了。前者在函数调用者使用它的时候已经被销毁了，也就是你违背了引用总是和一块合法的存储单元相联系的准则，后者似乎解决了这个引用有效性的问题，不过很遗憾，引发了一个更大的问题：内存泄露，因为没有一个合适的机制去保证在正确的时间delete这个指针，每一次的函数调用都导致一点内存泄露，这是非常可怕的。其实原则也很简单，当你确实需要一个新的对象的时候，你就应该为其付出构造和析构的开销，最典型就是operator +, -, *, /函数。当然好心的编译器还是有可能帮你做返回值优化的，把函数返回的对象直接构造在你赋值的对象的内存上，一切又变得美好了。

 
    总的来说，const有以下几种使用场合，值替代，指针，函数参数和返回值，类中的const，这几者概念上是一致的，但是用法却存在着细微的差别，也是本文需要说明的问题。
 
    1.值替代。用以取代#define实现值替代的全部功能，作为一种更优的用法，const还可以提供类型安全以及调试时的便利，编译器也可以进行常量折叠优化。编译器通常并不为const分配存储空间，但出现取const的地址等操作时必需进行存储空间分配，这种不能完全避免导致了const的定义默认为内部连接。值得注意的是当const用于数组和结构体等集合时只意味着一块不能改变的存储区域，并不能在编译期间使用它的值。
 
    2.指针。可以以“*”为分界线，const出现在左侧时修饰指针指向的对象，右侧时修饰指针本身的值，也就是指针里存储的地址。可以把一个非const对象的地址赋给一个const指针，但是不能把一个const对象的地址赋给一个非const指针，不过存在一点小小的例外，就是例如char *str = "TheAnswer"却是合法的，不过还是应该避免这种用法，用const char *str = "TheAnswer"或者char str[] = "TheAnswer"其中一个替代更好一些。
 
    3.函数参数。函数参数中的const意味着变量的初值不会被函数所修改，这是一个函数作者而非函数的调用者的工具。所以当值传递的时候，参数列表中的const完全是冗余的，如果一定需要，则可以通过在函数体内定义一个指向常量参数类型的引用并初始化为参数来约束自己。当传递地址的时候，首先选择的应该是传递引用，而且是const引用。有以下几个好处，在调用者看来，效果完全等同传值传递，但是在传递大对象的时候，避免了构造函数的开销，效率上有优势；另外const引用可以接受一个临时对象作为参数，这也是指针和非const引用所无法做到的（指针需要接受一个显式的地址，而临时对象是常量，不能把一个常量赋给一个非常量引用）。
 
    4.函数返回值。这里需要区分的东西更多一些。即使是按值返回，也需要区分内置类型和自定义类型，前者是否加const无所谓，因为编译器帮忙把这个返回值不让其成为右值，对于后者，const就非常重要了，因为一般来说，修改一个通过值返回的函数返回值总是一件荒谬的事情。返回地址时修改函数的返回值是具有合理性的，所以需要通过const来区分，如果返回值加上了const，那么把返回值当左值使用时就能被编译器有效的阻止。
 
    5.类中的const。这里还需要两小点来看
    (1).类的const数据成员。非static的const数据成员仅仅意味着在对象生命期内，这是一个常量，但是每个对象可以包含一个不同的值，所以只能在构造函数中对其进行初始化，一般放在初始化列表之中。当你想要一个编译期间的常量时，则需要使用static const，并在定义的地方便对其初始化，这可以用来取代以前的“enum hack”的小把戏。
    (2).const对象和成员函数。如果声明一个成员函数为const，则该函数可以为一个const对象所调用，值得注意的是在定义函数的时候要重申const说明。由于const成员函数可以同时为const和非const对象所使用，所以应该把不修改数据成员的任何函数都声明为const。
 
    const可以牵扯出不少连带问题，这是下面的主要内容。
 
    1.C中的const。就像马克思说的“物质决定意识，意识反作用于物质”，C++中的不少概念也渗透回了C语言，const就是其中一个。但是const在C中的含义仅仅为一个不能被改变的普通变量，甚至不能被看作编译期常量，并且在C中const被默认为是外部连接，总是会分配一块存储区域。所以C中的const用处就比C++小得多了。
 
    2.临时对象。如果一个对象被创建，而又不是在堆上被创建的，而且还没有名字，那么这个对象就是临时对象。一般在为了函数调用能够成功而进行隐式类型转换和函数返回对象时的隐式类型转换时产生临时对象。前者只有在传值传递或者把对象传递给声明为const引用的参数时才会发生。
 
    3.mutable和volatile。这是两个和const有密切关系的关键字。在类的声明里使用mutable，可以指定一个特定的数据成员可以在一个const对象里被改变，而且把这种常量性的缺乏公开到了类接口之中，当然这里面还涉及到按位const和按逻辑const的概念差别。volatile则告诉编译器不要擅自对该数据进行优化，因为可能存在不可知的环境改变此变量的可能。