我如何 try_emplace std::map 中的 POD 结构？

Question

我有一张int -> { basic types }的地图需要收藏

我想简单地创建一个 struct { int f1, int f2; }; 并直接存储值，在存储期间就地构建结构。我不希望有任何重复的键，所以 try_emplace 看起来很理想。

我写了这段代码：

// mcve.cpp
#include <map>
#include <string>

struct various { int f1, f2; };
using map_t = std::map<int, various>;

void
example()
{
    map_t dict;

    //dict.try_emplace(1, 2);
    dict.try_emplace(1, 1, 2);
    //dict.try_emplace(1, {1, 2});
}

但是 none 这些选项有效。

使用 clang++ 我得到这样的错误。 (版本: clang 版本 5.0.1 (tags/RELEASE_501/final))

/opt/local/libexec/llvm-5.0/include/c++/v1/tuple:1365:7: error: no matching
      constructor for initialization of 'various'
      second(_VSTD::forward<_Args2>(_VSTD::get<_I2>(__second_args))...)
      ^      ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

### ... many lines ...

mcve.cpp:14:7: note: in instantiation of function template specialization
      'std::__1::map<int, various, std::__1::less<int>,
      std::__1::allocator<std::__1::pair<const int, various> > >::try_emplace<int,
      int>' requested here
        dict.try_emplace(1, 1, 2);
             ^
mcve.cpp:4:8: note: candidate constructor (the implicit copy constructor) not
      viable: requires 1 argument, but 2 were provided
struct various { int f1, f2; };
       ^
mcve.cpp:4:8: note: candidate constructor (the implicit move constructor) not
      viable: requires 1 argument, but 2 were provided
mcve.cpp:4:8: note: candidate constructor (the implicit default constructor) not
      viable: requires 0 arguments, but 2 were provided
1 error generated.

使用 g++ 我得到这样的错误。 (版本: g++ (MacPorts gcc7 7.2.0_0) 7.2.0):

In file included from /opt/local/include/gcc7/c++/bits/node_handle.h:40:0,
                 from /opt/local/include/gcc7/c++/bits/stl_tree.h:72,
                 from /opt/local/include/gcc7/c++/map:60,
                 from mcve.cpp:1:
/opt/local/include/gcc7/c++/tuple: In instantiation of 'std::pair<_T1, _T2>::pair(std::tuple<_Args1 ...>&, std::tuple<_Args2 ...>&, std::_Index_tuple<_Indexes1 ...>, std::_Index_tuple<_Indexes2 ...>) [with _Args1 = {int&&}; long unsigned int ..._Indexes1 = {0}; _Args2 = {int&&, int&&}; long unsigned int ..._Indexes2 = {0, 1}; _T1 = const int; _T2 = various]':

### ... many lines ...

mcve.cpp:14:26:   required from here
/opt/local/include/gcc7/c++/tuple:1652:70: error: no matching function for call to 'various::various(int, int)'
         second(std::forward<_Args2>(std::get<_Indexes2>(__tuple2))...)
                                                                      ^
mcve.cpp:4:8: note: candidate: various::various()
 struct various { int f1, f2; };
        ^~~~~~~
mcve.cpp:4:8: note:   candidate expects 0 arguments, 2 provided
mcve.cpp:4:8: note: candidate: constexpr various::various(const various&)
mcve.cpp:4:8: note:   candidate expects 1 argument, 2 provided
mcve.cpp:4:8: note: candidate: constexpr various::various(various&&)
mcve.cpp:4:8: note:   candidate expects 1 argument, 2 provided

那么，我怎样才能有效地将数据存储到我的地图中（理想情况下，使用简单易读的代码）？

Answer 1

你的前两次尝试

dict.try_emplace(1, 2);
dict.try_emplace(1, 1, 2);

失败，因为您不能使用 try_emplace、emplace 等来初始化 aggregate from a list of values. Standard allocators construct the types in-place using () instead of {}, which of course will fail for aggregates. See the answers to 。

第三次尝试

dict.try_emplace(1, {1, 2});

失败，因为 braced-init-list 不是表达式，也没有类型，因此 template argument deduction fails 将其推断为 various.

您可以通过指定您正在构建一个 various 实例来使 try_emplace 工作

dict.try_emplace(1, various{1, 2});

或将适当的构造函数添加到 various，这将允许前两次尝试工作。

但是，鉴于您正在使用包含内置类型的 map，最简单的解决方案是只使用 insert 而不是安置。

dict.insert({1, {1, 2}});

map::insert overload called above is std::pair<iterator,bool> insert(value_type&&), where value_type is pair<const int, various>. The nested braced-init-lists are deduced as value_type by the overload resolution rules in over.match.list，特别是第二个项目符号

If no viable initializer-list constructor is found, overload resolution is performed again, where the candidate functions are all the constructors of the class T and the argument list consists of the elements of the initializer list.

选择了pair(T1 const&, T2 const&)构造器。

我如何 try_emplace std::map 中的 POD 结构？

How can I try_emplace a POD struct in a std::map?

c++

struct

stdmap

emplace

c++17