【C++】《C++ Primer 》第十四章
第十四章 重载运算与类型转换
一、基本概念
- 重载运算符是具有特殊名字的函数:由关键字operator和其后要定义的运算符号共同组成。也包含返回类型、参数列表以及函数体。
- 当一个重载的运算符是成员函数时,this绑定到左侧运算对象。动态运算符符函数的参数数量比运算对象的数量少一个。
- 对于一个运算符函数来说,它或者是类的成员,或者至少含有一个类类型的参数。
- 只能重载大多数的运算符,而不能发明新的运算符号。
- 重载运算符的优先级和结合律跟对应的内置运算符保持一致。
- 通常情况下,不应该重载逗号、取地址、逻辑与、逻辑或运算符。
可以被重载 | 不可以被重载 |
---|---|
+ - * / % ^ |
:: .* . ?: |
& |
~ ! , = |
< > <= >= ++ -- |
|
<< >> == != && |
|
+= -= /= %= ^= &= |
|
*= <<= >>= [] () |
|
-> ->* new new[] delete delete[] |
- 调用方式:
- data1 + data2;
- operator+(data1, data2);
- 是否是成员函数:
- 赋值(
=
)、下标([]
)、调用(()
)、成员访问运算符(->
) 必须是成员。 - 复合赋值运算符一般来说应该是成员,但并非必须。
- 改变对象状态的运算符或与给定类型密相关的运算符,如递增、递减和解引用运算符,通常是成员。
- 具有对称性的运算符可能转换任意一端的运算对象,例如算术、相等性、关系和位运算符等,通常是非成员。
- 赋值(
二、输入和输出运算符
1. 重载输出运算符 <<
- 通常情况下,输出运算符的第一个形参是一个非常量的引用。非常量是因为向流中写入会改变其状态;引用是因为我们无法复制一个ostream对象。
- 通常情况下,输出运算符的第二个形参是一个常量的引用,常量时因为打印对象不会改变对象的内容;引用是希望避免复制实参。
ostream &operator<<(ostream &os, const &item) {
os << item.isbn() << " " << item.units_sold << " " << item.revenue;
return os;
}
2. 重载输入运算符 >>
- 通常情况下,输入运算符的第一个参数是运算符将要读取的流的引用,第二个形参是将要读入到的非常量对象的引用。
- 输入运算符必须处理输入可能失败的情况,而输出运算符不需要。
istream &operator>>(istream &is, Data &item) {
double pirce;
is >> item.isbn >> item.units_sold >> price;
if (is)
item.revenue = item.units_sold * price;
else
item = Data();
return is;
}
三、算术和关系运算符
- 如果类同时定义了算数运算符和相关的复合赋值运算符,则通常情况下应该使用复合赋值来实现算数运算符。
1. 相等运算符
- 如果定义了
operator==
,则这个类也应该定义operator!=
。 - 相等运算符和不等运算符的一个应该把工作委托给另一个。
- 相等运算符应该具有传递性。
- 如果某个类在逻辑上有相等性的含义,则该类应该定义
operator==
,这样做可以使用户更容易使用标准库算法来处理这个类。
2. 关系运算符
- 如果存在唯一一种逻辑可靠的<定义,则应该考虑为这个类定义
<
运算符。如果同时还包含==
,则当且仅当<
的定义和++
产生的结果一直时才定义<运算符。
四、赋值运算符
- 我们可以重载赋值运算符。不论形参的类型是什么,赋值运算符都必须定义为成员函数。
- 赋值运算符必须是成员函数,复合赋值运算符通常情况下也应该这么做。这两类运算符都应该返回左侧运算对象的引用。
五、下标运算符
- 下标运算符必须是成员函数。
- 一般会定义两个版本:
- 1.返回普通引用。
- 2.类的常量成员,并返回常量引用。
class StrVec {
public:
std::string& operator[](std::size_t n) { return elements[n]; }
const std::string& operator[](std::size_t n) const {return elements[n]; }
private:
std::string *elements;
};
六、递增和递减运算符
- 定义递增和递减运算符的类应该同时定义前置版本和后置版本。通常应该被定义成类的成员。
- 为了与内置版本保持一致,前置运算符应该返回递增或递减后对象的引用。
- 递增和递减运算符的工作机理:检查值是否有效,现在给定的索引值是否有效,如果check函数没有抛出异常,则运算符返回对象的引用。
class StrBloPtr {
public:
// 递增和递减前置运算符
StrBloPtr& operator++();
StrBloPtr& operator--();
};
StrBloPtr& StrBloPtr::operator++() {
// 如果curr已经指向了容器的尾后位置,则无法递增它
check(curr, "++");
++curr;
return *this;
}
StrBloPtr& StrBloPtr::operator--() {
// 如果curr是0,则继续递减它将产生一个无效下标
--curr;
check(curr, "--");
return *this;
}
- 由于前置和后缀版本使用的是同一个符号,意味着其重载版本所用的名字将是相同的,并且运算对象的数量和类型也相同。所以普通的重载形式无法区分这两种情况。
- 为了解决这个情况,后置版本接受一个额外的,不被使用的int类型的形参。因为不会用到,所以无需命名。
- 为了和内置版本保持一致,后置运算符应该返回递增或递减前对象的值,而不是引用。
class StrBoldPtr {
public:
// 递增和递减后置运算符
StrBlodPtr operator++(int);
StrBlodPtr operator--(int);
};
StrBoldPtr StrBoldPtr::operator++(int) {
StrBoldPtr ret = *this; // 记录当前的值
++*this; // 前置++需要检查有效性
return ret; // 返回之前记录的状态
}
StrBoldPtr StrBoldPtr::operator--(int) {
StrBoldPtr ret = *this; // 记录当前的值
--*this; // 前置--需要检查有效性
return ret; // 返回之前记录的状态
}
七、成员访问运算符
- 箭头运算符必须是类的成员。解引用运算符通常也是类的成员,景观并非必须如此。
- 重载的箭头运算符必须返回类的指针或者自定义了箭头运算符的某个类的对象。
- 解引用和乘法的区别是一个是一元运算符,一个是二元运算符。
八、函数调用运算符
- 可以像使用函数一样,调用该类的对象。因为这样对待类同时也能存储状态,所以与普通函数相比更加灵活。
- 函数调用运算符必须是成员函数。
- 一个类可以定义多个不同版本的调用运算符,相互之间应该在参数数量或类型上有所区别。
- 如果累定义了调用运算符,则该类的对象称作函数对象。
1. lambda是函数对象
- lambda捕获变量:lambda产生的类必须为每个值捕获的变量建立对应的数据成员,同时创建构造函数。
2. 标准库定义的函数对象
- 可以在算法中使用标准库函数对象
算术 | 关系 | 逻辑 |
---|---|---|
plus | equal_to | logical_and |
minus | not_equal_to | logical_or |
multiplies | greater | logical_not |
divides | greater_equal | |
modulus | less | |
negate | less_equal |
3. 可调用对象与function
操作 | 解释 |
---|---|
function f; | f是一个用来存储可调用对象的空function,这些可调用对象的调用形式应该与类型T相同。 |
function f(nullptr); | 显式地构造一个空function。 |
function f(obj) | 在f中存储可调用对象obj的副本。 |
f | 将f作为条件:当f含有一个可调用对象时为真;否则为假。 |
定义为function的成员的类型 | |
result_type | 该function类型的可调用对象返回的类型。 |
argument_type | 当T有一个或两个实参时定义的类型。如果T只有一个实参,则argument_type。 |
first_argument_type | 第一个实参的类型。 |
second_argument_type | 第二个实参的类型。 |
九、重载、类型转换与运算符
1. 类型转换运算符
- 类型转换运算符是类的一种特殊成员函数,它负责将一个类类型的值转换成其他类型。类型转换函数的一般形式为:
operator type() const;
- 一个类型转换函数必须是类的成员函数。它不能声明返回类型,形参列表也必须为空。类型转换函数通常应该是const。
- 避免过度使用类型转换函数。
- C++11引入了显式的类型转换运算符(
explicit operator
)。当表达式出现在下列位置时,显式的类型转换将被隐式地执行:- if、while及do语句的条件部分
- for语句头的条件表达式
- !、||、&&的运算对象
- 条件运算符的条件表达式
- 向bool的类型转换通常用在条件部分,因此
operator bool
一般定义成explicit的。
2. 避免有二义性的类型转换
- 通常情况下,不要为类定义相同的类型转换,也不要在类中定义两个及两个以上转换源或转换目标是算术类型的转换。
- 在调用重载函数时,如果需要额外的标准类型转换,该转换的级别只有当所有可行函数都请求同一个用户定义的类型转换时才有用。如果所需的用户定义的类型转换不止一个,则该调用具有二义性。
- 当使用两个用户定义的类型转换时,如果转换函数之前或之后存在标准类型转换,则标准类型转换将决定最佳匹配到底时哪个。
3. 函数匹配和重载运算符
- 如果a是一种类型,则表达式a sym b可能是:
a.operatorsym(b);
operatorsym(a,b);
- 如果我们对同一类既提供了转换目标是算术类型的类型转换,也提供了重载的运算符,则将会遇到重载运算符与内置运算符的二义性问题。
【C++】《C++ Primer 》第十四章的更多相关文章
- C++ Primer : : 第十四章 : 重载运算符与类型转换之类型转换运算符和重载匹配
类型转换运算符 class SmallInt { public: SmallInt(int i = 0) : val(i) { if (i < 0 || i > 255) throw st ...
- C++ Primer : 第十四章 : 重载运算与类型转换之重载运算符
重载前须知 重载运算符是特殊的函数,它们的名字由operator和其后要重载的运算符号共同组成. 因为重载运算符时函数, 因此它包含返回值.参数列表和函数体. 对于重载运算符是成员函数时, 它的第一个 ...
- C++Primer 第十四章
//1.当运算符作用于类类型运算对象时,可以通过运算符重载重新定义该运算符的含义.明智的使用运算符重载能令程序更加易于编写和阅读. //2.重载的运算符是具有特殊名字的函数,它们由关键字operato ...
- C++ Primer Plus学习:第十四章
第十四章 C++中的代码重用 包含对象成员的类 将类的对象作为新类的成员.称为has-a关系.使用公有继承的时候,类可以继承接口,可能还有实现(纯虚函数不提供实现,只提供接口).使用包含时,可以获得实 ...
- C Primer Plus_第四章_字符串和格式化输入输出_编程练习
Practice 1.输入名字和姓氏,以"名字,姓氏"的格式输出打印. #include int main(void) { char name[20]; char family[2 ...
- 《Linux命令行与shell脚本编程大全》 第十四章 学习笔记
第十四章:呈现数据 理解输入与输出 标准文件描述符 文件描述符 缩写 描述 0 STDIN 标准输入 1 STDOUT 标准输出 2 STDERR 标准错误 1.STDIN 代表标准输入.对于终端界面 ...
- perl 第十四章 Perl5的包和模块
第十四章 Perl5的包和模块 by flamephoenix 一.require函数 1.require函数和子程序库 2.用require指定Perl版本二.包 1.包的定义 2.在包间切 ...
- Gradle 1.12 翻译——第十四章. 教程 - 杂七杂八
有关其它已翻译的章节请关注Github上的项目:https://github.com/msdx/gradledoc/tree/1.12,或訪问:http://gradledoc.qiniudn.com ...
- C和指针 (pointers on C)——第十四章:预处理器
第十四章 预处理器 我跳过了先进的指针主题的章节. 太多的技巧,太学科不适合今天的我.但我真的读,读懂.假设谁读了私下能够交流一下.有的小技巧还是非常有意思. 预处理器这一章的内容.大家肯定都用过.什 ...
随机推荐
- 支付宝小程序input的小坑
//axml<input class="internet_input" value="{{payNo}}" onInput="keyNum&qu ...
- 三、Zookeeper简介
一.简介 zookeeper 主要使用场景:分布式系统的分布式协同服务.协同工作就是通过某种方式,让着节点的信息能够同步和共享,依赖于进程间的通信.通信方式有俩种. 通过网络进行信息共享 现实工作中, ...
- nginx配置访问本地资源
参考博客:https://www.cnblogs.com/xy51/p/9973326.html 需要访问路径:http://IP:10013/p1upgrade/picfiles/image73b4 ...
- hive实例的使用
一.hive用本地文件进行词频统计 1.准备本地txt文件 2.启动hadoop,启动hive 3.创建数据库,创建文本表 4.映射本地文件的数据到文本 5.hql语句进行词频统计交将结果保存到结果表 ...
- 某宝的微信小程序源码合集
这是我在某宝买的小程序源码合集.能用的我用不到.. 我用的到的有的有没后端.仅供个人参考,严禁侵权或商业用途! 下载地址:https://pan.baidu.com/s/1cQEQ17LdN-7hxD ...
- 漫谈 HTTP 性能优化
本文主要是侧重于 HTTP 的优化,对于 HTTPS 后续文章会讲. 既然要做性能优化,那么,我们就需要知道:什么是性能?它都有哪些指标,又应该如何度量,进而采取哪些手段去优化? "性能&q ...
- Unity2D 人物移动切换人物图片
勾选Constraints_freeze Rotation_z轴锁定,防止碰撞偏移. public float moveSpeed = 3f;//定义移动速度 priv ...
- [JVM工具(1)] 堆栈检查利器jstat的使用
jstat 可以检查 JVM 整体的运行情况,可以看到 新生代,老年代等的内存使用情况,以及GC 次数和耗时 命令格式 如 jstat -<option> [-t] [-h<line ...
- 单身狗福利!利用java实现每天给对象发情话,脱单指日可待!
引言 最近看到一篇用js代码实现表白的文章,深有感触. 然后发现自己也可以用java代码实现,然后就开始写代码了,发现还挺有意思的,话不多说开搞 实现思路: 使用HttpClient远程获取彩虹屁生成 ...
- linux重启后nginx服务无法启动
查看ngin.conf pid的内容 例如: pid /usr/local/nginx/logs/nginx.pid 根据以上配置内容来做,检查/usr/local/nginx/logs/是否存在,如 ...