静态多态

　　如果说动态多态是通过虚函数来表达共同接口的话，那么静态多态则是通过“彼此单独定义但支持共同操作的具体类”来表达共同性，换句话说，必须存在必需的同名成员函数。

　　我们可以采用静态多态机制重写上一节的例子。这一次，我们不再定义vehicles类层次结构，相反，我们编写彼此无关的具体类Car和Airplane（它们都有一个run()成员函数）：

// static_poly.h #include ＜iostream＞ //具体类Car class Car { 　public: 　　void run() const 　　{ 　　　std::cout ＜＜ "run a car\n"; 　　} }; //具体类Airplane class Airplane { 　public: 　　void run() const 　　{ 　　　std::cout ＜＜ "run a airplane\n"; 　　} }; run_vehicle()应用程序被改写如下： // static_poly_1.cpp #include ＜iostream＞ #include ＜vector＞ #include "static_poly.h" // 通过引用而run任何vehicle template ＜typename Vehicle＞ void run_vehicle(const Vehicle& vehicle) { 　vehicle.run(); // 根据vehicle的具体类型调用对应的run() } int main() { 　Car car; 　Airplane airplane; 　run_vehicle(car); // 调用Car::run() 　run_vehicle(airplane); // 调用Airplane::run() }

　　现在Vehicle用作模板参数而非公共基类对象（事实上，这里的Vehicle只是一个符合直觉的记号而已，此外别无它意）。经过编译器处理后，我们最终会得到run_vehicle＜Car＞()和 run_vehicle＜Airplane＞()两个不同的函数。这和动态多态不同，动态多态凭借虚函数分派机制在运行期只有一个run_vehicle()函数。

　　我们无法再透明地处理异质对象集合了，因为所有类型都必须在编译期予以决定。不过，为不同的vehicles引入不同的集合只是举手之劳。由于无需再将集合元素局限于指针或引用，我们现在可以从执行性能和类型安全两方面获得好处：

// static_poly_2.cpp #include ＜iostream＞ #include ＜vector＞ #include "static_poly.h" // run同质vehicles集合 template ＜typename Vehicle＞ void run_vehicles(const std::vector＜Vehicle＞& vehicles) { 　for (unsigned int i = 0; i ＜ vehicles.size(); ++i) 　{ 　　vehicles[i].run(); // 根据vehicle的具体类型调用相应的run() 　} } int main() { 　Car car1, car2; 　Airplane airplane1, airplane2; 　std::vector＜Car＞ vc; // 同质cars集合 　vc.push_back(car1); 　vc.push_back(car2); 　//vc.push_back(airplane1); // 错误：类型不匹配 　run_vehicles(vc); // run cars 　std::vector＜Airplane＞ vs; // 同质airplanes集合 　vs.push_back(airplane1); 　vs.push_back(airplane2); 　//vs.push_back(car1); // 错误：类型不匹配 　run_vehicles(vs); // run airplanes }

相关搜索：