C/C++编程：移动赋值运算符

￡神魔★判官ぃ 2022-11-12 04:24 175阅读 0赞

类 T 的移动赋值运算符是名为 operator=的非模板非静态成员函数，它接受恰好一个 `T&&、const T&&、volatile T&& 或 const volatile T&&`类型的形参。

# 语法 #

<table> 
 <thead> 
  <tr> 
   <th>语法</th> 
   <th>声音</th> 
   <th>起源</th> 
  </tr> 
 </thead> 
 <tbody> 
  <tr> 
   <td><code>类名 &amp; 类名 :: operator= ( 类名 &amp;&amp; )</code></td> 
   <td>(1)</td> 
   <td>(C++11 起)</td> 
  </tr> 
  <tr> 
   <td><code>类名 &amp; 类名 :: operator= ( 类名 &amp;&amp; ) = default;</code></td> 
   <td>(2)</td> 
   <td>(C++11 起)</td> 
  </tr> 
  <tr> 
   <td><code>类名 &amp; 类名 :: operator= ( 类名 &amp;&amp; ) = delete;</code></td> 
   <td>(3)</td> 
   <td>(C++11 起)</td> 
  </tr> 
 </tbody> 
</table>

1.  移动赋值运算符的典型声明。
2.  强制编译器生成移动赋值运算符。
3.  避免隐式移动赋值。

>  *  **典型的移动赋值运算符“窃取”实参曾保有的资源（例如指向动态分配对象的指针，文件描述符，TCP socket，I/O流，运行的线程，等等），而非复制它们，并使得实参遗留于某个合法但不确定的状态**。例如，从 std::string 或从 std::vector  
>     移动赋值可能导致实参被置空。然而这并不保证会发生。
>  *  **移动赋值与普通赋值相比，其定义较为宽松而非更严格；在完成时，普通赋值必须留下数据的两份副本，而移动赋值只要求留下一份。**

# 例子 #

## 移动构造函数 ##

首先看通常的拷贝构造函数：  
![在这里插入图片描述][20210323210917458.png]  
拷贝构造函数中实现了深拷贝处理。再看移动构造函数：  
![在这里插入图片描述][20210323210947268.png]  
**代码构造和拷贝构造函数类似，但是内存的处理不是拷贝而是转移。注意参数类型是右值引用。**

## 移动赋值运算符 ##

赋值运算符的情况和构造函数类似，还是先考察普通的赋值运算符：  
![在这里插入图片描述][watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L3poaXpoZW5nZ3Vhbg_size_16_color_FFFFFF_t_70]  
再看移动赋值运算符：

![在这里插入图片描述][20210323211041713.png]  
套路和普通的赋值预算符相似，同样是内存移动而不是拷贝。注意参数类型是右值引用。

#include <iostream>
    struct V
    {
        
        V& operator=(V&& other) {
        
            std::cout << "aaaa\n";
            // 这可能被调用一或两次
            // 若调用两次，则 'other' 是刚被移动的 V 子对象
            return *this;
        }
    };
    struct A : virtual V {
         }; // operator= 调用 V::operator=
    struct B : virtual V {
         }; // operator= 调用 V::operator=
    struct C : B, A {
         };      // operator= 调用 B::operator=，然后调用 A::operator=
    // 但可能只调用一次 V::operator=
    
    int main()
    {
        
        C c1, c2;
        c2 = std::move(c1);
    }

[20210323210917458.png]: /images/20221022/19fa438f2add4ec4aabe4a426bd53c2f.png
[20210323210947268.png]: /images/20221022/407c7fbfec2d40879788d315628afc9d.png
[watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L3poaXpoZW5nZ3Vhbg_size_16_color_FFFFFF_t_70]: /images/20221022/caa2a24d5c724db48f666f9d074eb740.png
[20210323211041713.png]: /images/20221022/7d0a3d4b235349bba44cac534b7b404c.png