强制执行 c++11 移动语义时出现编译器错误

Question

我提炼了代码，最终得到了下面的代码。插入地图时出错...

感谢标记问题的人 - 希望他是第一个回答问题的人；）。

现在说真的，我的观点是：移动是在“尽力而为”的基础上完成的，并且无法确保使用它（就像这里的天真删除一样），这会造成很多混乱。对我来说，必须提供一个从未使用过的复制构造函数体来让编译器静音是很狡猾的。

当然，可能是编译器和我的stl之间的坏戏。让生活和呼吸 C++ 标准的人们来澄清。

#include <vector>
#include <map>
#include <iostream>
using namespace std;

struct FeedDataType
{
    FeedDataType() {};
    FeedDataType(FeedDataType&& ) = default;

#if 0
    // error: use of deleted function 'FeedDataType::FeedDataType(const FeedDataType&) - why?
    FeedDataType(const FeedDataType& ) = delete;
#else
    // Compiles ok but never called. But cannot mark it delete...
    FeedDataType(const FeedDataType& ) { cout << "Never called!" << endl; };
#endif
};

int main ()
{
    vector< FeedDataType > x;
    map<int, vector< FeedDataType > > mymap;
    mymap.insert( std::make_pair( 0, x ) );
}

错误：

In file included from /cs/insight_san/tools/usr/bin/../lib/gcc/x86_64-unknown-linux-gnu/4.7.2/../../../../include/c++/4.7.2/vector:63:0,
             from play3.cpp:1:
/cs/insight_san/tools/usr/bin/../lib/gcc/x86_64-unknown-linux-gnu/4.7.2/../../../../include/c++/4.7.2/bits/stl_construct.h: In instantiation of 'void std::_Construct(_T1*, _Args&& ...) [with _T1 = FeedDataType; _Args = {const FeedDataType&}]':
/cs/insight_san/tools/usr/bin/../lib/gcc/x86_64-unknown-linux-gnu/4.7.2/../../../../include/c++/4.7.2/bits/stl_uninitialized.h:77:3:   required from 'static _ForwardIterator std::__uninitialized_copy<_TrivialValueTypes>::__uninit_copy(_InputIterator, _InputIterator, _ForwardIterator) [with _InputIterator = __gnu_cxx::__normal_iterator<const FeedDataType*, std::vector<FeedDataType> >; _ForwardIterator = FeedDataType*; bool _TrivialValueTypes = false]'
/cs/insight_san/tools/usr/bin/../lib/gcc/x86_64-unknown-linux-gnu/4.7.2/../../../../include/c++/4.7.2/bits/stl_uninitialized.h:119:41:   required from '_ForwardIterator std::uninitialized_copy(_InputIterator, _InputIterator, _ForwardIterator) [with _InputIterator = __gnu_cxx::__normal_iterator<const FeedDataType*, std::vector<FeedDataType> >; _ForwardIterator = FeedDataType*]'
/cs/insight_san/tools/usr/bin/../lib/gcc/x86_64-unknown-linux-gnu/4.7.2/../../../../include/c++/4.7.2/bits/stl_uninitialized.h:260:63:   required from '_ForwardIterator std::__uninitialized_copy_a(_InputIterator, _InputIterator, _ForwardIterator, std::allocator<_Tp>&) [with _InputIterator = __gnu_cxx::__normal_iterator<const FeedDataType*, std::vector<FeedDataType> >; _ForwardIterator = FeedDataType*; _Tp = FeedDataType]'
/cs/insight_san/tools/usr/bin/../lib/gcc/x86_64-unknown-linux-gnu/4.7.2/../../../../include/c++/4.7.2/bits/stl_vector.h:310:9:   required from 'std::vector<_Tp, _Alloc>::vector(const std::vector<_Tp, _Alloc>&) [with _Tp = FeedDataType; _Alloc = std::allocator<FeedDataType>; std::vector<_Tp, _Alloc> = std::vector<FeedDataType>]'
/cs/insight_san/tools/usr/bin/../lib/gcc/x86_64-unknown-linux-gnu/4.7.2/../../../../include/c++/4.7.2/bits/stl_pair.h:137:64:   required from 'constexpr std::pair<_T1, _T2>::pair(_U1&&, _U2&&) [with _U1 = int; _U2 = std::vector<FeedDataType>&; <template-parameter-2-3> = void; _T1 = int; _T2 = std::vector<FeedDataType>]'
/cs/insight_san/tools/usr/bin/../lib/gcc/x86_64-unknown-linux-gnu/4.7.2/../../../../include/c++/4.7.2/bits/stl_pair.h:273:72:   required from 'constexpr std::pair<typename std::__decay_and_strip<_T1>::__type, typename std::__decay_and_strip<_T2>::__type> std::make_pair(_T1&&, _T2&&) [with _T1 = int; _T2 = std::vector<FeedDataType>&; typename std::__decay_and_strip<_T2>::__type = std::vector<FeedDataType>; typename std::__decay_and_strip<_T1>::__type = int]'
play3.cpp:24:44:   required from here
/cs/insight_san/tools/usr/bin/../lib/gcc/x86_64-unknown-linux-gnu/4.7.2/../../../../include/c++/4.7.2/bits/stl_construct.h:77:7: error: use of deleted function 'FeedDataType::FeedDataType(const FeedDataType&)'
play3.cpp:13:9: error: declared here

原帖：

我想澄清一下编译器错误（RedHat 上的 g++ 4.7.2）。 这是什么意思：只是想强制使用移动构造函数。

所以我写：

FeedDataType(FeedDataType&& ) = default;
FeedDataType(const FeedDataType& ) = delete;

唉，它不能编译（我会省去你完整的堆栈跟踪）：

.../lib/gcc/x86_64-unknown-linux-gnu/4.7.2/../../../../include/c++/4.7.2/bits/stl_construct.h:77:7: error: use of deleted function 'FeedDataType::FeedDataType(const FeedDataType&)'

在需要copy ctor的地方并不明显，我为它写了一个主体，以便在使用时让程序核心，然后查看堆栈跟踪：

FeedDataType(FeedDataType&& ) = default;
FeedDataType(const FeedDataType& ) { cerr << "Called" << endl; assert(false); }

好吧，程序编译并运行，无需输入复制 ctor 代码。那么，如果不使用，为什么不能删除复制ctor？如何确定正在使用什么？

其他我不明白的事情：

void FeedData::add( const FeedDataType & feedDataRow )
{
    // Is move used here? If not why not warn?
    some_vector.push_back( std::move(feedDataRow) );
}

这显然使用了复制构造函数。如果编译器发出警告/错误提示此处未使用移动构造，那会很好吗？在大型程序中，很容易错过 const 并相信 std::move 会完成这项工作。其实应该是编译器错误——feedDataRow 是 const，从它移动构造应该是不可能的吧？

使用非常量引用似乎更好，因为在这种情况下使用了移动构造函数。还是应该按价值通过这里？

我认为第一个问题是编译器错误，但希望得到知道发生了什么的人的启发。我在想移动语义很容易，但显然需要做我的功课。寻找 Meyers 先生关于 C++11 的书籍；）。

谢谢，

阿德里安

Answer 1

好吧，程序编译并运行，无需输入复制ctor代码。
那么，如果不使用，为什么不能删除copy ctor呢？
如何确定正在使用什么？

它可能在可能使用的范围内

在以下代码中：

void foo() = delete;

void bar(bool b)
{
    if (b) { foo(); }
    // Other stuff
}

假设我们只调用了bar(false)，foo没有被调用，但是bar还是使用了一个被删除的函数。

如果您点击错误链接，您将看到代码的哪一部分可能使用了复制构造函数。

Answer 2

std::move 大致意思是“尽可能移动，否则复制”（不完全是，但对于本次讨论而言足够接近）。这并不意味着“尽可能移动，否则恐慌”。前一种语义在任何地方都非常有用，包括几乎所有编写基于模板的通用组件的情况。后者仅在极少数情况下有用，即可能无法移动，并且可以复制，但您不想复制。

该标准为您提供了前者的语义，但没有提供后者。如果您需要后者，您可以按照以下方式编写自己的：

template< class T >
typename std::remove_reference<T>::type&& my_move( T&& t )
{
    return static_cast<typename std::remove_reference<T>::type&&>(t);
}

template< class T >
typename std::remove_reference<T>::type&& my_move( const T& t )
{
    static_assert(!std::is_lvalue_reference<T&>::value, "Move is requested, but only copying is possible");
}

Answer 3

复制构造函数被vector的复制构造函数使用，它被std::make_pair中调用的std::pair的构造函数使用。在您的小示例程序的给定运行中实际上没有调用它的原因是向量是空的。

当您拨打make_pair 时，在x 上尝试std::move。