Namespaces
Variants

    推定ガイド std::basic_string

    ja.cppreference.net より
     
    C++
    コンパイラサポート
    フリースタンディングとホスト環境
    言語
    標準ライブラリ
    標準ライブラリヘッダ
    名前付き要件
    機能テストマクロ (C++20)
    言語サポートライブラリ
    コンセプトライブラリ (C++20)
    診断ライブラリ
    メモリ管理ライブラリ
    メタプログラミングライブラリ (C++11)
    汎用ユーティリティライブラリ
    コンテナライブラリ
    イテレータライブラリ
    Rangeライブラリ (C++20)
    アルゴリズムライブラリ
    文字列ライブラリ
    テキスト処理ライブラリ
    数値ライブラリ
    日付と時間ライブラリ
    入出力ライブラリ
    ファイルシステムライブラリ (C++17)
    並行性サポートライブラリ (C++11)
    実行制御ライブラリ (C++26)
    技術仕様書
    シンボルインデックス
    外部ライブラリ
     
    文字列ライブラリ
     
    std::basic_string
     
    ヘッダ <string> 
    template< class InputIt, class Alloc = std::allocator<
                             typename std::iterator_traits<InputIt>::value_type> >
basic_string( InputIt, InputIt, Alloc = Alloc() )
    -> basic_string<typename std::iterator_traits<InputIt>::value_type,
                    std::char_traits<
                        typename std::iterator_traits<InputIt>::value_type>, Alloc>;
    		で定義 (1) (C++17以上) 
    template< class CharT,
          class Traits,
          class Alloc = std::allocator<CharT> >
explicit basic_string( std::basic_string_view<CharT, Traits>, const Alloc& = Alloc() )
    -> basic_string<CharT, Traits, Alloc>;
    		(2) (C++17以上) 
    template< class CharT,
          class Traits,
          class Alloc = std::allocator<CharT>> >
basic_string( std::basic_string_view<CharT, Traits>,
              typename /* see below */::size_type,
              typename /* see below */::size_type,
              const Alloc& = Alloc() )
    -> basic_string<CharT, Traits, Alloc>;
    		(3) (C++17以上) 
    template< ranges::input_range R,
          class Alloc = std::allocator<ranges::range_value_t<R>> >
basic_string( std::from_range_t, R&&, Alloc = Alloc() )
    -> basic_string<ranges::range_value_t<R>,
                       std::char_traits<ranges::range_value_t<R>>, Alloc>;
    		(4) (C++23以上)
    1) この推定ガイドは、std::basic_stringに対して、イテレータ範囲からの推定を可能にするために提供されます。このオーバーロードは、InputItがLegacyInputIteratorを満たし、AllocがAllocatorを満たす場合にのみ、オーバーロード解決に参加します。
    2,3) これらの推定ガイドは、std::basic_stringに対して、std::basic_string_viewからの推定を可能にするために提供されます。size_type(3)におけるパラメータ型は、推定ガイドによって推定される型のsize_typeメンバ型を指します。これらのオーバーロードは、AllocがAllocatorを満たす場合にのみ、オーバーロード解決に参加します。
    4) この推定ガイドは、std::basic_stringに対して、std::from_range_tタグとinput_rangeからの推定を可能にするために提供されます。

    注：ライブラリが、ある型がLegacyInputIteratorを満たさないと判断する範囲は未規定です。ただし、少なくとも整数型は入力イテレータとして扱われないことは例外です。同様に、ある型がAllocatorを満たさないと判断する範囲も未規定です。ただし、少なくともメンバ型Alloc::value_typeが存在し、式std::declval<Alloc&>().allocate(std::size_t{})が未評価オペランドとして扱われたときにwell-formedであることが必要です。

    注記

    ガイド ( 2,3 ) が必要な理由は、 std::basic_string の std::basic_string_view 向けコンストラクタが、既存コードでの曖昧さを回避するためにテンプレート化されており、これらのテンプレートはクラステンプレート引数推論をサポートしていないためです。

    注記

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

    例

    このコードを実行 
    #include <cassert>
#include <string>
#include <vector>
int main()
{
    std::vector<char> v = {'a', 'b', 'c'};
    std::basic_string s1(v.begin(), v.end()); // 推論ガイド (1) を使用
    assert(s1 == "abc");
#if __cpp_lib_containers_ranges >= 202202L
    std::vector<wchar_t> v4{0x43, 43, 053, 0x32, 0x33};
    std::basic_string s4(std::from_range, v4); // 推論ガイド (4) を使用
    assert(s4 == L"C++23");
#endif
}

    不具合報告

    以下の動作変更の欠陥報告書は、以前に公開されたC++規格に対して遡及的に適用されました。

    DR 適用対象 公開時の動作 正しい動作
    LWG 3075 C++17 basic_string_viewからの推論はサポートされていなかった
    ( LWG issue 2946 によって悪化)     		推論ガイドが追加された