将使用列表初始化的pair插入到std::map中

Question

将使用列表初始化的pair插入到std::map中

c++insertstdmapstd-pairlist-initialization

4

我正在尝试将一个只能移动的类型插入到一个映射中。我有以下代码：

#include <map>

class Moveable
{
public:
    Moveable() = default;
    Moveable(const Moveable&) = delete;
    Moveable(Moveable&&) = default;
    Moveable& operator=(const Moveable&) = delete;
    Moveable& operator=(Moveable&&) = default;
};

int main() {
    std::map<int,Moveable> my_map;
    Moveable my_moveable_1, my_moveable_2, my_moveable_3;
    my_map.insert(std::pair<int,Moveable>{1, std::move(my_moveable_1)}); // (1)
    my_map.insert(std::make_pair(2, std::move(my_moveable_2)));          // (2)
    my_map.insert({3, std::move(my_moveable_3)});                        // (3)

    return 0;
}

使用VisualC++编译器，1、2、3行都能够成功编译。然而在clang和gcc编译器中，只有1、2行能够成功编译，第三行会出现错误（使用了已删除的复制构造函数）。

问题：哪个编译器是正确的？为什么？

请点击此处进行测试: rextester

- unignore

1

这并不回答你的问题，但在这里使用 my_map.emplace(3, std::move(my_moveable_3)); 更有意义。 - super

2个回答

0

我已经使用g++ 7.3测试了您的代码，它可以编译而没有错误！

但是，使用clang++ 5.0.1编译时会出现错误。

我认为您正在使用c++20的某个特性，因此并非所有编译器都支持该特性。

- Giggi

2

那将是哪个C++20的特性？ - David G

网页内容由stack overflow 提供, 点击上面的

可以查看英文原文，
原文链接

- Arne Vogel · Accepted Answer

std::map::insert有以下重载：

// 1.
std::pair<iterator,bool> insert( const value_type& value );

// 2. (since C++11)
template< class P >
std::pair<iterator,bool> insert( P&& value );

// 3. (since C++17)
std::pair<iterator,bool> insert( value_type&& value );

第一个重载显然不能用于移动类型。但是第二个重载，虽然在C++11中可用，但在这里不适用花括号，因为模板参数推断不会发生在花括号中（至少在C++11中，不确定后来的标准）。

你对insert的第一次和第二次调用都适用于C++11或更高版本，因为编译器知道类型，但第三次失败了。

C++17添加了另一个重载，可以使用花括号和移动类型。至于为什么它在某些编译器上工作而在其他编译器上不工作，这很可能是由于C++17支持水平或编译器标志的差异。

更新：只需明确指出：使用花括号表示仅使用花括号（聚合初始化或隐式构造函数调用），即insert({k,v})，而不是insert(pair<K,V>{k,v})。在后一种情况下，类型已知，并且可以在C++11中选择模板重载。