STL map::insert 是否应该支持 move_iterators 的移动语义？

Question

我有大量数据要从文件加载到 map 中，该文件已经按排序顺序（因为它是从地图中序列化的）。 我发现首先将数据加载到vector，然后使用insert 批量加载到map 会更快。这在 19 秒的加载时间内节省了一秒多一点。

value_type 是一个包含其他结构向量的结构。加载完成后我不需要vector，因此我在调用map::insert 时使用move_iterators。使用 MSVC 2015 (VC14)，数据不会移动到地图中，而是通过 STL 代码深处的const_reference 复制。

这是一个符合标准的实现，忽略数据的移动吗？

template<typename Stream, typename Key, typename Type, typename Traits, typename Allocator>
bool const read(Stream &is, std::map<Key, Type, Traits, Allocator> &map)
{
    size_t size;
    read(is, size);

    std::vector<std::pair<Key, Type>> items(size);
    for (size_t i=0; i<size; ++i)
    {
        auto &item = items[i];
        if (!read(is, item.first)  ||  !read(is, item.second))
            return false;
    }
    map.insert(std::make_move_iterator(items.begin()), std::make_move_iterator(items.end()));

    return !!is;
}

我已经解决了用

替换map.insert的问题

for (auto &item : items)
    map.insert(std::move(item));

但它不是那么整洁，但确实节省了 0.6 秒。

Answer 1

这是一个符合标准的实现，忽略数据的移动吗？

标准对 insert() 功能的规定：

要求： value_type 应为 EmplaceConstructible 从 *i 到 X。

所以必须可以从迭代器的reference 类型构造value_type，在这种情况下它是一个右值引用。这意味着您可以使用仅移动（即不可复制）键类型和映射类型，并且只要迭代器返回可以转换为映射的value_type 的右值，它就必须工作。

应该使用构造函数std::pair<const Key, Type>::pair<K2, T2>(pair<K2, T2>&&) 将值从来自迭代器的右值构造到映射中。

这适用于我的 GCC，以及使用在线编译器的最新 VC++：

#include <vector>
#include <map>
#include <iterator>

struct MoveOnly {
  MoveOnly() = default;
  MoveOnly(MoveOnly&&) = default;
};

bool operator<(const MoveOnly&, const MoveOnly&) { return false; }

template<typename Key, typename Type, typename Traits, typename Allocator>
void read(std::map<Key, Type, Traits, Allocator> &map)
{
    std::vector<std::pair<Key, Type>> items(1);
    map.insert(std::make_move_iterator(items.begin()), std::make_move_iterator(items.end()));
}

int main()
{
  std::map<MoveOnly, MoveOnly> m;
  read(m);
}

Answer 2

如果您已指定自己的移动构造函数或移动赋值运算符，则应将其标记为“noexcept”。否则标准容器将复制元素。 在此处查看文档：http://en.cppreference.com/w/cpp/language/noexcept_spec