【effective c++】条款四十一：了解隐式接口和编译器多态

C++中的"两大世界"：面向对象与泛型编程

《Effective C++》第41条，揭示了C++中并存的"两大世界"：一个是我们熟悉的面向对象世界（以类和继承为基础），另一个是功能强大的模板泛型编程世界。两者都支持接口和多态，但实现方式和理念截然不同。

特性对比

详解两种接口与多态

面向对象的世界：显式接口与运行时多态

在这个世界里，接口是显式的。它明确规定了类有哪些成员函数（包括名称、参数类型、返回类型），通常可以在类的头文件定义中直接看到。

// 显式接口示例: 一个简单的抽象基类classDrawable{public:virtualvoiddraw()const=0;// 纯虚函数，显式定义了接口virtual~Drawable()=default;};

多态通过虚函数在运行时实现。当你使用基类的指针或引用调用一个虚函数时，具体调用哪个函数实现是由该指针或引用所指向的实际对象类型在运行时决定的。

Circle circle;Rectangle rect;Drawable*shape1=&circle;Drawable*shape2=▭shape1->draw();// 运行时决定调用 Circle::draw()shape2->draw();// 运行时决定调用 Rectangle::draw()

泛型编程的世界：隐式接口与编译时多态

在模板编程中，接口是隐式的。它并不要求类型 T 必须继承自某个特定基类，而只要求类型 T 的对象能进行模板代码中所用的所有操作。这种约束基于有效的表达式，也被称为"鸭子类型"——如果它走起路来像鸭子，叫起来像鸭子，那它就可以被当作鸭子。

// 隐式接口示例: 一个简单的模板函数template<typenameT>voiddrawObject(constT&obj){obj.draw();// 隐式接口: 要求类型 T 必须有一个可调用的 draw() 方法}

多态则通过模板实例化和函数重载解析在编译时完成。编译器会为每个用于实例化模板的具体类型生成一份对应的代码。调用哪个函数或使用哪个操作符，在编译时就根据类型确定下来了。

// 编译时多态示例: 模板实例化与函数重载Circle circle;Robot robot;// 假设Robot也有draw()方法，但与circle无继承关系drawObject(circle);// 编译器为 T=Circle 生成特定代码，调用 Circle::draw()drawObject(robot);// 编译器为 T=Robot 生成特定代码，调用 Robot::draw()

核心要点与演进

理解这两种范式区别的关键在于：

• 显式接口关于类型，强调"你是什么，才能做什么"。
• 隐式接口关于表达式，强调"你能做什么，就是什么"。

现代C++（特别是C++20）引入了概念，它能让你为模板参数必须满足的隐式接口约束赋予一个显式的名称，大大提升了代码的可读性和错误信息的友好度。

// C++20 概念让隐式接口更显式template<typenameT>conceptDrawable=requires(T obj){{obj.draw()}->std::same_as<void>;// 显式地要求有 draw 方法};template<Drawable T>// 使用概念，意图更清晰voidrender(constT&obj){obj.draw();}

这两种范式是C++强大的基石，理解它们能让你在面向对象设计和泛型编程之间做出更合适的选择。