有没有一个简单的移动结构的例子不会被忽略？

Is there a simple example of move construction that won't get elided?

本文关键字：有一个 简单 移动 结构      更新时间：2023-10-16

我正在努力学习移动语义，以便将其介绍给我的学生。我一直在使用高度简化的类似向量或字符串的类，这些类管理内存，其成员输出消息来演示他们的活动。我正在努力开发一组简单的例子给学生看。

在gcc 4.7和clang中，RVO和其他地方的构造省略积极地消除了复制和移动构造，所以虽然我可以很容易地在工作中看到移动分配，但我在工作中唯一一次看到移动构造是如果我使用-fno elide构造函数关闭gcc 4.7中的构造省略。

显式复制构造语句

MyString newString(oldString);

将调用复制构造函数，即使启用了省略。但类似的东西

MyString newString(oldString1 + oldString2);

由于省略，没有调用move构造函数。

任何明确使用std:：move的东西都不会成为一个简单的例子，因为解释std:：move必须在后面。

所以我的问题是：有没有一个简单的代码示例可以调用move构造，即使复制/移动构造函数被省略了？

简单的例子是返回的函数的参数。标准明确禁止在这种情况下删除移动（并不是说他们可以…）：

std::vector<int> multiply( std::vector<int> input, int value ) {
   for (auto& i : input )
      i *= value;
   return input;
}

此外，您可以明确地请求移动构建一个更简单但更人为的示例：

T a;
T b( std::move(a) );

嗯。。。还有一个不涉及std::move（从技术上讲，它可以被忽略，但大多数编译器可能不会）：

std::vector<int> create( bool large ) {
   std::vector<int> v1 = f();
   std::vector<int> v2 = v1;       // modify both v1 and v2 somehow
   v2.resize( v2.size()/2 );
   if ( large ) {
      return v1;
   } else {
      return v2;
   }
}

而优化器可以通过将代码重写为：来消除它

std::vector<int> create( bool large ) {
   if ( large ) {
      std::vector<int> v1 = f();
      std::vector<int> v2 = v1;       // modify both v1 and v2 somehow
      v2.resize( v2.size()/2 );
      return v1;
   } else {
      std::vector<int> v1 = f();
      std::vector<int> v2 = v1;       // modify both v1 and v2 somehow
      v2.resize( v2.size()/2 );
      return v2;
   }
}

我非常怀疑编译器是否真的会这么做。请注意，在创建v1和v2之前，在每个代码路径中返回的对象都是已知的，因此优化器可以在重写后在返回位置找到合适的对象。

12.8/31中描述了可以取消复制/移动的情况。如果您设法编写了不属于这些类别的代码，并且该类型具有移动构造函数，则将调用移动构造函数。

嗯，让我们看看：

  • MyString newString(oldString)是的副本。这里没有什么可忽略的；我们最终得到了两个对象。

  • MyString newString(oldString1 + oldString2);从临时中复制，因此可以消除该副本，并直接就地构建连接。

这里有一个非常便宜的不可撤销移动结构的例子：

MyString boo()
{
    MyString s("Hello");
    return std::move(s);   // move-construction from the local "s", never elided
}

显式强制转换使s不符合RVO，因此返回值将从s移动构造。

相关文章：