为何可使用已被移动的变量？探讨其合理场景与编译警告设置

你提到的代码里，把a1移动给a2后，a1的指针被置为NULL，再访问*a1.s直接触发段错误——这种场景确实危险，但移动后的对象并非完全不能用，存在一些合理的使用场景：

一、哪些场景下用已移动变量是合理的？ #

• 重新赋值：C++标准规定，移动后的对象必须处于「可析构、可被赋值」的状态。所以给已移动的对象重新赋值是完全合法且有意义的操作：

  A a1;
  A a2 = std::move(a1);
  a1 = A(); // 给a1重新赋值新对象
  std::cout << *a1.s << '\n'; // 正常运行
  

• 调用不依赖内部状态的成员函数：如果类的成员函数不需要访问对象的有效内部数据（比如静态成员函数，或者只是打印固定信息的非静态函数），即使对象被移动过，调用这些函数也没问题。

• 标准库容器的常规操作：比如std::vector被移动后，虽然内部数据被转移，但你可以调用clear()、size()（此时返回0）、empty()等方法，这些操作都是合法且有用的——毕竟移动后的容器本身还是一个有效的空容器。

二、怎么设置编译警告检测这种问题？ #

不同编译器有对应的警告选项：

GCC/Clang #

启用-Wuse-after-move选项，专门检测移动后使用变量的情况。这个警告会在你访问已移动对象的成员、调用非const成员函数时触发。如果想覆盖更多常见警告，可以搭配-Wall一起用：

g++ -std=c++17 -Wuse-after-move -Wall your_code.cpp -o program

MSVC #

使用/w44456选项，这是等级4的警告，专门检测移动后使用对象的场景：

cl /std:c++17 /w44456 your_code.cpp

需要注意的是：编译器的检测不是万能的——像你代码里直接访问裸指针a1.s，编译器可能没法精准判断它是否为空；但如果是使用标准库类型（比如std::string、std::vector），编译器的检测会更准确，因为标准库类型的移动语义是编译器能识别的。

内容的提问来源于stack exchange，提问作者Fanteria