C++多态是怎么实现的虚函数与动态绑定机制-C++-PHP中文网

C++多态是怎么实现的虚函数与动态绑定机制

P粉602998670

发布： 2025-07-18 11:12:02

原创

341人浏览过

c++++多态性通过虚函数和动态绑定机制实现。1. 虚函数允许子类重写父类的方法，动态绑定在运行时确定调用哪个版本的函数；2. 虚函数表（vtable）是包含虚函数地址的函数指针数组，每个对象通过虚函数指针（vptr）指向其类的vtable，从而在运行时找到实际调用的函数；3. 基类析构函数应声明为虚函数，以确保通过基类指针删除派生类对象时能正确调用派生类和基类的析构函数，避免内存泄漏；4. 纯虚函数没有具体实现，包含纯虚函数的类为抽象类，不能被实例化，只能被继承；5. 动态绑定带来运行时函数地址查找的性能开销，虽比静态绑定慢，但通常可接受，必要时可用静态绑定或模板优化性能。

C++多态是怎么实现的虚函数与动态绑定机制

C++多态性通过虚函数和动态绑定机制实现。简单来说，虚函数允许子类重写父类的方法，而动态绑定则是在运行时确定调用哪个版本的函数。

虚函数与动态绑定机制

虚函数表（Vtable）和虚函数指针（Vptr）

每个包含虚函数的类都会有一个虚函数表（Vtable），它是一个函数指针数组，存储着该类所有虚函数的地址。类的每个对象都会包含一个虚函数指针（Vptr），指向该类的Vtable。当通过指针或引用调用虚函数时，编译器会通过Vptr找到Vtable，然后根据函数在Vtable中的偏移量找到实际要调用的函数地址。

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

这种机制的关键在于，Vtable是在编译时确定的，而Vptr是在运行时确定的。因此，即使在编译时不知道对象的具体类型，也可以在运行时正确地调用相应的虚函数。

举个例子：

class Animal {
public:
    virtual void makeSound() {
        std::cout << "Generic animal sound" << std::endl;
    }
};

class Dog : public Animal {
public:
    void makeSound() override {
        std::cout << "Woof!" << std::endl;
    }
};

class Cat : public Animal {
public:
    void makeSound() override {
        std::cout << "Meow!" << std::endl;
    }
};

int main() {
    Animal* animal1 = new Animal();
    Animal* animal2 = new Dog();
    Animal* animal3 = new Cat();

    animal1->makeSound(); // 输出 "Generic animal sound"
    animal2->makeSound(); // 输出 "Woof!"
    animal3->makeSound(); // 输出 "Meow!"

    delete animal1;
    delete animal2;
    delete animal3;

    return 0;
}

登录后复制

在这个例子中，Animal 类声明了一个虚函数 makeSound()。Dog 和 Cat 类都重写了这个函数。在 main() 函数中，我们创建了指向 Animal 对象的指针，但实际上它们指向的是 Animal、Dog 和 Cat 类型的对象。当调用 makeSound() 函数时，由于它是虚函数，所以会根据对象的实际类型来调用相应的函数。这就是动态绑定的体现。

阿里云-虚拟数字人

阿里云-虚拟数字人是什么？ ...

查看详情

为什么需要虚析构函数？

如果基类的析构函数不是虚函数，那么通过基类指针删除派生类对象时，只会调用基类的析构函数，而不会调用派生类的析构函数，这会导致内存泄漏。

考虑以下代码：

class Base {
public:
    Base() { std::cout << "Base constructor" << std::endl; }
    ~Base() { std::cout << "Base destructor" << std::endl; }
};

class Derived : public Base {
public:
    Derived() {
        std::cout << "Derived constructor" << std::endl;
        data = new int[10];
    }
    ~Derived() {
        std::cout << "Derived destructor" << std::endl;
        delete[] data;
    }
private:
    int* data;
};

int main() {
    Base* b = new Derived();
    delete b; // 只调用Base的析构函数，导致内存泄漏
    return 0;
}

登录后复制

如果将 Base 类的析构函数声明为虚函数，那么通过基类指针删除派生类对象时，会先调用派生类的析构函数，然后再调用基类的析构函数，从而避免内存泄漏。

class Base {
public:
    Base() { std::cout << "Base constructor" << std::endl; }
    virtual ~Base() { std::cout << "Base destructor" << std::endl; }
};

class Derived : public Base {
public:
    Derived() {
        std::cout << "Derived constructor" << std::endl;
        data = new int[10];
    }
    ~Derived() {
        std::cout << "Derived destructor" << std::endl;
        delete[] data;
    }
private:
    int* data;
};

int main() {
    Base* b = new Derived();
    delete b; // 先调用Derived的析构函数，再调用Base的析构函数
    return 0;
}

登录后复制

纯虚函数和抽象类

纯虚函数是在基类中声明的虚函数，它没有具体的实现。包含纯虚函数的类称为抽象类。抽象类不能被实例化，只能被继承。

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;
};

int main() {
    // Shape s; // 错误：不能实例化抽象类
    Circle c(5);
    std::cout << "Area: " << c.area() << std::endl;
    return 0;
}

登录后复制

在这个例子中，Shape 类是一个抽象类，因为它包含一个纯虚函数 area()。Circle 类继承了 Shape 类，并实现了 area() 函数。