8.4 虚函数

 

8.4 虚函数

虚函数是实现动态联编的基础。在C++中，虚函数是非静态的成员函数。通过在基类中声明虚函数，可以在派生类中重写这些函数，并在运行时根据实际对象类型调用相应的函数实现。本文将详细探讨虚函数的定义、使用方法以及相关的编程示例。

虚函数的定义

虚函数的定义形式如下：

virtual <返回类型> <函数名>(<参数表>);

在某个类中，如果某个成员函数被声明为虚函数，这意味着该成员函数在派生类中可以被重写。当通过基类指针或引用调用该成员函数时，将采用动态联编方式，即在运行时确定调用的具体函数实现。

示例：动态联编

以下是一个关于动态联编的例子：

#include <iostream>
using namespace std;

class Point {
public:
    Point(double i, double j) { x = i; y = j; }
    virtual double Area() const { return 0.0; }

private:
    double x, y;
};

class Rectangle : public Point {
public:
    Rectangle(double i, double j, double k, double l) : Point(i, j) { w = k; h = l; }
    double Area() const override { return w * h; }

private:
    double w, h;
};

void fun(Point &s) {
    cout << s.Area() << endl;
}

int main() {
    Rectangle rec(3.0, 5.2, 15.0, 25.0);
    fun(rec);
    return 0;
}

说明

执行该程序，输出结果如下：

375

在这个例子中，Point 类中的 Area 函数被声明为虚函数。因此，当通过基类引用 s 调用 Area 函数时，程序在运行时动态绑定到 Rectangle 类的 Area 函数，输出结果为 375。

虚函数的条件

派生类中重写的虚函数必须满足以下条件：

1. 派生类中的虚函数与基类的虚函数具有相同的参数个数。
2. 派生类中的虚函数参数类型与基类虚函数的对应参数类型相同。
3. 派生类中的虚函数返回值类型与基类虚函数相同，或者都返回指针或引用，且派生类虚函数返回的指针或引用类型是基类虚函数返回类型的子类型。

满足上述条件的派生类成员函数即为虚函数，可以不必在派生类中再次加 virtual 说明。

示例：多态性与虚函数

通过一个更复杂的例子来展示虚函数在多态性中的作用。

#include <iostream>
using namespace std;

class A {
public:
    virtual void act1() {
        cout << "A::act1() called." << endl;
    }
    void act2() {
        act1();
    }
};

class B : public A {
public:
    void act1() override {
        cout << "B::act1() called." << endl;
    }
};

int main() {
    B b;
    b.act2(); // 输出 "B::act1() called."
    return 0;
}

说明

在这个例子中，B 类重写了 A 类的 act1 虚函数。调用 b.act2() 时，act2 函数内部调用的是 act1 函数。由于 act1 是虚函数，程序在运行时动态绑定到 B 类的 act1 实现，输出结果为 B::act1() called.。

结论

虚函数是C++中实现多态性和动态联编的关键。通过声明虚函数，可以在派生类中重写这些函数，并在运行时根据对象的实际类型调用相应的函数实现。这种机制大大增强了程序的灵活性和可扩展性。希望本文对虚函数的理解有所帮助，为编写更灵活、更易维护的C++程序提供支持。