Question

我有一些代码：

Class A{
//...A has a move ctor here.
};

unordered_map<int, A> bla;
A tmp;
//operations on tmp
bla.insert(make_pair<int, A>(1, move(tmp)));

我想调用移动构造函数而不是复制类A的ctor。这段代码是否正确？我认同。奇怪的是它编译并适用于Ubuntu Precise（g ++ show version of 4.6.3）。但是在CentOS上，它无法编译。前几行是：

 In substitution of ‘template<class _From1, class _To1> static decltype     ((__test_aux<_To1>(declval<_From1>()), std::__sfinae_types::__one()))     std::__is_convertible_helper<_From, _To, false>::__test(int) [with _From1 = _From1; _To1 = _To1; _From = const A&; _To = A] [with _From1 = const A&; _To1 = A]’:
/gcc/x86_64-redhat-linux/4.7.1/../../../../include/c++/4.7.1/type_traits:1258:70:   required from ‘constexpr const bool std::__is_convertible_helper<const A&, A, false>::value’
/gcc/x86_64-redhat-linux/4.7.1/../../../../include/c++/4.7.1/type_traits:1263:12:   required from ‘struct std::is_convertible<const A&, A>’
/gcc/x86_64-redhat-linux/4.7.1/../../../../include/c++/4.7.1/type_traits:116:12:   required from ‘struct std::__and_<std::is_convertible<const int&, int>, std::is_convertible<const A&, A> >’
/gcc/x86_64-redhat-linux/4.7.1/../../../../include/c++/4.7.1/bits/stl_pair.h:113:38:   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 = A; typename std::__decay_and_strip<_T2>::__type = A; typename std::__decay_and_strip<_T1>::__type = int]’

似乎试图打电话给复制ctor。有关此错误的任何想法吗？

好吧，我的CentOS没有最新版本的gcc / libstdc ++，所以实际上我自己构建这些（gcc 4.7.1）并将它们安装在我的家庭目录中。这有关系吗？这是我编译时的配置：

Target: x86_64-redhat-linux
Configured with: ../gcc-4.7.1/configure --prefix=/home/bla/usr/ --with-mpc=/home/bla/usr/ --with-mpfr=/home/bla/usr/ --with-gmp=/home/bla/usr/ --disable-multilib --enable-shared --enable-threads=posix --enable-checking=release --with-system-zlib --enable-__cxa_atexit --disable-libunwind-exceptions --enable-libgcj-multifile --enable-languages=c,c++ --enable-java-awt=gtk --disable-dssi --disable-plugin --with-cpu=generic --build=x86_64-redhat-linux
Thread model: posix
gcc version 4.7.1 (GCC)

更新：也许使用“移动语义”是错误的。我尝试用STL字符串“移动”：

unordered_map<int, string> bla;
string tmp("hello world");
//operations on tmp
bla.emplace(1, move(tmp));

这很好，内部字符真的“移动”了。

但它不适合我的A级......这是A：

class A
{
    public:
        A(){...}
        ~A(){}
        A(A&& other){...}
    private:
        A& operator = (const A& other);
        A& operator = ( A&& other);
        A(const A& other);
};

更新：我得到它的工作，当A是：

class A
{
    public:
        A(){...}
        ~A(){}
        A(A&& other){...}
        A(const A& other){}
    private:
        A& operator = (const A& other);
        A& operator = ( A&& other);
};

注意 COPY CTOR 。现在我的所有移动语义都是正确的，并且复制ctor在运行时实际上并不被称为。我对“移动”感到错误吗？

Answer 1

不要指定std::make_pair的模板参数，因为它会破坏其完美转发机制。即，如果您无法使用emplace，请按以下方式致电make_pair：

bla.insert(make_pair(1, move(tmp)));

Answer 2

我认为这个问题与this question的答案相同，可能是一个重复的问题。

但是，当使用 noexcept 关键字和move contstructor时，我仍然没有成功编译它。

使用unordered_map移动构造函数

2 个答案: