C++ Primer：第14章重载运算与类型转换

清疚 2023-03-02 07:54 49阅读 0赞

--------------------

### C++ Primer：第14章 重载运算与类型转换 ###

*  第14章 重载运算与类型转换
 *   *  14.1 基本概念
     *  14.2 输入和输出运算符
     *  14.3 算术和关系运算符
     *  14.4 赋值运算符
     *  14.5 下标运算符
     *  14.6 递增和递减运算符
     *  14.7 成员访问运算符
     *  14.8 函数调用运算符
     *  14.9 重载、类型转换与运算符

--------------------

# 第14章 重载运算与类型转换 #

<table> 
 <thead> 
  <tr> 
   <th align="left">要求</th> 
   <th align="left">运算符</th> 
  </tr> 
 </thead> 
 <tbody> 
  <tr> 
   <td align="left">可以重载</td> 
   <td align="left"><code>+</code> <code>-</code> <code>*</code> <code>/</code> <code>%</code> <code>^</code> <code>\|</code> <code>~</code> <code>=</code> <code>++</code> <code>--</code><br><code>+=</code> <code>-=</code> <code>*=</code> <code>/=</code> <code>%=</code> <code>^=</code> <code>\|=</code> <code>&amp;=</code><br><code>!</code> <code>&lt;</code> <code>&gt;</code> <code>&lt;=</code> <code>&gt;=</code> <code>==</code> <code>!=</code> <code>&lt;&lt;</code> <code>&gt;&gt;</code> <code>&lt;&lt;=</code> <code>&gt;&gt;=</code><br><code>-&gt;</code> <code>-&gt;*</code> <code>[]</code> <code>()</code> <code>new</code> <code>new[]</code> <code>delete</code> <code>delete[]</code></td> 
  </tr> 
  <tr> 
   <td align="left">不建议重载</td> 
   <td align="left"><code>,</code> <code>&amp;</code> <code>&amp;&amp;</code> <code>\|\|</code></td> 
  </tr> 
  <tr> 
   <td align="left">不能重载</td> 
   <td align="left"><code>::</code> <code>.*</code> <code>.</code> <code>?:</code></td> 
  </tr> 
  <tr> 
   <td align="left">必须是成员函数</td> 
   <td align="left"><code>=</code> <code>[]</code> <code>()</code> <code>-&gt;</code></td> 
  </tr> 
  <tr> 
   <td align="left">建议是成员函数</td> 
   <td align="left"><code>+=</code> <code>-=</code> <code>*=</code> <code>/=</code> <code>%=</code> <code>^=</code> <code>\|=</code> <code>&amp;=</code> <code>&lt;&lt;=</code> <code>&gt;&gt;=</code><br><code>++</code> <code>--</code> <code>*</code></td> 
  </tr> 
  <tr> 
   <td align="left">建议是非成员函数</td> 
   <td align="left"><code>+</code> <code>-</code> <code>*</code> <code>/</code> <code>%</code> <code>^</code> <code>\|</code> <code>~</code><br><code>!</code> <code>&lt;</code> <code>&gt;</code> <code>&lt;=</code> <code>&gt;=</code> <code>==</code> <code>!=</code></td> 
  </tr> 
  <tr> 
   <td align="left">必须是非成员函数</td> 
   <td align="left"><code>&lt;&lt;</code> <code>&gt;&gt;</code></td> 
  </tr> 
 </tbody> 
</table>

1.  若已定义`perator==`，则最好也定义`operator!=`；若已定义`operator<`，则最好也定义其它关系运算符；若类中含有算术运算符或位运算符，则最好提供对应的复合赋值运算符。
2.  除重载的函数调用运算符`operator()`外，其它重载运算符不能含有默认实参。

## 14.1 基本概念 ##

1.  运算符函数必须是类的成员或者至少含有一个类类型的参数。若是成员函数，`this`绑定到左侧运算对象，其参数数量比运算对象数量少一个。
2.  重载运算符的优先级、结合律与对应的内置运算符保持一致，但无法保留求值顺序和短路求值属性。重载运算符可以是成员函数或非成员函数。
3.  只有当操作的含义对于用户来说清晰明了时才重载运算符。若用户可能对运算符有几种不同的理解，重载运算符会产生二义性。

// 非成员函数调用方法
    data1 + data2;
    operator+(data1, data2);
    // 成员函数调用方法
    data1 += data2;
    data1.operator+=(data2);

## 14.2 输入和输出运算符 ##

1.  输入输出运算符必须是非成员函数，一般被声明为友元。输出运算符应尽量减少格式化操作，如不应该打印换行符。 输入运算符必须处理输入可能失败的情况，而输出运算符不需要。
2.  当流中含有错误类型的数据时读取操作可能失败。当读取操作到达文件末尾或遇到输入流的其它错误时也会失败。当读取操作发生错误时，输入运算符应该负责将其从错误中恢复，如将对象置为合法的状态。

istream &operator>>(istream &is, const Sales_data &item)
    ostream &operator<<(ostream &os, const Sales_data &item)

## 14.3 算术和关系运算符 ##

1.  如果类中同时定义算术运算符和相关的复合赋值运算符，则应使用复合赋值运算符来实现算术运算符，因为复合赋值运算符只会修改左侧运算对象，而算术运算符会创建一个新对象。
2.  若存在唯一一种逻辑可靠的`<`定义，则应考虑为该类定义`<`运算符。若类中同时还包含`==`，则当且仅当`<`的定义和`==`产生结果一致时（若两个对象不相等，则一个对象应该小于另一个对象）才能定义`<`运算符。

Sales_data &operator+=(const Sales_data &);
    Sales_data &operator+(const Sales_data  &lhs, const Sales_data &rhs)
    bool operator==(const Sales_data  &lhs, const Sales_data &rhs)
    bool operator<(const StrBlob &lhs, const StrBlob &rhs)

## 14.4 赋值运算符 ##

StrVec &operator=(std::initializer_list<std::string>);

## 14.5 下标运算符 ##

1.  若类包含下标运算符，则通常定义两个版本：一个返回普通引用，另一个是类的常量成员并且返回常量引用。

string &operator[](size_t n);
    const string &operator[](size_t n) const;

## 14.6 递增和递减运算符 ##

1.  定义递增递减运算符应同时定义前置版本和后置版本。后置版本比前置版本多接受一个int类型的形参。

ConstStrBlobPtr &operator++();
    ConstStrBlobPtr &operator--();
    ConstStrBlobPtr operator++(int);
    ConstStrBlobPtr operator--(int);

## 14.7 成员访问运算符 ##

1.  箭头运算符只能用于获取成员，其运算对象必须是指向类对象的指针或重载`->`的类的对象。

std::string &operator*() const;
    std::string *operator->() const;

## 14.8 函数调用运算符 ##

1.  调用运算符可以定义多个不同版本，但要求参数数量或类型有所区别。函数对象即定义调用运算符的类的对象。函数对象其行为类似于函数，常用于泛型算法的实参。
2.  `lambda`被编译器翻译成一个含有重载调用运算符的未命名类的未命名对象。未命名类的调用运算符默认是`const`，若`lambda`被声明为`mutable`，则调用运算符是非`const`。
3.  若是值捕获，`lambda`产生的类必须为捕获变量创建数据成员和构造函数。若是引用捕获，则编译器直接使用该引用，而不会创建数据成员。
4.  `lambda`产生的类不含默认构造函数、赋值运算符及默认析构函数；其是否含有默认拷贝构造函数和移动构造函数由捕获的数据成员类型决定。

std::string operator()(void) const
    std::string operator()() const
    bool operator()(const std::string &s)

1.  标准库定义的函数对象是模板，使用时需指定类型。函数对象同样适用于指针，虽然无法直接比较两个无关的指针，但可使用标准库函数对象比较两个无关指针。

<table> 
 <thead> 
  <tr> 
   <th align="left">标准库定义的函数对象</th> 
   <th align="left">说明（<code>#include &lt;functional&gt;</code>）</th> 
  </tr> 
 </thead> 
 <tbody> 
  <tr> 
   <td align="left">算术</td> 
   <td align="left"><code>plus&lt;Type&gt;``````minus&lt;Type&gt;``````multiplies&lt;Type&gt;``````divides&lt;Type&gt;</code><br><code>modulus&lt;Type&gt;</code><br><code>negate&lt;Type&gt;</code><br></td> 
  </tr> 
  <tr> 
   <td align="left">关系</td> 
   <td align="left"><code>equal_to&lt;Type&gt;``````not_equal_to&lt;Type&gt;</code><br><code>greater&lt;Type&gt;``````greater_equal&lt;Type&gt;</code><br><code>less&lt;Type&gt;``````less_equal&lt;Type&gt;</code></td> 
  </tr> 
  <tr> 
   <td align="left">逻辑</td> 
   <td align="left"><code>logical_and&lt;Type&gt;``````logical_or&lt;Type&gt;``````logical_not&lt;Type&gt;</code></td> 
  </tr> 
 </tbody> 
</table>

1.  C++可调用对象包括函数、函数指针、`lambda`表达式、`bind`创建的对象、重载调用运算符的类。不同可调用对象可能具有相同的调用形式。
2.  `function`是模板。不能直接将重载函数名字存入`function`对象，可通过存储函数指针或`lambda`来消除二义性。

<table> 
 <thead> 
  <tr> 
   <th align="left">标准库<code>function</code>类型</th> 
   <th align="left">示例（<code>#include &lt;functional&gt;</code>）</th> 
  </tr> 
 </thead> 
 <tbody> 
  <tr> 
   <td align="left"><code>function&lt;T&gt; f;</code><br><code>function&lt;T&gt; f(nullptr);</code><br><code>function&lt;T&gt; f(obj);</code></td> 
   <td align="left">定义一个存储可调用对象的<code>function</code></td> 
  </tr> 
  <tr> 
   <td align="left"><code>f;</code></td> 
   <td align="left">若<code>f</code>含有可调用对象则返回<code>true</code>，否则返回<code>false</code></td> 
  </tr> 
  <tr> 
   <td align="left"><code>f(args);</code></td> 
   <td align="left">调用<code>f</code>中的对象，参数为<code>args</code></td> 
  </tr> 
  <tr> 
   <td align="left"><code>result_type</code></td> 
   <td align="left">可调用对象的返回类型</td> 
  </tr> 
  <tr> 
   <td align="left"><code>argument_type</code><br><code>first_argument_type</code><br><code>second_argument_type</code></td> 
   <td align="left">可调用对象的参数类型</td> 
  </tr> 
 </tbody> 
</table>

## 14.9 重载、类型转换与运算符 ##

1.  转换构造函数将实参类型转换成类类型，类型转换运算符将类类型转换成其它类型。转换构造函数和类型转换运算符共同定义类类型转换（用户定义的类型转换）。
2.  **类型转换函数必须是类的成员函数**，不能声明返回类型，形参列表必须为空，通常是`const`。除`void`外，只要某一类型可以作为函数返回类型，类型转换运算符便可将类类型转换成该类型。
3.  显式的类型转换与显式构造函数一样可阻止编译器作隐式类型转换，但表达式被作为判断条件时，编译器会隐式执行显式的类型转换。转换目标是`bool`的类型转换常用作判断条件，故`operator bool`一般定义成`explicit`。
4.  **编译器只允许进行一次类类型转换和一次算术转换，其顺序不限**。
5.  若两个类提供相同的类型转换或类定义多个转换规则，则可能产生多重转换路径。故通常不要为类定义相同的类型转换，也不要在类中定义两个及两个以上转换源或转换目标是算术类型的转换。
6.  调用重载函数时，若多个用户定义的类型转换都提供可行匹配，即使其中存在精确匹配，编译器也认为调用存在二义性。
7.  在表达式中，可以通过函数匹配区分内置运算符和重载运算符，不能通过调用形式区分成员函数和非成员函数。若类既有转换目标是算术类型的类型转换，又有重载运算符，则会产生内置运算符与重载运算符的二义性问题。

// 类型转换运算符一般形式
    operator type() const;
    // 显式的类型转换运算符
    explicit operator int(){};