std::pair和map::value_type与unique_ptr之间的区别

Question

std::pair和map::value_type与unique_ptr之间的区别

4

在下面的代码示例中，我正在尝试使用std::unique_ptrs。我可以像预期的那样将unique_ptr添加到map中。让我惊讶的是，我不能将其作为std::pair的成员。示例中的注释行应该是我尝试构造与我的map::value_type相同类型的pair（我认为...）。我不确定为什么这不起作用。

提前感谢。

#include <iostream>
#include <memory>
#include <map>

#include <arpa/inet.h>

typedef std::map<uint32_t, std::unique_ptr<uint32_t>  > ntohl_map_type;
typedef std::map<uint32_t, uint32_t> u32_map_type;

void
u32_map()
{
    uint32_t key(0);
    uint32_t val(0);
    u32_map_type u32_map;

    u32_map.insert(u32_map_type::value_type(key, val));
    u32_map.insert(std::pair<uint32_t, uint32_t>(++key, ++val));

    std::cout << "u32_map: " << std::endl;
    for (auto &itr : u32_map) {
        std::cout << itr.first << " = " << itr.second << "\n";
    }
    std::cout << std::endl;
}

void
uptr_map()
{
    uint32_t key(9);
    std::unique_ptr<uint32_t> u32_uptr1(new uint32_t(ntohl(key)));
    ntohl_map_type ntohl_map;

    ntohl_map.insert(ntohl_map_type::value_type(key, std::move(u32_uptr1)));

    ++key;
    std::unique_ptr<uint32_t> u32_uptr2(new uint32_t(ntohl(key)));

    // It seems odd these don't work....
    //foo = std::pair<uint32_t, std::unique_ptr<uint32_t>(key, std::move(u32_uptr2));
    //ntohl_map.insert(std::pair<uint32_t, std::unique_ptr<uint32_t>(key, std::move(u32_uptr2)));

    std::cout << "uptr_map: " << std::endl;
    for (auto &itr : ntohl_map) {
        std::cout << itr.first << " = " << *itr.second << "\n";
    }
}

int
main()
{
    u32_map();
    uptr_map();

    return 0;
}

编辑：刚意识到编译器错误可能是有用的：

error: no matching constructor for initialization of 'std::unique_ptr<uint32_t>'
  ...const, std::unique_ptr<uint32_t>(key, std::move(u32_uptr2)));
        ^                         ~~~~~~~~~~~~~~~~~~~~~~~~~
/usr/bin/../lib/c++/v1/memory:2554:31: note: candidate constructor not viable: no known conversionfrom 'uint32_t' (aka 'unsigned int') to 'pointer' (aka 'unsigned int *') for 1st argument; take the address of the argument with &
_LIBCPP_INLINE_VISIBILITY unique_ptr(pointer __p, typename conditional<
                          ^
/usr/bin/../lib/c++/v1/memory:2561:31: note: candidate constructor not viable: no known conversion from 'uint32_t' (aka 'unsigned int') to 'pointer' (aka 'unsigned int *') for 1st argument; take the address of the argument with &
_LIBCPP_INLINE_VISIBILITY unique_ptr(pointer __p, typename...

- user2466803

1个回答

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

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

- Andy Prowl · Accepted Answer

你忘记了 map 的关键字是常量（这是为了防止你有意或无意地搞乱关联容器的内部排序）:

ntohl_map.insert(
    std::pair<uint32_t const, std::unique_ptr<uint32_t>>(
//                     ^^^^^
        key, std::move(u32_uptr2)));

为了避免犯错，你可以这样做：

ntohl_map.insert(ntohl_map_type::value_type(key, std::move(u32_uptr2)));

您提供的原始代码中调用insert()无法编译，这是因为您提供的pair类型与insert()接受的pair类型不同（因为有const限定符），需要进行转换，结果尝试从您提供的pair复制构造临时pair。

复制构造pair意味着复制构造其元素，由于std::unique_ptr不可复制构造，您的程序无法编译通过。

使用map<uint32_t, uint32_t>的函数可以编译，原因是uint32_t显然是可复制构造的。

此外，请注意，自C++11以来，std::map具有emplace()成员函数（某些实现尚未提供），允许就地构造其元素。

 ntohl_map.emplace(key, std::move(u32_uptr2));