Item 41 隐式接口和编译时多态

OOP编程与类属编程(generic programming)的一大区别：
1> OOP使用显式的接口和运行时多态
2> 类属编程使用隐式接口和编译时多态

 

void doProcessing(Widget& w) { if (w.size() > 10 && w != someNastyWidget) { Widget temp(w); temp.normalize(); temp.swap(w); } }

 

当你看到上面的代码时，你能在某个文件里找到下面的声明：

 

class Widget { public: Widget(); virtual ~Widget(); virtual std::size_t size() const; virtual void normalize(); void swap(Widget& other); // see Item 25 ... };

 

Widget支持什么函数一目了然，此之谓“显式接口”。许多函数以virtual打头，需在运行时绑定到某个实现上，此之谓“运行时多态”。

下面修改一下doProcessing函数：

 

template<typename T> void doProcessing(T& w) { if (w.size() > 10 && w != someNastyWidget) { T temp(w); temp.normalize(); temp.swap(w); } }

 

可以看出，T肯定支持的有size、normalize、swap、copy ctor函数，同时也有很多不确定的因素：
1> 比如size可在T中定义，也可能继承自父类。
2> size的返回值也不见得就是int。只要其返回的类型支持operator>即可。
3> operator!=可能存在，不存在的话也可以。只要T可以转型为支持该操作符的类型即可。
...
这些不确定的因素，都是隐含的，此之谓隐式接口。有别于OOP中函数签名极为明确的特质。

因为要调用doProcessing函数，就要实例化该模板函数，那么就要确定T是什么类型。
这些不确定的因素使得doProcessing函数有了多态的性质，而所有这些不确定因素要在编译时确定下来。
所以，谓之为“编译时多态”。有别于虚函数要在运行时确定的特质。