C++模板编程中的隐式接口和编译期多态

（1）显示接口和运行期多态

在一般的类的实现和使用中，对象的类型是明确的，调用的函数也是在源代码中明确声明的，如果是virtual函数，具体要调用的哪个类的函数会在运行时决定，即运行期多态，如下代码：

 1 class Widget{
 2 public:
 3 Widget();
 4 virtual ~Widget();
 5 virtual size_t size() const;
 6 virtual void normalize();
 7 void swap(Widget& other);
 8 ...
 9 };
10 
11 
12 void doProcessing(Widget& w)
13 {
14     if(w.size() > 10 && w != someWW)
15     {
16         Widget temp(w);
17         temp.normalize();
18         temp.swap(w);
19     }
20 }

View Code

（2）隐式接口和编译期多态

但是在Template与范型编程中，则需要注意隐式接口和编译期多态，以下面的代码进行分析：

 1 template<typename T>
 2 void doProcessing(T& w)
 3 {
 4     if(w.size() > 10 && w != someWW)
 5     {
 6          T temp(w);
 7          temp.normalize();
 8          temp.swap(w);
 9     }
10 }

所谓的隐式接口表示上面的代码要求T必须支持如size, normalize, swap,copy构造函数，不等比较等接口。而w的函数调用则有可能造成template的具现化，使这些调用得以成功，这样的具现行为发生在编译期，“以不同的template参数具现化function templates”会导致调用不同的函数，即所谓的编译期多态。

决定哪一个virtual函数被调用是运行期多态，决定哪一个重载函数被调用是编译期多态。

总结，class和template都支持接口和多态，前者的接口是通过显示的函数签名表示，后者的接口则基于有效的表达式；前者的多态基于virtual函数的运行期绑定，后者的多态则基于编译期的template具现化和函数重载解析。

 

以上整理自Effective C++ 中文版第三版 case 41.

 

转载于:https://www.cnblogs.com/sophia-yun/archive/2013/06/05/3120059.html