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

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

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

基本概念

重载的运算符是具有特殊名字的函数:它们的名字由关键字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;
elseitem = 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.mzph.cn/news/11837.shtml

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

相关文章

手机图片转pdf?两种方法介绍

手机图片转pdf&#xff1f;如今&#xff0c;随着生活的数字化&#xff0c;我们的手机中储存了大量的照片。但是&#xff0c;如果需要将这些照片转换成PDF格式&#xff0c;该怎么办呢&#xff1f;下面&#xff0c;小编就给大家介绍三种方法来实现这一目标。 第一种方法&#xff…

12页线性代数图解教程,github星标9.1k,适合小白

线性代数“困难户”注意&#xff0c;今天我给大家分享一个超适合小白的线性代数学习笔记&#xff0c;只有12页纸&#xff0c;一半都是图解&#xff0c;不用担心看不懂。 这份笔记名为《线性代数的艺术》&#xff0c;是日本学者Kenji Hiranabe基于Gilbert Strang教授的《每个人…

JS常用操作数组的方法整理

JavaScript提供了许多用于操作数组的方法。以下是其中一些常见的方法&#xff1a; 1. push() : 将一个或多个元素添加到数组的末尾&#xff0c;并返回新数组的长度。 2. pop() : 移除并返回数组的最后一个元素。 3. unshift() : 将一个或多个元素添加到数组的开头&#xff0…

Lambda表达式常见的Local variable must be final or effectively final原因及解决办法

目录 Local variable must be final or effectively final错误原因 解决办法按照要求定义为final&#xff08;不符合实情&#xff0c;很多时候是查库获取的变量值&#xff09;使用原子类存储变量&#xff0c;保证一致性AtomicReference常用原子类 其它 Local variable must be …

为什么要有虚拟内存?

操作系统是通过内存分段和内存分页的方式管理虚拟内存地址和物理内存地址之间的关系 内存分段 程序是由若干个逻辑分段组成的&#xff0c;代码分段、数据分段、栈段、堆段组成&#xff0c;不同的段有不同的属性&#xff0c;所以就用分段的形式分离开。 分段机制下的虚拟内存…

JVM理论(七)性能监控与调优

概述 性能优化的步骤 性能监控&#xff1a;就是通过以非强行或入侵方式收集或查看应用程序运行状态,包括如下问题 GC频繁CPU过载过高OOM内存泄漏死锁程序响应时间较长性能分析&#xff1a;通常在系统测试环境或者开发环境进行分析 通过查看程序日志以及GC日志,或者运用命令行工…

《零基础入门学习Python》第070讲:GUI的终极选择:Tkinter7

上节课我们介绍了Text组件的Indexs 索引和 Marks 标记&#xff0c;它们主要是用于定位&#xff0c;Marks 可以看做是特殊的 Indexs&#xff0c;但是它们又不是完全相同的&#xff0c;比如在默认情况下&#xff0c;你在Marks指定的位置中插入数据&#xff0c;Marks 的位置会自动…

yaml语法详解

#kv #对空格的严格要求十分高 #注入到我们的配置类中 #普通的keyvalue name: qinjiang#对象 student:name: qingjiangage: 3#行内写法 student1: {name: qinjiang,age: 3}#数组 pets:- cat- dog- pigpet: [cat,dog,pig]yaml可以给实体类赋值 person:name: kuangshenage: 19happ…

ERROR 1064 - You have an error in your SQL syntax;

ERROR 1064 - You have an error in your SQL syntax; check the manual that corresponds to your MySQL server version for the right syntax to use near (/, 少个逗号吧&#xff0c;以前开始写SQL&#xff0c;特别是修改SQL的时候容易出现这样错误。 而且自己也知道在附近…

【深度学习】日常笔记15

训练集和测试集并不来⾃同⼀个分布。这就是所谓的分布偏移。 真实⻛险是从真实分布中抽取的所有数据的总体损失的预期&#xff0c;然⽽&#xff0c;这个数据总体通常是⽆法获得的。计算真实风险公式如下&#xff1a; 为概率密度函数 经验⻛险是训练数据的平均损失&#xff0c;⽤…

【MySQL主从复制】

目录 一、MySQL Replication 1.概述 2.优点 二、MySQL复制类型 1.异步复制&#xff08;Asynchronous repication&#xff09; 2.全同步复制&#xff08;Fully synchronous replication&#xff09; 3.半同步复制&#xff08;Semisynchronous replication&#xff09; 三…

ava版知识付费平台免费搭建 Spring Cloud+Spring Boot+Mybatis+uniapp+前后端分离实现知识付费平台

提供私有化部署&#xff0c;免费售后&#xff0c;专业技术指导&#xff0c;支持PC、APP、H5、小程序多终端同步&#xff0c;支持二次开发定制&#xff0c;源码交付。 Java版知识付费-轻松拥有知识付费平台 多种直播形式&#xff0c;全面满足直播场景需求 公开课、小班课、独…

Rust ESP32C3开发

Rust ESP32C3开发 系统开发逐步使用Rust语言&#xff0c;在嵌入式领域Rust也逐步完善&#xff0c;本着学习Rust和ESP32的目的&#xff0c;搭建了ESP32C3的环境&#xff0c;过程中遇到了不少问题&#xff0c;予以记录。 ESP-IDF开发ESP32 这一部分可跳过&#xff0c;是使用C开…

python测试开发面试常考题:装饰器

目录 简介 应用 第一类对象 装饰器 描述器descriptor 资料获取方法 简介 Python 装饰器是一个可调用的(函数、方法或类)&#xff0c;它获得一个函数对象 func_in 作为输入&#xff0c;并返回另一函数对象 func_out。它用于扩展函数、方法或类的行为。 装饰器模式通常用…

【数据结构】实验十一:图

实验十一 图 一、实验目的与要求 1&#xff09;掌握图的存储表示与操作实现。 2&#xff09;掌握图的连通性及其应用。 二、 实验内容 1.用邻接表存储一个图形结构&#xff0c;并计算每个顶点的度。 2. 采用深度和广度优先搜索算法&#xff0c;遍历上述这张图&#xff0c;…

vue 实现拖拽效果

实现方式&#xff1a;使用自定义指令可以实现多个面板拖拽互不影响 1.自定义指令 js directives: {// 拖拽drag(el) {el.onmousedown function (e) {let x e.pageX - el.offsetLeftlet y e.pageY - el.offsetTopdocument.onmousemove function (e) {el.style.left e.pag…

【期末课程设计】学生成绩管理系统

因其独特&#xff0c;因其始终如一 文章目录 一、学生成绩管理系统介绍 二、学生成绩管理系统设计思路 三、源代码 1. test.c 2. Student Management System.c 3.Stu_System.c 4.Teacher.c 5.Student Management System.h 前言&#xff1a; 学生成绩管理系统含教师…

什么是Maven,Maven的概述及基本使用

MAVEN 一、Maven简介1.1、Maven概述1.2、Maven仓库1.3项目获取jar包过程 二、Maven使用2.1Maven安装配置2.1.1配置环境变量2.1.2配置本地仓库2.1.3配置阿里云私服 2.2Maven基本使用2.2.1Maven常用指令2.2.2Maven生命周期 总结 一、Maven简介 Apache Maven是一个项目管理和构建…

STM32 I2C OVR 错误

一、问题 STM32 I2C 用作从机时&#xff0c;开启如下中断并启用 callback 回调函数。 每一次复位后&#xff0c;从机都可以正常触发地址匹配中断ADDR&#xff0c;之后在该中断的回调函数中启用接收中断去收取数据时&#xff0c;却无法进入RXNE中断&#xff0c;而是触发了 OVR …

<C语言> 动态内存管理

1.动态内存函数 为什么存在动态内存分配&#xff1f; int main(){int num 10; //向栈空间申请4个字节int arr[10]; //向栈空间申请了40个字节return 0; }上述的开辟空间的方式有两个特点&#xff1a; 空间开辟大小是固定的。数组在申明的时候&#xff0c;必须指定数组的…