名前空間
変種
操作

std::unordered_set の推論ガイド

From cppreference.com
 
 
 
 
ヘッダー <unordered_set> で定義
template<

    class InputIt,
    class Hash = std::hash<typename std::iterator_traits<InputIt>::value_type>,
    class Pred = std::equal_to<typename std::iterator_traits<InputIt>::value_type>,
    class Alloc = std::allocator<typename std::iterator_traits<InputIt>::value_type> >
unordered_set( InputIt, InputIt,
               typename /* 後述 */::size_type = /* 後述 */,
               Hash = Hash(), Pred = Pred(), Alloc = Alloc() )
    -> unordered_set<typename std::iterator_traits<InputIt>::value_type,

                     Hash, Pred, Alloc>;
(1) (C++17以降)
template< class T,

          class Hash = std::hash<T>,
          class Pred = std::equal_to<T>,
          class Alloc = std::allocator<T> >
unordered_set( std::initializer_list<T>,
               typename /* 後述 */::size_type = /* 後述 */,
               Hash = Hash(), Pred = Pred(), Alloc = Alloc() )

    -> unordered_set<T, Hash, Pred, Alloc>;
(2) (C++17以降)
template< class InputIt, class Alloc >

unordered_set( InputIt, InputIt, typename /* 後述 */::size_type, Alloc )
    -> unordered_set<typename std::iterator_traits<InputIt>::value_type,
                     std::hash<typename std::iterator_traits<InputIt>::value_type>,
                     std::equal_to<typename std::iterator_traits<InputIt>::value_type>,

                     Alloc>;
(3) (C++17以降)
template< class InputIt, class Hash, class Alloc >

unordered_set( InputIt, InputIt, typename /* 後述 */::size_type, Hash, Alloc )
    -> unordered_set<typename std::iterator_traits<InputIt>::value_type, Hash,
                     std::equal_to<typename std::iterator_traits<InputIt>::value_type>,

                     Alloc>;
(4) (C++17以降)
template< class T, class Alloc >

unordered_set( std::initializer_list<T>, typename /* 後述 */::size_type, Alloc )

    -> unordered_set<T, std::hash<T>, std::equal_to<T>, Alloc>;
(5) (C++17以降)
template< class T, class Hash, class Alloc >

unordered_set( std::initializer_list<T>, typename /* 後述 */::size_type,
               Hash, Alloc )

    -> unordered_set<T, Hash, std::equal_to<T>, Alloc>;
(6) (C++17以降)
template< ranges::input_range R,

          class Hash = std::hash<ranges::range_value_t<R>>,
          class Pred = std::equal_to<ranges::range_value_t<R>>,
          class Alloc = std::allocator<ranges::range_value_t<R>> >
unordered_set( std::from_range_t, R&&,
               typename /* 後述 */::size_type = /* 後述 */,
               Hash = Hash(), Pred = Pred(), Alloc = Alloc() )

    -> unordered_set<ranges::range_value_t<R>, Hash, Pred, Alloc>;
(7) (C++23から)
template< ranges::input_range R, class Alloc >

unordered_set( std::from_range_t, R&&,
               typename /* 後述 */::size_type, Alloc )
    -> unordered_set<ranges::range_value_t<R>, hash<ranges::range_value_t<R>>,

                     std::equal_to<ranges::range_value_t<R>>, Alloc>;
(8) (C++23から)
template< ranges::input_range R, class Alloc >

unordered_set( std::from_range_t, R&&, Alloc )
    -> unordered_set<ranges::range_value_t<R>, hash<ranges::range_value_t<R>>,

                     std::equal_to<ranges::range_value_t<R>>, Alloc>;
(9) (C++23から)
template< ranges::input_range R, class Hash, class Alloc >

unordered_set( std::from_range_t, R&&,
               typename /* 後述 */::size_type, Hash, Alloc )
    -> unordered_set<ranges::range_value_t<R>, Hash,

                     std::equal_to<ranges::range_value_t<R>>, Alloc>;
(10) (C++23から)
1-6) これらの推論ガイドは、イテレータ範囲(オーバーロード (1,3,4))および std::initializer_list(オーバーロード (2,5,6))からの推論を許可するために、unordered_set に対して提供されます。このオーバーロードは、InputItLegacyInputIterator を満たし、AllocAllocator を満たし、HashPred のどちらも Allocator を満たさず、Hash が整数型でない場合にのみ、オーバーロード解決に参加します。
7-10) これらの推論ガイドは、unordered_set に対して、std::from_range_t タグと input_range からの推論を許可するために提供されます。

注:ライブラリが型が LegacyInputIterator を満たさないと判断する範囲は未規定ですが、最小限として整数型は入力イテレータの資格を満たしません。同様に、型が Allocator を満たさないと判断する範囲も未規定ですが、最小限としてメンバー型 Alloc::value_type が存在し、式 std::declval<Alloc&>().allocate(std::size_t{}) が評価されないオペランドとして展開される場合に、well-formed である必要があります。

これらのガイドにおける size_type パラメータ型は、推論ガイドによって推論された型の size_type メンバー型を参照します。

[編集] 注記

機能テストマクロ 規格 機能
__cpp_lib_containers_ranges 202202L (C++23) 範囲対応の構築と挿入。オーバーロード (7-10)

[編集]

#include <unordered_set>
 
int main()
{
    // guide #2 deduces std::unordered_set<int>
    std::unordered_set s = {1, 2, 3, 4};
 
    // guide #1 deduces std::unordered_set<int>
    std::unordered_set s2(s.begin(), s.end());
}
English 日本語 中文(简体) 中文(繁體)