Namespaces
Variants

deduction guides for std::basic_string

From cppreference.net
C++
Strings library
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 /* 詳細は下記参照 */ :: size_type ,
typename /* 詳細は下記参照 */ :: 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 からの推論を可能にします。これらのオーバーロードは、 Alloc が Allocator 要件を満たす場合にのみ、オーバーロード解決に参加します。
3) パラメータ型 size_type は、推論ガイドによって推論された型のネストされた型 size_type を参照します。
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 によって悪化) 		推論ガイドが追加された