了解隐式接口和编译期多态
面向对象的编程世界总是以显示接口以及运行期多态解决问题。
class Widget {
public:
Widget();
virtual ~Widget();
virtual std::size_t size() const;
virtual void normalize();
void swap(Widget& other);
}
void doProcessing(Widget& w)
{
if(w.size()>10&&w!=somNastyWidget)
{
Widget(tmp);
tmp.normalize();
tmp.swap(w);
}
}
由于w是Widget类型,所以w必须支持Widget接口,可以在源代码中找到所有接口,看看它什么样子,这种接口称为显示接口。
由于Widget的某些显示成员是虚函数,w对那些函数的调用显示将表现出运行期多态。
再来看看模板的做法
template <typename T>
void doProcessing(T& w)
{
if(w.size()>0 && w!=somNastyWidget)
{
T temp(w);
temp.normalize();
temp.swap(w);
}
}
模板的约束就是if语句里的表达式需要成立,表现出隐式接口。
同样函数调用带来的具现化和函数多态解析发生在编译器,呈现出编译器多态。