C++中如何实现多态特性_多态实现原理与代码示例

c++++中多态的核心在于通过虚函数实现“一个接口，多种方法”。1. 使用virtual关键字在基类中声明虚函数；2. 派生类重写虚函数并使用override提高可读性；3. 通过基类指针或引用调用虚函数，实际执行派生类的实现。若不使用虚函数，则调用始终绑定到基类函数。虚函数表（vtable）在编译时生成，存储虚函数地址，对象通过虚函数指针（vptr）访问对应vtable以实现运行时动态绑定。纯虚函数使类成为抽象类，必须被继承并重写才能实例化派生类。多重继承下，派生类可能拥有多个vptr以支持不同基类的虚函数调用。

C++中多态的核心在于允许你使用指向基类的指针或引用来调用派生类中的函数，从而实现“一个接口，多种方法”。 这背后的机制涉及虚函数表（vtable）和虚函数指针（vptr），使得在运行时能够确定实际调用的函数。

解决方案

多态的实现主要依赖于虚函数。 当一个类中声明了虚函数，编译器会为该类创建一个虚函数表（vtable），其中存储了该类及其父类的虚函数地址。 类的每个对象都会包含一个指向该vtable的虚函数指针（vptr）。

1. 虚函数声明： 在基类中使用

   virtual

   登录后复制
   关键字声明虚函数。

   立即学习“C++免费学习笔记（深入）”；

   class Base {
   public:
       virtual void display() {
           std::cout << "Base class display" << std::endl;
       }
   };

   登录后复制

2. 派生类重写： 在派生类中重写（override）基类的虚函数。 注意override关键字可以提高代码可读性，避免错误。

   

   class Derived : public Base {
   public:
       void display() override {
           std::cout << "Derived class display" << std::endl;
       }
   };

   登录后复制

3. 通过指针或引用调用： 通过基类指针或引用调用虚函数。

   Base* basePtr;
   Derived derivedObj;
   basePtr = &derivedObj;
   basePtr->display(); // 输出 "Derived class display"

   登录后复制

在这个例子中，

basePtr

Derived

basePtr

Base

display

Derived

display

那么，没有虚函数会怎样？ 如果

display

basePtr->display()

Base

display

basePtr

Derived

ViiTor实时翻译

AI实时多语言翻译专家！强大的语音识别、AR翻译功能。

116

查看详情

什么是虚函数表（vtable）？

虚函数表（vtable）是一个存储类虚函数地址的查找表。 每个包含虚函数的类都有一个 vtable。 vtable 是编译器在编译时生成的，通常是静态的。 类的每个对象（包含虚函数）都会有一个指向其 vtable 的指针（vptr）。 这个指针通常位于对象的内存布局的起始位置。

vtable 使得在运行时能够动态地确定应该调用哪个函数。 当通过基类指针或引用调用虚函数时，程序会通过 vptr 找到 vtable，然后在 vtable 中查找正确的函数地址并调用它。

纯虚函数与抽象类

纯虚函数是在基类中声明但没有定义的虚函数。 包含纯虚函数的类被称为抽象类。 抽象类不能被实例化，只能被继承。 派生类必须重写基类中的所有纯虚函数才能被实例化。

class Shape {
public:
    virtual double area() = 0; // 纯虚函数
};

class Circle : public Shape {
public:
    Circle(double r) : radius(r) {}
    double area() override { return 3.14159 * radius * radius; }
private:
    double radius;
};

在这个例子中，

Shape

area()

Circle

Shape

area()

Circle

Circle

area()

Circle

多重继承与多态

多重继承是指一个类继承自多个基类。 在多重继承的情况下，派生类可能会有多个 vptr，每个 vptr 指向一个基类的 vtable。 这会增加多态实现的复杂性，需要仔细设计类的继承关系和虚函数。

例如：

class Base1 {
public:
    virtual void display() { std::cout << "Base1" << std::endl; }
};

class Base2 {
public:
    virtual void show() { std::cout << "Base2" << std::endl; }
};

class Derived : public Base1, public Base2 {
public:
    void display() override { std::cout << "Derived (Base1)" << std::endl; }
    void show() override { std::cout << "Derived (Base2)" << std::endl; }
};

int main() {
    Derived d;
    Base1* b1 = &d;
    Base2* b2 = &d;

    b1->display(); // 输出 "Derived (Base1)"
    b2->show();    // 输出 "Derived (Base2)"

    return 0;
}

在这个例子中，

Derived

Base1

Base2

Derived

Base1

display

Base2

show

Base1

Base2

Derived

Derived

Base1

Base2

以上就是C++中如何实现多态特性_多态实现原理与代码示例的详细内容，更多请关注php中文网其它相关文章！