码上去学海南公司:C++中什么是虚函数?

本文码上去学海南公司将深入探讨C++中的虚函数，解释其概念、作用、使用场景，并通过代码示例来具体说明。虚函数是面向对象编程中的一个核心概念，它允许程序在运行时动态地确定调用的函数，从而实现多态性。

一、虚函数的概念

在C++中，虚函数（virtual function）是一种允许子类覆盖父类中定义的函数的特性。虚函数通过在基类中声明为 virtual来标识。当基类指针或引用指向派生类对象时，通过基类指针或引用调用虚函数，将会调用相应派生类中的函数实现，这就是动态绑定或多态的一种表现。

二、虚函数的作用

虚函数的主要作用是实现多态性。多态性是面向对象编程的三大特性之一，它允许我们使用基类指针或引用来操作派生类对象，并在运行时确定实际调用的函数。这样，我们可以编写更加通用和可扩展的代码。

三、虚函数的使用场景

1. 当需要在基类中定义接口，并在派生类中实现或覆盖这些接口时。通过虚函数，基类可以定义一个通用的接口，而不同的派生类可以根据自己的需要实现或覆盖这个接口。
2. 当需要使用基类指针或引用来操作派生类对象，并希望在运行时确定实际调用的函数时。通过虚函数和多态性，我们可以编写更加灵活和可扩展的代码。

四、虚函数的代码示例

下面是一个简单的示例，展示了如何使用虚函数：

#include <iostream>
using namespace std;

// 基类 Animal
class Animal {
public:
 // 声明一个虚函数 makeSound
 virtual void makeSound() {
        cout << "Animal makes a sound" << endl;
 }
};

// 派生类 Dog
class Dog : public Animal {
public:
 // 覆盖基类中的虚函数 makeSound
 void makeSound() override {
        cout << "Dog barks" << endl;
 }
};

// 派生类 Cat
class Cat : public Animal {
public:
 // 覆盖基类中的虚函数 makeSound
 void makeSound() override {
        cout << "Cat meows" << endl;
 }
};

int main() {
 Animal *animal; // 基类指针
 Dog dog; // 派生类 Dog 的对象
 Cat cat; // 派生类 Cat 的对象

 // 使用基类指针指向 Dog 对象，并调用虚函数 makeSound
    animal = &dog;
    animal->makeSound(); // 输出 "Dog barks"

 // 使用基类指针指向 Cat 对象，并调用虚函数 makeSound
    animal = &cat;
    animal->makeSound(); // 输出 "Cat meows"

 return 0;
} 

在上面的示例中，我们定义了一个基类 Animal 和两个派生类 Dog 和 Cat。基类 Animal 中声明了一个虚函数 makeSound，并在两个派生类中分别覆盖了这个函数。在 main 函数中，我们使用基类指针 animal 分别指向 Dog 和 Cat 的对象，并通过这个指针调用虚函数 makeSound。由于 makeSound 是虚函数，所以程序会在运行时动态地确定实际调用的函数，从而实现了多态性。

五、虚函数的注意事项

1. 虚函数表（vtable）：当一个类中有虚函数时，编译器会为该类创建一个虚函数表（vtable）。这个表存储了指向类中所有虚函数的指针。每个对象都会有一个指向虚函数表的指针（vptr），这样当通过基类指针或引用调用虚函数时，程序可以通过vptr找到正确的函数实现。
2. 构造函数和析构函数不能是虚函数：构造函数在对象创建时被调用，此时虚函数表还没有完全构建，因此构造函数不能是虚函数。同样地，析构函数也不应该是虚函数，除非基类析构函数被声明为虚函数，以确保在删除派生类对象时能够正确调用派生类的析构函数。然而，这里的“虚析构函数”是指在基类中声明为虚函数，并非指派生类中的析构函数也需要声明为虚函数。
3. 纯虚函数：纯虚函数是一种特殊类型的虚函数，它在基类中没有实现，并要求派生类提供实现。一个类如果包含纯虚函数，则该类是抽象类，不能被实例化。纯虚函数的声明形式为： virtualvoidfunctionName()=0;。
4. 性能考虑：虚函数会引入一些额外的开销，因为程序需要在运行时通过虚函数表来查找并调用正确的函数。因此，在不需要多态性的情况下，应避免使用虚函数。
5. 覆盖与重载：当派生类中的函数与基类中的虚函数具有相同的名称、参数列表和返回类型时，我们称派生类的函数覆盖了基类的函数。这与函数重载不同，重载是指在同一作用域内定义多个名称相同但参数列表不同的函数。
6. 显式覆盖：在C++11及更高版本中，可以使用 override关键字来显式指示派生类中的函数是覆盖基类中的虚函数。这有助于编译器检查代码的正确性，并防止因函数签名不匹配而导致的意外行为。例如： voidmakeSound()override{...}。
7. 析构函数与多态性：当使用基类指针或引用来操作派生类对象时，如果基类析构函数不是虚函数，那么在删除派生类对象时可能不会调用派生类的析构函数，从而导致资源泄漏或其他问题。因此，在需要多态性的情况下，通常应将基类的析构函数声明为虚函数。例如： virtual~Animal(){...}。这样，在删除派生类对象时，会先调用派生类的析构函数，然后再调用基类的析构函数。
8. 虚函数与模板方法模式：模板方法模式是一种行为设计模式，它在一个方法中定义了一个算法的骨架，并允许子类在不改变算法结构的情况下重新定义算法的某些步骤。通过使用虚函数和模板方法模式，我们可以实现一种灵活且可扩展的代码结构。在这种结构中，基类定义了算法的主要逻辑和流程（即模板方法），而派生类则通过覆盖基类中的虚函数来提供具体的实现细节。这种方式使得基类可以控制算法的整体结构，而派生类可以定制算法中的某些部分以满足特定需求。这种分离关注点的做法有助于提高代码的可读性、可维护性和可扩展性。例如，在上述示例中，我们可以将 makeSound方法视为模板方法中的一个步骤，并由不同的派生类提供具体的实现细节（如狗叫或猫叫）。通过这种方式，我们可以轻松地扩展出更多的动物类型及其叫声实现方式，而无需修改基类或现有派生类的代码逻辑。

以上就是本次分享的全部内容，想学习更多编程技巧，欢迎持续关注码上去学海南公司！