Effective C++ 条款41

本文主要是介绍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);
}

这篇关于Effective C++ 条款41的文章就介绍到这儿，希望我们推荐的文章对编程师们有所帮助！

---