std::move和std：：复制相同吗？

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++的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提供的。如果取消对它们的引用，它们会向对象返回一个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());

应该能正常工作。