一文详解C++子类函数为什么不能重载父类函数

先说结论：

子类成员函数的函数名和基类一样，但是函数声明与基类不一样的时候，不会和基类函数构成重载，而是会隐藏基类函数

简要回顾下C++中的基本概念：

  • 重写（override): 基类函数带virtual,子类函数声明和基类完全一样，实现不一样重
  • 载（overload): 同一个类中，函数名一样，函数参数类型，个数，顺序等不一样的构成重载
  • 隐藏（hide): 子类函数名和基类一样，但是函数声明与基类不一样，就会对基类的函数进行隐藏

那么，子类函数名和基类一样，但是函数声明与基类不一样的时候，为什么不能重载基类函数呢？
先看

例子一：

#include <stdio.h>

class Base {
public:
    virtual void foo(float a) {
        printf(" Base :: foo(float) \n");
    };

    virtual void foo(double a) {
        printf(" Base :: foo(double) \n");
    };
};

class Derived : public Base {
public:
    virtual void foo(double a) {
        printf(" Derived :: foo(double) \n");
    };

};

int main() {
    Derived d;
    float a = 3.0f;
    d.foo(a);

    Base b;
    b.foo(a);
}

如果重载可以发生在子类和基类之间，函数调用d.foo(a)的最佳匹配应该是Base::foo(float a)，而实际输出是

Derived :: foo(double)

说明float类型的a向上转型为double,调用了子类的函数，重载没有在子类和基类间发生。这里如果类型转换不能发生，将不能通过编译。

而b.foo(a)的输出为：

Base :: foo(float)

这说明重载在单个类内部进行。

如果实在想在子类中调用父类的函数，对于下面的例子二（不能编译通过）：

class A
{
public:
  void a() {}
};

class B : public A
{
public:
  void a(int) {}
};

int main()
{
  B b;
  b.a();
}

如果需要上面的函数可以编译通过，我们可以这样做：

  • 在class B 内部加上using A::a
  • 调用时使用b.A::a()，不推荐这样做

当然，问题的关键是为什么C++的设计者这么设计，从技术实现来说，访问基类函数来进行名字查找，实现跨类重载没有太大的难度。但是从实际用户意图来说，像上面B中添加void a(int)函数的目的就是为了重新实现A的接口，并隐藏原来的接口；当然，如果用户不想隐藏，可以加上using A::a。
另外，对于例子一，如果实现了跨类重载，那么d.foo(a)将也会调用到基类的函数，尽管float可以转型到float, 将很容易引起混淆。

顺应用户意图和避免不必要的混淆，这可能就是C++设计者这么设计的原因。

到此这篇关于一文详解C++子类函数为什么不能重载父类函数的文章就介绍到这了,更多相关C++子类函数内容请搜索我们以前的文章或继续浏览下面的相关文章希望大家以后多多支持我们！

赞 (0)

相关推荐

  • 浅谈C++类型转化(运算符重载函数)和基本运算符重载(自增自减)

    类型转化(运算符重载函数) 用转换构造函数可以将一个指定类型的数据转换为类的对象.但是不能反过来将一个类的对象转换为一个其他类型的数据(例如将一个Complex类对象转换成double类型数据).在C++提供类型转换函数(type conversion function)来解决这个问题.类型转换函数的作用是将一个类的对象转换成另一类型的数据. 类型转换函数的一般形式为: operator 类型名( ){ 实现转换的语句 } 下面是简单实现.这时候,Base起了两方面的作用:类和数据类型.系统会在

  • C++类重载函数的function和bind使用示例

    在没有C++11的std::function和std::bind之前,我们使用函数指针的方式是五花八门,结构很繁琐难懂.C++11中提供了std::function和std::bind统一了可调用对象的各种操作. 1.std::function简介 std::function首先是可调用对象,本质上生成了一个类(仿函数) 简单的使用如下代码 #include <unordered_map> #include <iostream> #include <functional>

  • 详解C++函数类型与重载函数

    目录 1. 2. 问题: 总结 1. 首先对重载函数,明确函数的返回类型不能决定重载函数的类别,即 int F(int ,int) ://一个返回 int 类型的函数 void F(int ,int)://一个无返回值的函数 //两者形参列表相同,返回值类型不同,但两者不构成重载函数 2. 注意形参列表中的默认值,使用含默认参数的重载函数时可能会产生二义性.例: int a = 0; int Max(int,int); int Max(int,int,int = 0); //则对Max(3,5)

  • 一文详解C++子类函数为什么不能重载父类函数

    先说结论: 子类成员函数的函数名和基类一样,但是函数声明与基类不一样的时候,不会和基类函数构成重载,而是会隐藏基类函数 简要回顾下C++中的基本概念: 重写(override): 基类函数带virtual,子类函数声明和基类完全一样,实现不一样重 载(overload): 同一个类中,函数名一样,函数参数类型,个数,顺序等不一样的构成重载 隐藏(hide): 子类函数名和基类一样,但是函数声明与基类不一样,就会对基类的函数进行隐藏 那么,子类函数名和基类一样,但是函数声明与基类不一样的时候,为什

  • 一文详解Python中的Map,Filter和Reduce函数

    目录 1. 引言 2. 高阶函数 3. Lambda表达式 4. Map函数 5. Filter函数 6. Reduce函数 7. 总结 1. 引言 本文重点介绍Python中的三个特殊函数Map,Filter和Reduce,以及如何使用它们进行代码编程.在开始介绍之前,我们先来理解两个简单的概念高阶函数和Lambda函数. 2. 高阶函数 把函数作为参数传入,这样的函数称为高阶函数,函数式编程就是指这种高度抽象的编程范式. 举例如下: def higher(your_function, som

  • 一文详解如何用原型链的方式实现JS继承

    一文详解如何用原型链的方式实现JS继承

    目录 原型链是什么 通过构造函数创建实例对象 用原型链的方式实现继承 方法1:Object.create 方法2:直接修改 [[prototype]] 方法3:使用父类的实例 总结 今天讲一道经典的原型链面试题. 原型链是什么 JavaScript 中,每当创建一个对象,都会给这个对象提供一个内置对象 [[Prototype]] .这个对象就是原型对象,[[Prototype]] 的层层嵌套就形成了原型链. 当我们访问一个对象的属性时,如果自身没有,就会通过原型链向上追溯,找到第一个存在该属性原

  • 一文详解Java中的类加载机制

    一文详解Java中的类加载机制

    目录 一.前言 二.类加载的时机 2.1 类加载过程 2.2 什么时候类初始化 2.3 被动引用不会初始化 三.类加载的过程 3.1 加载 3.2 验证 3.3 准备 3.4 解析 3.5 初始化 四.父类和子类初始化过程中的执行顺序 五.类加载器 5.1 类与类加载器 5.2 双亲委派模型 5.3 破坏双亲委派模型 六.Java模块化系统 一.前言 Java虚拟机把描述类的数据从Class文件加载到内存,并对数据进行校验.转换解析和初始化,最 终形成可以被虚拟机直接使用的Java类型,这个过程

  • 一文详解Java抽象类到底有多抽象

    一文详解Java抽象类到底有多抽象

    目录 抽象类 1.引出抽象类 2.认识抽象类 接口 1.抽象类和接口的区别 2.认识接口 3.具体实现 USB接口 接口表示能力 抽象类 1.引出抽象类 向上转型带来的最大的好处就是参数统一化,使用共同的父类引用,就可以接收所有的子类实例. 多态非常依赖方法覆写,但是子类可以选择性的覆写父类的方法,若需要强制要求子类覆写方法,就会用到抽象类其实显示生活中就有很多的抽象类,这些类都是概念化的,没法具体到某个实例,但是能描述这一类对象的共同属性和方法,比如人类,就没法具体到某一类人,世界上有很多类人

  • 一文详解Python中复合语句的用法

    目录 Python复合语句 1.if 语句 2.while 语句 3.for 语句 4.try 语句 5.with 语句 6.match 语句 Python复合语句 复合语句是包含其它语句(语句组)的语句:它们会以某种方式影响或控制所包含其它语句的执行.通常,复合语句会跨越多行,虽然在某些简单形式下整个复合语句也可能包含于一行之内. if.while和for语句用来实现传统的控制流程构造.try语句为一组语句指定异常处理和/和清理代码,而with语句允许在一个代码块周围执行初始化和终结化代码.函

  • 一文详解typeScript的extends关键字

    目录 前言 extends 的几个语义 extends 与 类型组合/类继承 extends 与类型约束 extends 与条件类型 extends 与 {} extends 与 any extends 与 never extends 与 联合类型 extends 判断类型严格相等 extends 与类型推导 总结 前言 声明: 以下文章所包含的结论都是基于 typeScript@4.9.4 版本所取得的. extends 是 typeScript 中的关键字.在 typeScript 的类型编

  • 一文详解 OpenGL ES 纹理颜色混合的方法

    一文详解 OpenGL ES 纹理颜色混合的方法

    目录 一.混合API 二.参数含义 2.1 举个栗子 2.2 参数含义 三. 几种常用混合方式效果 3.1 混合(GL_ONE, GL_ZERO) 3.2 混合(GL_ONE, GL_ONE) 3.3 混合(GL_ONE, GL_ONE_MINUS_DST_ALPHA) 3.4 混合 (GL_SRC_ALPHA, GL_ONE) 3.5 混合 (GL_SRC_ALPHA, GL_ONE_MINUS_SRC_ALPHA) 在OpenGL中绘制的时候,有时候想使新画的颜色和已经有的颜色按照一定的方式

  • 一文详解JS中的事件循环机制

    目录 前言 1.JavaScript是单线程的 2.同步和异步 3.事件循环 前言 我们知道JavaScript 是单线程的编程语言,只能同一时间内做一件事,按顺序来处理事件,但是在遇到异步事件的时候,js线程并没有阻塞,还会继续执行,这又是为什么呢?本文来总结一下js 的事件循环机制. 1.JavaScript是单线程的 JavaScript 是一种单线程的编程语言,只有一个调用栈,决定了它在同一时间只能做一件事.在代码执行的时候,通过将不同函数的执行上下文压入执行栈中来保证代码的有序执行.在

  • 一文详解Python中生成器的原理与使用

    目录 什么是生成器 迭代器和生成器的区别 创建方式 生成器表达式 基本语法 生成器函数 yield关键字 yield和return yield的使用方法 生成器函数的基本使用 send的使用 可迭代对象的优化 总结 我们学习完推导式之后发现,推导式就是在容器中使用一个for循环而已,为什么没有元组推导式? 原因就是“元组推导式”的名字不是这样的,而是叫做生成器表达式. 什么是生成器 生成器表达式本质上就是一个迭代器,是定义迭代器的一种方式,是允许自定义逻辑的迭代器.生成器使用generator表

随机推荐