Effective C++ 条款41

本节条款对比了一下两对概念的对比。
首先是 编译期多态和运行期多态。
接着是 显示接口和隐式接口

编译期多态是由于模板而产生的。
如下代码：

#include<iostream>
using namespace std;
class Bird
{
public:
    Bird(int v):value(v){}
    int getSize(){ return value; }
private:
    int value;

};

class Person//鸟
{
public:
    Person(int v) :value(v){}
    int getSize(){ return value; }
private:
    int value;

};

template<typename T>
bool Compare(T&m )
{
    return (m.getSize()>10);
}

int main()
{
    Bird b(11);
    Person  p(5);
    cout << Compare(b) << endl;//调用Bird类中的getSize函数
    cout << Compare(p) << endl;//调用Person类中的getSize函数
    return 0;
}

我们可以看到，由于compare是个模板函数，所以函数真正的参数对象在编译期间确定，此函数再根据不同的对象调用不同的函数。

如上的例子，当对象是Bird类型，调用Bird类中的getSize函数。当对象是Person类型，调用Person类中的getSize函数。

不过，我们可以从此推断出，Compare函数中的参数对象必须拥有getSize函数，不然编译出错。

这就是编译期多态。

运行期多态是由于类的virtual继承产生。
如下代码：

#include<iostream>
using namespace std;

class Person
{
public:
    Person(int v) :value(v){}
    virtual int getSize(){ return value; }
private:
    int value;

};

class Child:public Person
{
public:
    Child(int v) :Person(v){}
    virtual int getSize(){ return (Person::getSize())/2; }
};

int main()
{
    Child b(10);
    Person  p(10);

    Person *pointer = &p;
    cout<<pointer->getSize();//调用Person类中的getSize()
    cout << endl;
    pointer = &b;
    cout<<pointer->getSize();//调用Child类中的getSize()

    return 0;

}

我们可以看到以上代码中，pointer指针对于函数getSize的调用由指向的真实对象的类型决定。第一次pointer指向Person类型，所以就调用Person类中的getSize()。第二次，pointer指向Child类型，所以就调用Child类中的getSize()。

至于显示接口和隐式接口的不同也在以上两段代码中有所展示，隐式接口就是如下代码中的m.getSize()>10,我们在此时不知道getSize（）到底是调用哪个函数，隐式接口就是一组有效表达式，我们这时只能推断出m能调用getSize函数，并且能返回一个对象可以和int 型的10比较大小。

显示接口就好理解了，就是实实在在的函数式，调用之前知道函数的参数值列表返回类型等等。

template<typename T>
bool Compare(T&m )
{
    return (m.getSize()>10);
}