基类实现

我们先实现一个基类

class BaseTest
{
private:
    virtual void display() { cout << "Base display" << endl; }
    void say() { cout << "Base say()" << endl; }

public:
    virtual void func() { cout << "Base func()" << endl; }
    void exec()
    {
        display();
        say();
    }
    void f1(string a) { cout << "Base f1(string)" << endl; }
    void f1(int a) { cout << "Base f1(int)" << endl; }

    void exec2()
    {
        display();
        say();
    }
};

BaseTest类中我们实现了一个虚函数display和 func。 BaseTest类内部重载了f1函数，实现了两个版本，一个参数为string一个参数为int。 同一个类中的多个同名函数叫做重载。 实现了普通函数say，exec以及exec2函数。exec和exec2函数内部调用了display和say函数。

子类实现

子类DeriveA继承了基类

class DeriveA : public BaseTest
{
public:
    void display() { cout << "DeriveA display()" << endl; }
    void f1(int a, int b) { cout << "DeriveA f1(int,int)" << endl; }
    void say() { cout << "DeriveA say()" << endl; }
    virtual void func() { cout << "DeriveA func()" << endl; }
    void use_base_f1(int a, int b)
    {
        BaseTest::f1(2);
        BaseTest::f1("test");
        cout << "DeriveA f1(int, int)" << endl;
    }
    void exec2()
    {
        display();
        say();
    }
};

子类DeriveA 子类重新实现了display和func函数，子类重新实现父类的虚函数，叫做重写。 同样子类重新实现了f1和say函数，由于父类有f1和say，所以子类重新实现覆盖了父类的函数， 这种普通函数被子类重写导致父类的函数被隐藏了，叫做覆盖。

函数调用

接下来我们通过函数调用，看一下覆盖，重载和重写的区别

void derive_base_test1()
{
    DeriveA a;
    BaseTest *b = &a;
    shared_ptr<BaseTest> c = make_shared<BaseTest>();
    //输出DeriveA func()
    b->func();
    //输出DeriveA func()
    a.func();
    //输出Base f1(string)
    b->f1("abc");
    //输出Base f1(int)
    b->f1(3);
    //输出DeriveA f1(int,int)
    a.f1(3, 5);

    a.use_base_f1(2, 4);
    cout << "========================" << endl;
    //输出DeriveA display()
    //输出Base say()
    b->exec();
    //输出DeriveA display()
    //输出Base say()
    a.exec();
    //输出Base display
    //输出Base say()
    c->exec();
    cout << "======================== \n"
         << endl;
    //输出 DeriveA display()
    //输出 Base say()
    b->exec2();
    //输出 DeriveA display()
    //输出 DeriveA say()
    a.exec2();
    //输出 Base display
    //输出 Base say()
    c->exec2();
}

代码里我们生成了一个DeriveA的实例a, 并将该实例返回给基类BaseTest的指针b，所以：

1     b->func();会根据多态的效果调用子类DeriveA的func函数

2     a.func() 因为a是一个对象，所以调用子类DeriveA的func函数

3     b->f1("abc") 调用基类BaseTest的f1，因为f1是一个普通函数

4     a.f1(3, 5) 调用DeriveA的f1，因为a是一个普通对象。

5     当我们想在子类里调用基类的f1函数，可以通过基类作用域加函数名的方式，比如例子中的

a.use_base_f1就在函数内部通过BaseTest::f1调用了基类函数f1

6     b->exec，首先b是一个指针且exec为普通函数只在基类实现了，所以调用基类的exec， 但是exec内部调用了虚函数display，此时触发多态机制调用DeriveA的display函数，因为b是一个指向子类DeriveA对象的基类BaseTest指针，exec内部调用了普通函数display，因为display不是虚函数，所以调用BaseTest的display函数

7     a.exec(); a是一个DeriveA对象，DeriveA自己没有实现exec函数，所以调用基类BaseTest的exec函数，exec内部调用display虚函数时由于DeriveA重写了display函数，所以调用DeriveA的display函数，exec内部调用say函数时由于say是普通函数，所以此时调用的是BaseTest的say函数。

8     c->exec(); 因为c为BaseTest类型，所以调用的就是BaseTest的exec，内部执行的也是BaseTest的display和say。

9     b->exec2(); 因为b是一个子类BaseTest的指针，所以调用BaseTest的exec2函数，exec2内部调用display时触发多态机制调用DeriveA的display，调用say时因为say是普通函数，所以调用BaseTest的say函数。

10     a.exec2(); 因为a是DeriveA类对象，且DeriveA实现了exec2，所以a调用DeriveA的exec2，这样exec2内部调用的都是DeriveA的say和display

11     c->exec2(); c为BaseTest类对象，所以调用BaseTest类的exec2以及display和say函数。

总结

考察一个函数是被子类还是基类调用时应该分以下几种情况 1     该函数是虚函数并且被子类重写，如果是基类指针指向子类对象，调用该函数则引发多态机制，调用子类的虚函数

2     如果该函数时虚函数并且没有被重写，那么无论调用的对象是基类指针还是子类对象，还是基类对象， 还是子类指针都是调用基类的这个虚函数

3     如果该函数不是虚函数，如果该函数被子类覆盖(子类重新定义了同名函数)，那么调用规则就是子类调用子类的该函数， 基类调用该基类的函数。

4     如果该函数不是虚函数，并且子类没有定义同名函数(没有覆盖基类同名函数)，那么无论是子类还是基类的指针或者对象， 统一调用的是基类的函数。

5     如果第4点里基类的函数(没有被子类覆盖)，但是内部调用了基类的虚函数，并且该虚函数被子类重写，这时内部这个虚函数调用规则 就要看调用对象的实际类型，符合1的调用标准，多态就走子类，不是多态就走基类(此时符合2标准)

6     如果第3点里基类的函数(被子类覆盖)，但是内部调用了基类的虚函数，并且该虚函数被子类重写，这时内部这个虚函数调用规则 就要看调用对象的实际类型，符合1的调用标准，多态就走子类，不是多态就走基类(此时符合2标准)

资源链接

本文模拟实现了vector的功能。 视频链接https://www.bilibili.com/video/BV19S4y1J7kV/?vd_source=8be9e83424c2ed2c9b2a3ed1d01385e9 源码链接 https://gitee.com/secondtonone1/cpplearn