带有复制构造函数的emplace和try_emplace

Question

我对emplace和try_emplace有一个问题，因为它们在移动对象时总是使用复制构造函数。

#include <iostream>
#include <unordered_map>
#include <map>

using namespace std;

class Too {
public:
     Too(int x, int y):x_(x), y_(y) {
        cout << "init " << x_  << endl;
    }
    Too(const Too& too):x_(too.x_+1), y_(too.y_+1) {
        cout << "Copy happen: x = " << x_ << endl;
     }
    ~Too() {
        cout << "delete too " << x_ << endl;
    }
private:
    int x_, y_;
};



std::map<int, Too> v;


int main()
{
    v.emplace(100, Too{ 100,23 });

    v.try_emplace(12, 12, 13);

    Too t = Too(10, 11);
    v.try_emplace(11, std::move(t));
}

输出init 100复制发生:x= 101删除过100 init 12 init 10复制发生X= 11删除过10删除过101删除过12删除过11

如您所见，只有v.try_emplace(12、12、13)不使用复制构造函数。v.emplace(100，也是{ 100,23 })和v.try_emplace(11，std::move(t))都调用复制构造函数。

那么，当我使用std::move(t)时，怎么可能是这样呢？

如有任何建议，将不胜感激。

谢谢,

Answer 1

因为您已经为类提供了一个复制构造函数，所以构造函数不会由编译器隐式生成。

此外，当没有可用于类的移动构造函数时，可以使用复制构造函数。

为了使用移动构造函数，您必须显式地提供一个适当的用户定义的移动构造器Too::Too(Too&&)，然后您将得到所需的结果。

您可以通过添加Too(Too&&) = default;或编写自己的move构造函数来添加移动构造函数，这将在构造函数初始化程序列表中进行初始化。