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.

 

posted on 2013-06-05 22:37  Sophia-呵呵小猪  阅读(956)  评论(0编辑  收藏  举报