Question

我正在尝试将没有复制构造函数的模板化类的实例插入到地图中。下面的代码不起作用，因为在emplace函数编译器想要调用复制构造函数。我不明白为什么，因为我从C++ reference了解到，移动不会移动或复制：

小心使用emplace可以构建新元素避免不必要的复制或移动操作。

这是我的代码：

#include <map>
#include <string>

template<typename T> class Class_a
{
    public:
        Class_a(T t1, T t2) : t1_(t1), t2_(t2) {}
        ~Class_a() {}
        Class_a(const Class_a&) = delete;
        Class_a& operator=(const Class_a&) = delete;
        Class_a(Class_a&&) = delete;
    private:
        const T t1_;
        const T t2_;
};

template<typename T>
using Class_a_map = std::map<std::string, Class_a<T>>;

int main()
{
    Class_a_map<double> class_a_map;
    std::string name = "test";
    double number1 = 42;
    double number2 = 43;
    class_a_map.emplace(name, Class_a<double>(number1, number2));

    return 0;
}

Answer 1

您可以使用std::piecewise_construct和std::forward_as_tuple来创建对象。

class_a_map.emplace(
    std::piecewise_construct, 
    std::forward_as_tuple(name),
    std::forward_as_tuple(number1, number2)
);

live wandbox example

std::map::emplace完美地将一堆参数转发给用于键/值存储的基础std::pair。 std::pair::pair有一个重载，它将std::piecewise_construct_t作为其第一个参数，然后是两个std::tuple个实例：第一个将用于构建.first，第二个将用于用于构建.second。

从cppreference，关于std::pair的分段构造函数：

将first_args的元素转发给first的构造函数，并将second_args的元素转发给second的构造函数。这是唯一可用于创建一对不可复制的不可移动类型的非默认构造函数。

在std :: map中插入模板化类，插入时为构造

1 个答案: