C++ 重载重写覆盖的区别

C++多态:覆盖、重载与重写实战解析
本文详细介绍了C++中基类和子类的实现,包括虚函数、重载、重写,以及函数调用时的多态行为。通过实例演示了覆盖、重载的区别,以及如何正确运用基类和派生类的方法。

基类实现

我们先实现一个基类

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

<think>好的,用户想了解C++重写重载覆盖的概念及区别,特别是重写重载区别以及覆盖的用法。我需要先理清楚这几个术语的定义,然后找出它们之间的不同点。 首先,根据提供的引用内容,覆盖(Override)重写(Override)似乎是同一个概念的不同说法,都是指在派生类中重新定义基类的虚函数。比如引用[1]提到重写覆盖的同义词,而引用[4]明确说明函数覆盖是子类重新定义基类的虚函数。所以覆盖重写应该是一个意思,都是关于虚函数的重新定义。 然后是重载(Overload),引用[3]引用[5]指出,重载是在同一作用域内,函数名相同但参数列表不同,包括参数类型、数量或顺序的不同。例如,同一个类中有多个同名函数,但参数不同,这就是重载。 接下来需要区分覆盖重写重载的不同之处。根据引用[3],覆盖发生在继承关系中,需要虚函数,而重载是在同一作用域的函数。此外,覆盖要求函数名、参数列表、返回类型都相同,而重载的参数列表必须不同。 用户可能混淆这些术语,特别是覆盖重写是否相同。根据引用[1]引用[4],是的,它们是同义词。但需要注意,有时候不同的资料可能会有不同的术语使用,但根据提供的引用,这里覆盖就是重写覆盖的用法方面,引用[4]提到必须使用虚函数,子类函数可以用override关键字。例如基类中声明virtual void show(),子类中用void show() override来覆盖。 还需要注意隐藏的情况,当子类有同名函数但参数不同,且基类函数不是虚函数时,会导致基类函数被隐藏。这可能在问题中出现,但用户没有提到,但可能需要简要说明。 总结回答结构,应该分点解释每个概念,然后对比它们的区别,最后给出覆盖的用法示例。要使用中文,确保LaTeX格式正确,行内公式用$,独立公式用$$,但当前问题可能不涉及数学公式,但如果有变量或代码,需要处理。 用户的问题还包括生成相关问题,需要根据内容提出相关的问题,比如区别、override关键字作用、隐藏的影响等。 检查引用内容是否准确,引用[1]、[4]、[5]都涉及覆盖重写的定义,引用[3]、[5]讨论重载。需要确保在回答中正确引用这些来源,比如覆盖的条件来自引用[4],重载的条件来自引用[3][5]。 最后,确保回答结构清晰,分点说明,代码示例正确使用格式,并添加相关问题。</think>### C++重写重载覆盖区别及用法详解 #### 一、核心概念 1. **重载(Overload)** 在同一作用域内(如类或命名空间),定义多个**同名函数**,但参数列表(类型、数量、顺序)必须不同。返回类型可以不同,但仅返回类型不同不构成重载[^3][^5]。 **示例**: ```cpp void print(int a) { ... } // 重载1 void print(double a) { ... } // 重载2 void print(int a, int b) { ... }// 重载3 ``` 2. **覆盖/重写(Override)** 在继承关系中,子类**重新定义基类的虚函数**,要求函数名、参数列表、返回类型完全相同(协变返回类型除外)。基类函数必须声明为`virtual`,子类建议使用`override`关键字显式标记[^1][^4][^5]。 **示例**: ```cpp class Base { public: virtual void show() { cout << "Base" << endl; } // 虚函数 }; class Derived : public Base { public: void show() override { cout << "Derived" << endl; } // 覆盖基类函数 }; ``` 3. **隐藏** 若子类定义了与基类同名函数(非虚函数),即使参数列表不同,也会**隐藏基类同名函数**,需通过作用域运算符`::`访问。 #### 二、核心区别 | **特性** | 重载(Overload) | 覆盖/重写(Override) | 隐藏 | |----------------|------------------------|--------------------------------|--------------------| | **作用域** | 同一作用域(如类内) | 继承关系中 | 继承关系中 | | **函数要求** | 参数列表不同 | 函数名、参数、返回类型相同 | 函数名相同 | | **虚函数** | 不要求 | 基类必须为虚函数 | 不要求 | | **多态性** | 静态多态(编译时绑定) | 动态多态(运行时绑定) | 无多态 | | **关键字** | 无 | `virtual`(基类)、`override`(子类) | 无 | #### 三、覆盖的用法 1. **基本规则** - 基类函数必须声明为`virtual`。 - 子类函数建议使用`override`关键字,避免因签名不匹配导致的错误[^1]。 - 协变返回类型允许子类返回基类函数返回类型的派生类(如`Base*` → `Derived*`)。 2. **代码示例** ```cpp #include <iostream> using namespace std; class Animal { public: virtual void speak() { cout << "I am an animal." << endl; } // 虚函数 }; class Cat : public Animal { public: void speak() override { // 覆盖基类函数 cout << "I am a cat." << endl; } }; int main() { Animal* pa = new Cat(); pa->speak(); // 输出"I am a cat."(动态绑定) delete pa; return 0; } ``` 输出结果: ``` I am a cat. ``` #### 四、总结 - **重载**:通过参数多样化扩展函数功能,编译时确定调用版本[^5]。 - **覆盖**:实现运行时多态,需遵循虚函数规则,是面向对象的核心特性。 - **隐藏**:易导致代码混淆,应谨慎使用。
评论
成就一亿技术人!
拼手气红包6.0元
还能输入1000个字符
 
红包 添加红包
表情包 插入表情
 条评论被折叠 查看
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包

打赏作者

恋恋风辰

感谢打赏

¥1 ¥2 ¥4 ¥6 ¥10 ¥20
扫码支付:¥1
获取中
扫码支付

您的余额不足,请更换扫码支付或充值

打赏作者

实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值