C++(14):重载运算与类型转换

news2024/9/28 17:26:09

当运算符被用于类类型的对象时,允许我们为其指定新的含义;同时,也能自定义类类型之间的转换规则。和内置类型的转换一样,类类型转换隐式地将一种类型的对象转换成另一种我们所需类型的对象。

当运算符作用于类类型的运算对象时,可以通过运算符重载重新定义该运算符的含义。

基本概念

重载的运算符是具有特殊名字的函数:它们的名字由关键字operator 和其后要定义的运算符号共同组成。和其他函数一样,重载的运算符也包含返回类型、参数列表以及函数体

重载运算符函数的参数数量与该运算符作用的运算对象数量一样多。除了重载的函数调用运算符 operator()之外,其他重载运算符不能含有默认实参。

当一个重载的运算符是成员函数时,this 绑定到左侧运算对象。成员运算符函数的(显式)参数数量比运算对象的数量少一个。
在这里插入图片描述
通常情况下,不应该重载逗号、取地址、逻辑与和逻辑或运算符。

调用重载运算符的两种方式:
1.直接使用运算符。如 data1+data2;data1+=data2+ 是非成员函数,+= 是类的成员函数,两种都可以直接使用。
2.向调用普通函数一样调用运算符函数。如 operator+(data1,data2)data1.operator+=(data2)
注意运算符函数的函数名是 operator 加运算符本身。

使用与内置类型一致的含义

  1. 如果类执行IO操作,则定义移位运算符使其与内置类型的IO保持一致。
  2. 如果类的某个操作是检查相等性,则定义 operator==;如果类有了operator==,意味着它通常也应该有operator!=
  3. 如果类包含一个内在的单序比较操作,则定义 operator<;如果类有了operator<,则它也应该含有其他关系操作。
  4. 重载运算符的返回类型通常情况下应该与其内置版本的返回类型兼容:逻辑运算符和关系运算符应该返回bool,算术运算符应该返回一个类类型的值,赋值运算符和复合赋值运算符则应该返回左侧运算对象的一个引用。

赋值运算符的行为与复合版本的类似:赋值之后,左侧运算对象和右侧运算对象的值相等,并且运算符应该返回它左侧运算对象的一个引用。重载的赋值运算应该继承而非违背其内置版本的含义。

运算符选择作为成员或者非成员

  1. 赋值(=)、下标([])、调用(())和成员访问箭头(->)运算符必须是成员。
  2. 复合赋值运算符一般来说应该是成员,但并非必须这一点与赋值运算符略有不同。
  3. 改变对象状态的运算符或者与给定类型密切相关的运算符,如递增、递减和解引用运算符,通常应该是成员。
  4. 具有对称性的运算符可能转换任意一端的运算对象,例如算术、相等性、关系和位运算符等,因此它们通常应该是普通的非成员函数。

输入和输出运算符

重载输出运算符 <<

通常情况下,输出运算符的第一个形参是一个非常量 ostream 对象的引用。
之所以 ostream 是非常量是因为向流写入内容会改变其状态;而该形参是引用是因为我们无法直接复制一个ostream对象。
第二个形参一般来说是一个常量的引用,该常量是我们想要打印的类类型。
第二个形参是引用的原因是我们希望避免复制实参;而之所以该形参可以是常量是因为(通常情况下)打印对象不会改变对象的内容。
重载的 << 应该返回它的 ostream 形参。

通常,输出运算符应该主要负责打印对象的内容而非控制格式,输出运算符不应该打印换行符。
iostream 标准库兼容的输入输出运算符必须是普通的非成员函数,而不能是类的成员函数。但是应该声明为类的友元。

重载输出运算符 >>

通常情况下,输入运算符的第一个形参是运算符将要读取的流的引用,第二个形参是将要读入到的(非常量)对象的引用。该运算符通常会返回某个给定流的引用。
第二个形参之所以必须是个非常量是因为输入运算符本身的目的就是将数据读入到这个对象中。

输入运算符必须处理输入可能失败的情况,而输出运算符不需要。

 当流含有错误类型的数据时读取操作可能失败。
 当读取操作到达文件末尾或者遇到输入流的其他错误时也会失败。
if(is)//检查输入是否成功
	item. revenue = item.units_sold * price;
else
	item = Sales_data();//输入失败:对象被赋予默认的状态

如果在发生错误前对象已经有一部分被改变,则适时地将对象置为合法状态异常重要

算术和关系运算符

通常把算术和关系运算符定义成非成员函数以允许对左侧或右侧的运算对象进行转换,
因为这些运算符一般不需要改变运算对象的状态,所以形参都是常量的引用。

如果类同时定义了算术运算符和相关的复合赋值运算符,则通常情况下应该使用复合赋值来实现算术运算符。

相等运算符

相等运算符来检验两个对象是否相等。

设计准则:
1.将函数定义为 operator== 而不是一个普通的命名函数;
2.能判断一组给定对象中是否含有重复数据;
3.具有传递性;
4.如果定义了 operator==,那么也应该定义 operator1!=

关系运算符

定义了相等运算符的类也常常(但不总是)包含关系运算符。特别是,关联容器和一些算法要用到小于运算符,所以定义operator<

设计准则:
1.定义顺序关系,令其与关联容器中对关键字的要求一致;
2.如果类同时含有 == 运算符,则定义关系要与 ==一致。

赋值运算符

类可以定义除了拷贝赋值和移动赋值运算符以外的其他运算符使用别的类型作为右侧运算对象。

可以重载赋值运算符。不论形参的类型是什么,赋值运算符都必须定义为成员函数。

赋值运算符必定义为类的成员,复合赋值运算符通常情况下也应该这样做,但复合赋值运算符不非得是类的成员。这两类运算符都应该返回左侧对象的引用。

下标运算符

表示容器的类通常可以通过元素在容器中的位置访问元素,这些类一般会定义下标运算符operator[]
下标运算符必须是成员函数。

下标运算符通常以所访问元素的引用作为返回值,这样下标可以出现在赋值运算符的任意一端。

如果一个类包含下标运算符,则它通常会定义两个版本:一个返回普通引用,另一个是类的常量成员并且返回常量引用。

递增和递减运算符

C++ 并不要求递增和递减运算符必须是类的成员,但是因为它们改变的正好是所操作对象的状态,所以建议将其设定为成员函数。

对于内置类型,递增和递减运算符应该同时定义前置和后置版本。
前置版本返回递增或递减后的引用,后置版本返回修改前的副本。

class StrBlobPtri{
public:
	//递增和递减运算符
	StrBlobPtr& operator++();	//前置运算符
	StrBlobPtr& operator--();
	//其他成员和之前的版本一致

	StrBlobPtr operator++(int) ;	//后置运算符
	StrBlobPtr operator--(int) ;
	//其他成员和之前的版本一致
};

成员访问运算符

迭代器类和智能指针类通常会用到运算符* 和箭头运算符 ->
箭头运算符必须是类的成员,箭头运算符一般通过调用解引用运算符来实现。
解引用运算符通常也是类的成员,但不必须的。

重载的箭头运算符必须返回类的指针或者自定义了箭头运算符的某个类的对象。

函数调用运算符

类重载函数调用运算符,就可以像使用函数一样使用该类的对象。

函数调用运算符必须是成员函数。一个类可以定义多个不同版本的调用运算符,相互之间应该在参数数量或类型上有所区别。

struct absInt{
	int operator()(int val)const {
	return val < 0 ? -val : val;
	}
	int i=-42;
	absInt absObj;//含有函数调用运算符的对象
	int ui = absObj(i);//将i传递给abs0bj .operator()
}

含有状态的函数对象类
和其他类一样,函数对象类除了operator()之外也可以包含其他成员。函数对象类通常含有一些数据成员,这些成员被用于定制调用运算符中的操作。

class PrintString {
public:
	PrintString(ostream &o =cout,char c=''):
		os(o), sep(c){}
	void operator()(const string &s)const{ os<<s<< sep; }
private:
	ostream &os;//用于写入的目的流
	char sep;//用于将不同输出隔开的字符
};

lambda 是函数对象

编写一个lambda后,编译器将该表达式翻译成一个未命名类的未命名对象。在lambda表达式产生的类中含有一个重载的函数调用运算符:

//根据单词的长度对其进行排序,对于长度相同的单词按照字母表顺序排序
stable_sort(words.begin(), words.end(),
	[](const string &a, const string &b)
	{return a.size()< b.size();});

//其行为类似下面类的一个未命名对象
class ShorterString {
public:
	bool operator() (const string &s1,const string &s2) const
	{return sl.sizeo< s2.size();}
};

默认情况下 lambda不能改变它捕获的变量。因此在默认情况下,由 lambda产生的类当中的函数调用运算符是一个const成员函数。如果lambda被声明为可变的,则调用运算符就不是const的了。

  • lambda 通过引用捕获变量时,由程序确保 lambda 执行时所引用的对象确实存在。因此,编译器可以直接使用该引用而无须再 lambda 产生的类中将其存储为数据成员;
  • lambda 通过值捕获变量时,产生的类必须为每个值捕获的变量建立对应的数据成员,同时创建构造函数,令其使用捕获的变量的值来初始化数据成员。

标准库定义的函数对象

标准库定义了一组表示算术运算符、关系运算符和逻辑运算符的类,每个类分别定义了一个执行命名操作的调用运算符。这些定义在头文件 functional 中。
在这里插入图片描述函数对象其实是一个函数对象类,表示运算符的函数对象类常用来替换算法中的默认运算符。
标准库规定其函数对象对于指针同样适用。

可调用对象与 function

几种可调用的对象:函数、函数指针、lambda表达式、bind创建的对象以及重载了函数调用运算符的类。

和其他对象一样,可调用的对象也有类型,两个不同类型的可调用对象可能共享同一种调用形式
调用形式指明了调用返回的类型以及传递给调用的实参类型。一种调用形式对应一个函数类型。

int (int, int)
//是一个函数类型,它接受两个int、返回一个int。

不同类型可能具有相同的调用形式

//普通函数
int add(int i, int j) { return i + j;}
// lambda,其产生一个未命名的函数对象类
auto mod = [](int i, int j){return i %j;};
//函数对象类
struct divide{
	int operator()(int denominator, int divisor){
		return denominator / divisor;
	}
};

三个可调用对象具有相同的调用形式 int(int,int),但是他们三个不是同一类型。

标准库 function 类型
在这里插入图片描述不能直接将重载函数的名字存入 function 类型的对象中,但是可以存储指向确定重载版本的函数指针。

function<int(int, int)> f1 = add;   //add 是个函数指针
funciton<int(int, int)> f2 = divide();  //divide() 返回一个函数对象的对象。
function<int (int,int)> f3 =[](int i, int j)// lambda
												{return i*j;};

cout <<f1(4,2)<< endl;//打印6
cout <<f2(4,2)<<endl;//打印2
cout <<f3(4,2)<<endl;//打印8

不能(直接)将重载函数的名字存入 function类型的对象中,会产生二义性问题

int add(int i, int j){return i+j;}
Sales_data add(const Sales_data&,const Sales_data&);
map<string, function<int (int, int)>> binops;
binops.insert( {"+",add} );//错误:哪个add?

解决二义性问题:1.存储函数指针,而不是函数的名字; 2.使用 lambda 指定函数版本。

//1.存储函数指针
int(*fp)(int,int) = add;//指针所指的add是接受两个int的版本
binops.insert ({"+",fp) );//正确:fp指向一个正确的add版本

//2.lambda
binops.insert({"+"[](int a,int b){return add (a, b);}});

重载、类型转换与运算符

转换构造函数和类型转换运算符共同定义了类类型转换,这样的转换有时也称为用户定义的类型转换。

类型转换运算符

类型转换运算符是类的一种特殊成员函数,负责将一个类类型转换成其他类型。

operator type() const;

类类型转换运算符可以面向能作为函数的返回类型的任意类型(除了void )进行定义。
因此,不能转换成数组或者函数类型,但允许转换成指针(包括数组指针以及函数指针)或者引用类型。

类型转换运算符既没有显式的返回类型,也没有形参,而且必须定义成类的成员函数。类型转换运算符通常不应该改变待转换对象的内容,因此,类型转换运算符一般被定义成const成员。

class SmallInt{
public:
	SrmallInt (int i=0) : val (i){
		if(i<0 || i > 255)
			throw std: :out_of_range ("Bad SmallInt value");
	}
	operator int() const {return val;}
private:
	std::size_t val;
};

//SmallInt 类既定义了向类类型的转换,也定义了从类类型向其他类型的转换。其中,构造函数将算术类型的值转换成SmallInt对象,而类型转换运算符将SmallInt对象转换成int:
SmallInt si;
si = 4;//首先将4隐式地转换成 SmallInt,然后调用 SmallInt::operator=
si + 3;//首先将si隐式地转换成 int,然后执行整数的加法

显式的类型转换运算符

class SmallInt {
public:
	//编译器不会自动执行这一类型转换
	explicit operator into const{return val;}
	//其他成员与之前的版本一致
};

//和显式的构造函数一样,编译器(通常)也不会将一个显式的类型转换运算符用于隐式类型转换:
SmallInt si=3;//正确:SmallInt的构造函数不是显式的
si +3;//错误:此处需要隐式的类型转换,但类的运算符是显式的
static_cast<int>(si) + 3;//正确:显式地请求类型转

当类型转换运算符是显式的时,也能执行类型转换,不过必须通过显式的强制类型转换才可以。

转换为 bool:向 bool 类型的转换一般都用于条件部分,因此 operator bool() 一般定义成 explicit 的。

避免有二义性的类型转换

如果类中包含一个或多个类型转换,则必须确保在类类型和目标类型之间只存在唯一一种转换方式。否则代码将很可能会具有二义性。

有两种情况可能产生多重转换路径:
1.两个类提供相同的类型转换。例如,A 类定义了一个接受 B 类对象的转换构造函数,同时 B 类定义了一个转换目标是 A 类的类型转换运算符;
2.定义了多个转换规则。

注意:除了显式地向bool类型的转换之外,应该尽量避免定义类型转换函数并尽可能地限制那些“显然正确”的非显式构造函数。
1.不要令两个类执行相同的类型转换;
2.避免转换目标是内置算术类型的类型转换。定义了一个转换算术类型的类型转换时,不要再定义接受算术类型的重载运算符,也不要定义转换到多种算术类型的类型转换。

函数匹配与重载运算符

重载的运算符也是重载的函数。
调用一个命名的函数时,具有该名字的成员函数和非成员函数不会彼此重载。因为用来调用命名函数的语法形式对于成员函数和非成员函数来说是不相同的。

a.operatorsym(b); // a有一个 operatorsym成员函数
operatorsym(a, b);// operatorsym是一个普通函数

表达式中运算符的候选函数集既应该包括成员函数,也应该包括非成员函数。

如果对同一个类既提供了转换目标是算术类型的类型转换,也提供了重载的运算符,则将会遇到重载运算符与内置运算符的二义性问题。

SmallInt sl,s2;
Smal1Int s3 = s1 + s2;//使用重载的operator+
int i = s3 + 0;//二义性错误

重要术语

调用形式:表示一个可调用对象的接口。在调用形式中包括返回类型以及一个实参类型列表,该列表在一对圆括号内,实参类型之间以逗号分隔。

类类型转换:包括由构造函数定义的从其他类型到类类型的转换以及由类型转换运算符定义的从类类型到其他类型的转换。只接受单独一个实参的非显式构造函数定义了从实参类型到类类型的转换;而类型转换运算符则定义了从类类型到某个指定类型的转换。

类型转换运算符:是类的成员函数,定义了从类类型到其他类型的转换。类型转换运算符必须是它要转换的类的成员,并且通常被定义为常量成员。这类运算符既没有返回类型,也不接受参数。它们返回一个可变为转换运算符类型的值,也就是说,operator int返回一个intoperator string返回一个 string,依此类推。

重载的运算符:重定义了某种内置运算符的含义的函数。重载的运算符函数含有关键字operator,之后是要定义的符号。重载的运算符必须含有至少一个类类型的运算对象。重载运算符的优先级、结合律、运算对象数量都与其内置版本一致。

本文来自互联网用户投稿,该文观点仅代表作者本人,不代表本站立场。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如若转载,请注明出处:http://www.coloradmin.cn/o/803906.html

如若内容造成侵权/违法违规/事实不符,请联系多彩编程网进行投诉反馈,一经查实,立即删除!

相关文章

一、创建自己的docker python容器环境;支持新增python包并更新容器;离线打包、加载image

1、创建自己的docker python容器环境 参考&#xff1a;https://blog.csdn.net/weixin_42357472/article/details/118991485 首先写Dockfile&#xff0c;注意不要有txt等后缀 Dockfile # 使用 Python 3.9 镜像作为基础 FROM python:3.9# 设置工作目录 WORKDIR /app# 复制当前…

了解网络层

网络层 1. 概述2. 网络层提供的两种服务2.1 面向连接的虚电路服务2.2 无连接的数据报服务2.3 虚电路服务 VS 数据报服务 3. IPv4地址及其应用3.1 分类编址的IPv4地址3.1.1 A类地址3.1.2 B类地址3.1.3 C类地址 3.2 划分子网的IPv4地址3.3 无分类编址的IPv4地址3.4 IPv4地址的应用…

出海品牌整合营销指南:打造全球化成功的关键策略

随着全球化的不断深入&#xff0c;越来越多的企业开始将目光投向海外市场&#xff0c;希望在国际舞台上展现自己的实力和魅力。然而&#xff0c;出海市场的竞争激烈&#xff0c;如何在陌生的土地上建立起品牌影响力&#xff0c;成为摆在出海企业面前的一大难题。在这样的背景下…

TD1850多用表校准系统参考标准

参考标准 分类 标准名称 国家标准 GB/T 13978-2008 数字多用表 GB/T 15637-2012 数字多用表校准仪通用规范 计量法规 JJF 1075-2015 钳形电流表校准规范 JJF 1284-2011 交直流电表校验仪校准规范 JJF 1587-2016 数字多用表校准规范 JJG 124-2005 电流表、电压表、功率表及…

苍穹外卖day02项目日志

1. 描述清楚新增员工的实现流程 1.1需求分析与设计 参考产品原型&#xff0c;设计表和接口。 1.1.1设计表 看员工管理的产品原型&#xff1a; 有员工姓名、账号、手机号、账号状态、最后操作时间等。 注意&#xff0c;操作一栏不是字段&#xff0c;其中的启用禁用才是。 再…

沦为囚犯的“烟草女王”卢平的管理口诀:大胆设计,小心求证

沦为囚犯的“烟草女王”卢平的管理口诀&#xff1a; 大胆设计&#xff0c;小心求证 卢平是当初是湖南烟草界女强人 大致2003年听到了一句话 在管理知识稀缺的年代 当初听了有点小激动 趣讲大白话&#xff1a;管理口诀有意思 【趣讲信息科技239期】 ***************************…

面试了一个在字节工作2年的“大佬”,我蚌埠住了

昨天面试了一位在字节跳动工作2年多的开发&#xff0c;简历上写的工作截止时间是“至今”。特意问了一下&#xff0c;才知道实际是六月份已经不在职了。面试也就进行了十多分钟&#xff0c;但想跟大家分享一些站在选人的视角如何看待面试中的一些问题。 先说说面试 首先肯定是…

不断学习和提高写作水平,使公文写作更加得心应手和高效精准

不断学习和提高写作水平&#xff0c;积累经验和技巧&#xff0c;是提高公文写作能力的重要方法。 具体来说&#xff0c;可以采取以下几个方面的工作&#xff1a; 1.学习范例&#xff1a;阅读优秀的公文范例&#xff0c;学习其写作技巧和语言风格&#xff0c;以丰富自己的写作经…

低代码开发平台源码

什么是低代码开发平台&#xff1f; 低代码来源于英文“Low Code&#xff0c;它意指一种快速开发的方式&#xff0c;使用最少的代码、以最快的速度来交付应用程序。通俗的来说&#xff0c;就是所需代码数量低&#xff0c;开发人员门槛低&#xff0c;操作难度低。一般采用简单的图…

如何将 LoRaWAN 用于比赛场景

如何将 LoRaWAN 用于比赛场景 关键词 LoRaWAN 实时上报 下行同步 不丢包 组播 应用场景 学生/运动员比赛&#xff0c;射击比武&#xff0c;同步采集等 摘要 为了将 LoRaWAN 应用于&#xff1a;比赛&#xff0c;比武&#xff0c;同步采集等场景&#xff0c;应对下行同步和…

cURL error 1: Protocol “https“ not supported or disabled in libcurl

1、php项目composer update报错 2、curl -V检查 发现curl已经支持了https了 3、php版本检查 4、php插件检查 插件也已经含有openssl组件了 5、phpinfo检查 curl是否开启ssl 定位到问题所在&#xff0c;php7.4的 curl扩展不支持 https 需要重装 php7.4的curl扩展 6、curl下载 下…

Feign API模块导入的两种方式

说明&#xff1a;在微服务框架中&#xff0c;会把其他微服务用到的FeignClient统一放到一个模块里面&#xff0c;称为FeignAPI&#xff0c;其他微服务需要使用FeignClient&#xff0c;引入FeignClient的Maven坐标就可以使用。 但是只引入FeignAPI的坐标还不行&#xff0c;Feig…

【分布式】分布式唯一 ID 的 几种生成方案以及优缺点snowflake优化方案

在互联网的业务系统中&#xff0c;涉及到各种各样的ID&#xff0c;如在支付系统中就会有支付ID、退款ID等。那一般生成ID都有哪些解决方案呢&#xff1f;特别是在复杂的分布式系统业务场景中&#xff0c;我们应该采用哪种适合自己的解决方案是十分重要的。下面我们一一来列举一…

数字化新时代,VR全景拍摄与制作

导语&#xff1a; 随着科技的飞速发展&#xff0c;数字化图片正在引领新的时代潮流。在这个数字化图片的新时代&#xff0c;VR全景拍摄与制作技术正以其独特的特点和无限的优势&#xff0c;成为数字影像领域的一颗璀璨明星。让我们深入了解VR全景拍摄与制作的特点和优势&#…

PLC绝对值指令ABS()

在C语言里,ABS()指令属于基础指令,博途PLC系统也有绝对值指令。对于S7-200SMART PLC则需要自行构造,下面给出SMART PLC的绝对值指令ABS()。 1、S7-SMART PLC绝对值指令 2、STL代码 SUBROUTINE_BLOCK ABS:SBR3 TITLE=ABS()函数 VAR_INPUT x:REAL; END_VAR VAR_OUTPUT y:RE…

市值超300亿美金,SaaS独角兽Veeva如何讲好中国故事?

“全球前50的药企&#xff0c;有47家正在使用Veeva。” 提到Veeva Systems&#xff08;以下简称“Veeva”&#xff09;&#xff0c;可能很多人并不熟悉。但是生命科学业内人士都知道&#xff0c;Veeva是全球头部的行业SaaS服务商。以“为生命科学行业构建行业云”为使命&#x…

网络安全(黑客)自学——从0开始

为什么学习黑客知识&#xff1f;有的人是为了耍酷&#xff0c;有的人是为了攻击&#xff0c;更多的人是为了防御。我觉得所有人都应该了解一些安全知识&#xff0c;了解基本的进攻原理。这样才可以更好的保护自己。这也是这系列文章的初衷。让大家了解基本的进攻与防御。 一、怎…

记一次有趣的debug,VS编译器上Debug和Realease的差异

之前自己写过一个imageread的函数&#xff0c;用了好久一直没问题。最近两天&#xff0c;同事让我realease一个项目给他&#xff0c;其中就包含了我自己写的imageread函数。 我的函数就长这样&#xff0c;不包含公司的code&#xff0c;不算泄密哈。 在realse之前&#xff0c;我…

一些有意思的人工智能发展状况数据

随着大型语言模型&#xff08;LLM&#xff09;的引入&#xff0c;机器学习&#xff08;ML&#xff09;和人工智能&#xff08;AI&#xff09;首次被日常开发人员所使用。这些令人感觉很神奇的应用程序&#xff0c;甚至是拥有数十亿研发支出的&#xff0c;在以前连大型科技公司几…

探索Java API学习路线:从基础到高级的全面指南

文章目录 第一阶段&#xff1a;入门基础1. 环境准备2. 学习Java基础 第二阶段&#xff1a;熟悉常用的Java API1. Java标准库2. Java API文档 第三阶段&#xff1a;深入学习特定领域的Java API1. Java GUI API2. Java数据库连接&#xff08;JDBC&#xff09;API3. Java多线程API…