不重新定义继承而来的缺省参数值

2023-12-22 17:58

本文主要是介绍不重新定义继承而来的缺省参数值,希望对大家解决编程问题提供一定的参考价值,需要的开发者们随着小编来一起学习吧!

你只能继承两种函数;virtual函数和non-virtual函数。然而重新定义一个继承而来的non-virtual函数是不应该的,所以我们不考虑重新定义一个继承而来的non-virtual函数,只讨论“继承一个带有缺省参数值的virtual函数”。

!!!问题引出自:virtual函数是动态绑定,而缺省参数值却是静态绑定。

什么是动态绑定和叫静态绑定?对象的所谓静态类型,就是它在程序中被声明时所采用的类型。考虑以下class继承体系:

class shape{
public:enum ShapeColor {Red,Green,Blue};virtual void draw(ShapeColor color = Red) const = 0;
};

class Rectangle:public Shape{
public:virtual void draw(ShapeColor color = Green)const;
};

class Circle:public Shape{
public:virtual void draw(ShapeColor color) const;
};

现在:

Shape* ps;
Shape* pc = new Circle;
Shape* pr = new Rectangle;

    由于ps、pc和pr都被声明为Shape*类型,所以它们的静态类型为Shape*。注意,不论它们指向什么,它们的静态类型都是Shape*。

   对像的动态类型则是指“目前所指对象的类型”。也就是说,动态类型可以表现出一个对象将会有什么行为。以上例而言,pc的动态类型为Circle*,pr的动态类型为Rectangle*。ps没有动态类型,因为它没有指向任何对象。

     动态类型可以在程序执行过程中改变。ps = pc;ps的动态类型如今是Circle*。 ps = pr;ps的动态类型如今是Rectangle*。

     virtual函数是动态绑定而来的,意思是调用一个virtual函数时,究竟调用哪一部分函数实现代码,取决于发出调用的那个对像的动态类型。

pc->draw(Shape::Red); //调用Circle::draw(Shape::Red)
pr->draw(Shape::Red); //调用Rectangle::draw(Shape::Red)
    你已经了解了virtual函数,但是,当你考虑带有缺省参数值的virtual函数时,花样来了。因为virtual函数是动态绑定的,而缺省参数是静态绑定的,意思是你可能会在“调用一个定义于Derived class内的virtual函数“的同时,却使用Base class为它指定的缺省参数值。

     pr->draw();此例中,pr的动态类型是Rectangle*,所以调用的是Rectangle的virtual函数。Rectangle的draw函数缺省参数应该是Green,但由于pr的静态类型是Shape*,所以此一调用的缺省参数值来自Shape class而非Rectangle class。结局是这个函数调用有着奇怪并且几乎没人能预料的组合,由Shape class的缺省参数值和Rectangle class 的draw函数体各出一半力。

(来自Effective C++)

以下程序输出结果是

class A
{
public:virtual void func(int val = 1){ std::cout<<"A->"<<val <<std::endl;}virtual void test(){ func();}
};
class B : public A
{
public:void func(int val=0)
{std::cout<<"B->"<<val <<std::endl;}
};
int main(int argc ,char* argv[])
{B*p = new B;p->test();
return 0;
}

正确答案: B   

A->0
B->1
A->1
B->0
编译出错
以上都不对
正确答案: B
记住: virtual 函数是动态绑定,而缺省参数值却是静态绑定。 意思是你可能会  在“调用一个定义于派生类内的virtual函数”的同时,却使用基类为它所指定的缺省参数值。
结论: 绝不重新定义继承而来的缺省参数值!(可参考《Effective C++》 条款37
对于本例:
1
2
3
B*p = newB;
p->test();
p->test()执行过程理解
(1) 由于B类中没有覆盖(重写)基类中的虚函数test(),因此会 调用基类A中的test()
(2) A中test()函数中继续调用虚函数 fun(),因为虚函数执行动态绑定,p此时的动态类型(即目前所指对象的类型)为B*,因此此时调用虚函数fun()时, 执行的是B类中的fun();所以先输出“ B->”;
(3)  缺省参数值是静态绑定,即此时 val的值使用的是基类 A中的缺省参数值,其值在编译阶段已经绑定,值为1,所以输出“ 1”;
最终输出“ B->1”。所以大家还是记住上述结论: 绝不重新定义继承而来的缺省参数值!

这篇关于不重新定义继承而来的缺省参数值的文章就介绍到这儿,希望我们推荐的文章对编程师们有所帮助!



http://www.chinasem.cn/article/524915

相关文章

CSS Anchor Positioning重新定义锚点定位的时代来临(最新推荐)

《CSSAnchorPositioning重新定义锚点定位的时代来临(最新推荐)》CSSAnchorPositioning是一项仍在草案中的新特性,由Chrome125开始提供原生支持需... 目录 css Anchor Positioning:重新定义「锚定定位」的时代来了! 什么是 Anchor Pos

C#继承之里氏替换原则分析

《C#继承之里氏替换原则分析》:本文主要介绍C#继承之里氏替换原则,具有很好的参考价值,希望对大家有所帮助,如有错误或未考虑完全的地方,望不吝赐教... 目录C#里氏替换原则一.概念二.语法表现三.类型检查与转换总结C#里氏替换原则一.概念里氏替换原则是面向对象设计的基本原则之一:核心思想:所有引py

重新对Java的类加载器的学习方式

《重新对Java的类加载器的学习方式》:本文主要介绍重新对Java的类加载器的学习方式,具有很好的参考价值,希望对大家有所帮助,如有错误或未考虑完全的地方,望不吝赐教... 目录1、介绍1.1、简介1.2、符号引用和直接引用1、符号引用2、直接引用3、符号转直接的过程2、加载流程3、类加载的分类3.1、显示

Python多重继承慎用的地方

《Python多重继承慎用的地方》多重继承也可能导致一些问题,本文主要介绍了Python多重继承慎用的地方,文中通过示例代码介绍的非常详细,对大家的学习或者工作具有一定的参考学习价值,需要的朋友们下面... 目录前言多重继承要慎用Mixin模式最后前言在python中,多重继承是一种强大的功能,它允许一个

C 语言中enum枚举的定义和使用小结

《C语言中enum枚举的定义和使用小结》在C语言里,enum(枚举)是一种用户自定义的数据类型,它能够让你创建一组具名的整数常量,下面我会从定义、使用、特性等方面详细介绍enum,感兴趣的朋友一起看... 目录1、引言2、基本定义3、定义枚举变量4、自定义枚举常量的值5、枚举与switch语句结合使用6、枚

Spring 源码解读:自定义实现Bean定义的注册与解析

引言 在Spring框架中,Bean的注册与解析是整个依赖注入流程的核心步骤。通过Bean定义,Spring容器知道如何创建、配置和管理每个Bean实例。本篇文章将通过实现一个简化版的Bean定义注册与解析机制,帮助你理解Spring框架背后的设计逻辑。我们还将对比Spring中的BeanDefinition和BeanDefinitionRegistry,以全面掌握Bean注册和解析的核心原理。

JavaSE——封装、继承和多态

1. 封装 1.1 概念      面向对象程序三大特性:封装、继承、多态 。而类和对象阶段,主要研究的就是封装特性。何为封装呢?简单来说就是套壳屏蔽细节 。     比如:对于电脑这样一个复杂的设备,提供给用户的就只是:开关机、通过键盘输入,显示器, USB 插孔等,让用户来和计算机进行交互,完成日常事务。但实际上:电脑真正工作的却是CPU 、显卡、内存等一些硬件元件。

浙大数据结构:树的定义与操作

四种遍历 #include<iostream>#include<queue>using namespace std;typedef struct treenode *BinTree;typedef BinTree position;typedef int ElementType;struct treenode{ElementType data;BinTree left;BinTre

类和对象的定义和调用演示(C++)

我习惯把类的定义放在头文件中 Student.h #define _CRT_SECURE_NO_WARNINGS#include <string>using namespace std;class student{public:char m_name[25];int m_age;int m_score;char* get_name(){return m_name;}int set_name

c++ 定义二位数组

在 C++ 中,定义二维数组有几种常见的方式。以下是几个示例: 1. 静态二维数组 定义: int array[3][4]; 这里,array 是一个 3 行 4 列的整数二维数组。 初始化: int array[3][4] = {{1, 2, 3, 4},{5, 6, 7, 8},{9, 10, 11, 12}}; 2. 动态二维数组 使用指针和动态内存分配: 定义: