c++ - C++11 move 语义是在做一些新的事情，还是只是让语义更清晰？

Question

我基本上是想弄清楚，整个“move 语义”概念是全新的，还是只是让现有代码更易于实现？我总是对减少调用复制/构造函数的次数感兴趣，但我通常使用引用(可能还有 const)传递对象，并确保我总是使用初始化列表。考虑到这一点(并查看了整个丑陋的 && 语法)，我想知道是否值得采用这些原则或像我已经做的那样简单地编码？这里有什么新东西吗，还是我已经做的只是“更简单”的语法糖？

Answer 1

TL;DR

这绝对是新事物，它不仅仅是一种避免复制内存的方法。

长答案:为什么它是新的以及一些可能不明显的含义

move 语义正如其名称所暗示的那样——即一种显式声明用于 move 对象而不是复制的指令的方法。除了明显的效率优势之外，这还为程序员提供了一种符合标准的方法来获得可 move 但不可复制的对象。可 move 且不可复制的对象通过标准语言语义传达了非常清晰的资源所有权边界。这在过去是可能的，但没有标准/统一(或与 STL 兼容)的方式来做到这一点。

这很重要，因为拥有标准和统一的语义对程序员和编译器都有好处。程序员不必花时间将错误引入编译器可以可靠生成的 move 例程(大多数情况下)；编译器现在可以进行适当的优化，因为该标准提供了一种通知编译器您何时何地进行标准 move 的方法。

move 语义特别有趣，因为它非常适合 RAII 习语，这是 C++ 最佳实践的长期基石。 RAII 不仅仅包含这个例子，但我的观点是， move 语义现在是一种标准的方式来简洁地表达(除其他外)可 move 但不可复制的对象。

您不必总是明确定义此功能以防止复制。一种称为“复制省略”的编译器功能会从按值传递的函数中消除大量不必要的拷贝。

关于 RAII 的犯罪不完整速成类(class)(面向初学者)

我知道您并没有要求提供代码示例，但这里有一个非常简单的示例，可能会对可能不太熟悉该主题或 Move Semantics 与 RAII 实践相关性的 future 读者有所帮助。 (如果您已经理解这一点，请跳过此答案的其余部分)

// non-copyable class that manages lifecycle of a resource
// note:  non-virtual destructor--probably not an appropriate candidate
//        for serving as a base class for objects handled polymorphically.
class res_t {
  using handle_t = /* whatever */;
  handle_t* handle;  // Pointer to owned resource
public:
  res_t( const res_t& src ) = delete;            // no copy constructor
  res_t& operator=( const res_t& src ) = delete; // no copy-assignment

  res_t( res_t&& src ) = default;                // Move constructor
  res_t& operator=( res_t&& src ) = default;     // Move-assignment

  res_t();                                       // Default constructor
  ~res_t();                                      // Destructor
};

此类的对象将在构造时分配/提供所需的任何资源，然后在销毁时释放/释放它。由于数据成员指向的资源永远不会意外转移到另一个对象，因此资源的合法所有者永远不会受到质疑。除了使您的代码不易被滥用或出错(并且易于与 STL 容器兼容)之外，任何熟悉此标准实践的程序员都会立即认识到您的意图。