C++ 多态编程与纯虚函数详解

C++ 多态编程与纯虚函数详解多态（Polymorphism）是面向对象编程的核心特性之一，它允许同一接口表现出不同的行为。C++ 支持编译时多态（静态多态）和运行时多态（动态多态）。本文重点讲解运行时多态，以及实现它的关键工具——虚函数与纯虚函数。一、多态的基本概念静态多态：通过函数重载、运算符重载和模板实现，在编译阶段确定调用哪个函数。动态多态：通过继承、虚函数和基类指针/引用实现，在程序运行时根据实际对象类型确定调用哪个函数。动态多态让程序更灵活、可扩展，符合开闭原则（对扩展开放，对修改关闭）。二、动态多态的实现条件要实现动态多态，必须满足以下四个条件：存在继承关系：派生类继承基类。基类中有虚函数（或纯虚函数），派生类重写（override）该虚函数。使用基类类型的指针或引用指向派生类对象。通过基类指针或引用调用虚函数。此时，编译器不会在编译时静态绑定函数地址，而是在运行时动态确定实际对象的类型，调用对应的函数版本。这种机制称为动态绑定或晚期绑定。三、虚函数（virtual function）虚函数是动态多态的基础。在基类中用关键字virtual声明的成员函数，可以在派生类中被重写。一般形式：classBase{public:virtualvoidfunc(){// 虚函数// 基类实现}};派生类重写时，可以不加virtual（但习惯加上以表意），也可以使用override关键字（C++11 起）让编译器帮助检查是否正确重写。classDerived:publicBase{public:voidfunc()override{// 重写基类的虚函数// 派生类实现}};虚函数表（vtable）简述每个包含虚函数的类（或其派生类）都有一个虚函数表，表中存放了该类所有虚函数的地址。每个对象有一个隐藏的指针（vptr）指向该表。当通过基类指针调用虚函数时，程序通过 vptr 找到实际类的虚函数表，再从中取出正确的函数地址调用。这就是动态绑定的底层机制。四、纯虚函数与抽象类1. 纯虚函数的一般形式纯虚函数是一种特殊的虚函数，它在基类中没有实现，只声明接口，强制派生类提供实现。语法是在虚函数声明末尾加上= 0。classBase{public:virtualvoidpureVirtualFunc()=0;// 纯虚函数};2. 抽象类包含至少一个纯虚函数的类称为抽象类。抽象类不能实例化对象（不能创建该类的变量），只能作为接口使用。抽象类可以包含普通成员函数、数据成员和构造函数（用于派生类初始化）。如果派生类没有重写基类中的所有纯虚函数，则派生类仍然是抽象类，也不能实例化。3. 纯虚函数的用途定义接口规范，要求所有派生类必须实现某些行为。作为基类，提供公共的属性和方法，同时强制派生类完成特定功能。实现多态中的“一个接口，多种方法”。五、完整代码示例下面通过一个图形绘制的例子演示多态和纯虚函数。#includeiostream#includevectorusingnamespacestd;// 抽象基类 ShapeclassShape{public:// 纯虚函数：任何派生类必须实现 draw()virtualvoiddraw(