[原]静态多态 动态多态

王良 18/04/15 19:00:38

一. 静态多态

1. 何为静态多态?

又称编译期多态,即在系统编译期间就可以确定程序将要执行哪个函数。例如:函数重载,通过类成员运算符指定的运算。

2. 示例代码

函数重载示例:

class A {
public:
    A() {}
    A( int x ) {}
    void f() {}
    void f( int x ) {}
};

class B {
public:
    B() {}
    void f() {}
    void f( int x ) {}
};

以上,类A中两个A()是函数重载,两个f()是函数重载,类B同理。

二. 动态多态

1. 何为动态多态?

动态多态是利用虚函数实现运行时的多态,即在系统编译的时候并不知道程序将要调用哪一个函数,只有在运行到这里的时候才能确定接下来会跳转到哪一个函数。
动态多态是在虚函数的基础上实现的,而实现的条件有:
(1) 在类中声明为虚函数
(2) 函数的函数名,返回值,函数参数个数,参数类型,全都与基类的所声明的虚函数相同(否则是函数重载的条件)
(3) 将子类对象的指针(或以引用形式)赋值给父类对象的指针(或引用),再用该指向父类对象的指针(或引用)调用虚函数
如此,便可以实现动态多态,程序会按照实际对象类型来选择要实行的函数具体时哪一个。

2. 示例代码

(1) 非多态

#include <iostream>
using namespace std;

class A {
public:
    A() {}
    void f() { cout << "A::f() is called.\n"; }
};

class B : public A {
public:
    B() {}
    void f() { cout << "B::f() is called.\n"; }
};

int main() {
    A a;
    B b;

    A *p1 = &a;
    A *p2 = &b;

    p1->f();
    p2->f();

    return 0;
}
运行结果
A::f() is called.
A::f() is called.

在这种情况下,我们会发现程序的输出结果并不是我们想要的,而是两次调用的f()函数都是基类的。这是因为使用的是基类指针,而且基类中没有将f()声明为虚函数,所以每次调用都会使用基类的方法。

(2)多态

#include <iostream>
using namespace std;

class A {
public:
    A() {}
    virtual void f() { cout << "A::f() is called.\n"; }
};

class B : public A {
public:
    B() {}
    virtual void f() { cout << "B::f() is called.\n"; }
};

int main() {
    A a;
    B b;

    A *p1 = &a;
    A *p2 = &b;

    p1->f();
    p2->f();

    return 0;
}
运行结果
A::f() is called.
B::f() is called.

这样,也就实现了动态多态,程序可以按照我们期望的方式正确输出。

三. 总结

建议在基类中,如果含有虚函数,就将类的析构函数声明为虚析构函数,以避免在调用时发生错误。

作者:liushall 发表于 2018/04/15 19:00:38 原文链接 https://blog.csdn.net/liushall/article/details/79947910
阅读:60