将列表初始化对插入 std::map

Question

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

#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 编译并且第 3 行给出错误（使用删除的复制构造函数）。

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

在这里试试：rextester

Answer 1

我已经用 g++ 7.3 测试了你的代码，它编译没有错误！

使用 clang++ 5.0.1 无法编译。

我认为您正在使用 c++20 的一项功能，因此尚未在所有编译器上提供支持。

Answer 2

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 );

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

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

C++17 添加了另一个适用于大括号和 move-only 类型的重载。现在至于为什么它适用于某些编译器而不适用于其他编译器，这很可能是由于 C++17 支持级别或编译器标志的差异。

更新：只是为了让它痛苦地显而易见：使用大括号我的意思是仅使用大括号（聚合初始化或隐式构造函数调用），即 insert({k,v})，而不是 insert(pair<K,V>{k,v})。在后一种情况下，类型是已知的，即使在 C++11 中也可以选择模板化重载。

将列表初始化对插入 std::map

Insert list-initialized pair into std::map

c++

insert

stdmap

std-pair

list-initialization