4

次のコード サンプルでは、​​std::unique_ptrs を試しています。期待どおり、unique_ptr をマップに追加できます。私にとって驚くべきことは、それを std::pair のメンバーにすることができないということです。例のコメント行は、map::value_type と同じタイプ (と思います...) のペアを構築しようとする必要があります。なぜこれが機能しないのかわかりません。

前もって感謝します。

#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...
4

1 に答える 1

6

マップのキーが定数であることを忘れています (意図的または誤って連想コンテナーの内部順序をいじるのを防ぐため):

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()質問のテキストからの元の呼び出しがコンパイルされない理由は、提供しているペアのタイプが受け入れているペアのタイプと異なるため (その修飾子のため)、変換が発生する必要があるためです。その結果、提供したものから一時的なペアをコピー構築しようとします。insert()const

ペアをコピー構築することは、その要素をコピー構築することを意味し、コピー構築可能でstd::unique_ptrはないため、プログラムはコンパイルに失敗します。

map<uint32_t, uint32_t>a を使用する関数がコンパイルされている理由uint32_tは、(明らかに) コピー構築可能であるためです。

また、C++11std::mapにはemplace()メンバー関数があるため (一部の実装ではまだ提供されていないため、そのような場合もあります)、その要素のインプレース構築を可能にすることに注意してください。

 ntohl_map.emplace(key, std::move(u32_uptr2));
于 2013-06-08T17:57:53.093 に答える