Effective C++ 条款41 了解隐式接口和编译期多态

1. 面向对象编程通常以显式接口(类中的函数原型)和运行时多态(虚函数和RTTI)解决问题,但在Templates及泛型编程的世界,尽管显式接口和运行时多态仍然存在,但隐式接口和编译时多态的重要性却明显提升.

2.通常显式接口由函数签名式构成,而隐式借口并不基于函数声明式,而是有有效表达式组成.

所谓泛型编程中的隐式接口,指的是类型参数在函数模板或类模板中的成员函数内部所涉及的操作.也就是说类型参数必须支持函数模板内部所进行的操作,比如operator>,operator!=等,而对于不同类型,operator>等操作的具体行为不尽相同,其具现行为发生在编译期,这与template在编译期的具现化一同构成了"编译期多态".

3. 加诸与template参数上的隐式接口,和加诸于class对象上的显式接口一样,都在编译期完成检查,因此就像无法以一种"与classes提供之显式接口矛盾"的方式使用对象,也无法在template中使用"不支持template所要求之隐式接口"的对象(两者都通不过编译).