Question

我尝试过这样的事情：

std::copy(std::make_move_iterator(s1.begin()), std::make_move_iterator(s1.end()), 
          std::make_move_iterator(s2.begin()));

得到了这个错误：

error: using xvalue (rvalue reference) as lvalue
        *__result = std::move(*__first);

这对我来说似乎很困惑。如果您使用std::move，也会发生同样的事情。似乎GCC内部使用一个名为std::__copy_move_a的函数，它移动而不是复制。是否使用std::copy或std::move？

是否重要？

#include <string>
#include <iostream>
#include <algorithm>
#include <iterator>
#include <cstring>

struct Test
{
    typedef std::string::value_type value_type;
    std::string data;

    Test()
    {
    }

    Test(const char* data)
        : data(data)
    {
    }

    ~Test()
    {
    }

    Test(const Test& other)
        : data(other.data)
    {
        std::cout << "Copy constructor.\n";
    }

    Test& operator=(const Test& other)
    {
        data = other.data;
        std::cout << "Copy assignment operator.\n";
        return *this;
    }

    Test(Test&& other)
        : data(std::move(other.data))
    {
        std::cout << "Move constructor.\n";
    }

    decltype(data.begin()) begin()
    {
        return data.begin();
    }

    decltype(data.end()) end()
    {
        return data.end();
    }

    void push_back( std::string::value_type ch )
    {
        data.push_back(ch);
    }
};

int main()
{
    Test s1("test");
    Test s2("four");
    std::copy(std::make_move_iterator(s1.begin()), std::make_move_iterator(s1.end()), 
              std::make_move_iterator(s2.begin()));
    std::cout << s2.data;
}

Answer 1

std::move(a, b, c);在语义上与

相同

std::copy(std::make_move_iterator(a),
          std::make_move_iterator(b),
          c);

你使用它们的努力都失败了，因为第三个参数 - 输出迭代器 - 不应该是一个移动迭代器。您正在存储到第三个迭代器中，而不是从它移动。两个

std::copy(std::make_move_iterator(s1.begin()),
          std::make_move_iterator(s1.end()),
          s2.begin());

和

std::move(s1.begin(), s1.end(), s2.begin());

应该做你想做的事。

Answer 2

如果可能，

std::move移动元素，否则复制。 std::copy将始终复制。

libstdc ++＆＃39; s copy_move_a也采用模板参数_IsMove。它和迭代器类型一起委托给__copy_move类模板，该模板部分专用于不同的迭代器类别等，但最重要的是：是否move。其中一个专业是

#if __cplusplus >= 201103L
  template<typename _Category>
    struct __copy_move<true, false, _Category>
    // first specialized template argument is whether to move
    {
      template<typename _II, typename _OI>
        static _OI
        __copy_m(_II __first, _II __last, _OI __result)
        {
      for (; __first != __last; ++__result, ++__first)
        *__result = std::move(*__first); // That may be your line
      return __result;
    }
    };
#endif

您的代码无法编译，原因完全不同：第二个范围是通过move_iterator s给出的。如果您取消引用它们，它们会返回对该对象的 rvalue 引用 - 并且您无法将某些内容赋予标量类型的xvalue。

int i;
std::move(i) = 7; // "expression not assignable" -- basically what your code does

std::move隐式包含在*__result中，且属于相同的值类别，即xvalue。

对于您的示例，

std::copy(std::make_move_iterator(s1.begin()), std::make_move_iterator(s1.end()),
          s2.begin());

应该可以正常工作。

std :: move和std :: copy是否相同？

2 个答案: