Namespaces
Variants

deduction guides for std::list

From cppreference.net

C++
Containers library
std::list
Member functions
Non-member functions
(until C++20) (until C++20) (until C++20) (until C++20) (until C++20)
Deduction guides (C++17)
ヘッダーで定義 <list>
template < class InputIt,

class Alloc = std:: allocator <
typename std:: iterator_traits < InputIt > :: value_type > >
list ( InputIt, InputIt, Alloc = Alloc ( ) )

- > list < typename std:: iterator_traits < InputIt > :: value_type , Alloc > ;
(1) (C++17以降)
template < ranges:: input_range R,

class Alloc = std:: allocator < ranges:: range_value_t < R >> >
list ( std:: from_range_t , R && , Alloc = Alloc ( ) )

- > list < ranges:: range_value_t < R > , Alloc > ;
(2) (C++23以降)
1) この deduction guide は、イテレータ範囲からの推論を可能にするためにlistに対して提供されます。このオーバーロードは、 InputIt が LegacyInputIterator を満たし、かつ Alloc が Allocator を満たす場合にのみ、オーバーロード解決に参加します。
2) この推論ガイドは、listに対して std::from_range_t タグと input_range からの推論を可能にするために提供されています。

注意: ライブラリが型が LegacyInputIterator を満たさないと判断する程度は未規定であるが、少なくとも整数型は入力イテレータとして適格ではない。同様に、型が Allocator を満たさないと判断する程度も未規定であるが、少なくともメンバ型 Alloc::value_type が存在しなければならず、式 std:: declval < Alloc & > ( ) . allocate ( std:: size_t { } ) が未評価オペランドとして扱われた場合に well-formed でなければならない。

注記

機能テスト マクロ 値 標準 機能
__cpp_lib_containers_ranges 202202L (C++23) Ranges-aware 構築と挿入; オーバーロード (2)

例

このコードを実行 
#include <list>
#include <vector>
int main()
{
    std::vector<int> v = {1, 2, 3, 4};
    // 明示的な推論ガイドを使用して std::list<int> を推論
    std::list x(v.begin(), v.end());
    // std::list<std::vector<int>::iterator> を推論
    // リスト初期化のオーバーロード解決の第一段階では、初期化子リストコンストラクタから
    // 合成された候補が選択される。第二段階は実行されず、推論ガイドは効果を持たない
    std::list y{v.begin(), v.end()};
}