std::basic_string の推論ガイド

 

C++

コンパイラサポート

フリースタンディングとホスト

言語

標準ライブラリ

標準ライブラリヘッダー

名前付き要件

機能テストマクロ (C++20)

言語サポートライブラリ

コンセプトライブラリ (C++20)

診断ライブラリ

メモリ管理ライブラリ

メタプログラミングライブラリ (C++11)

汎用ユーティリティライブラリ

コンテナライブラリ

イテレータライブラリ

Rangesライブラリ (C++20)

アルゴリズムライブラリ

文字列ライブラリ

テキスト処理ライブラリ

数値ライブラリ

日付と時刻ライブラリ

入出力ライブラリ

ファイルシステムライブラリ (C++17)

並行サポートライブラリ (C++11)

実行制御ライブラリ (C++26)

Technical specifications (技術仕様)

シンボルインデックス

外部ライブラリ

 

文字列ライブラリ

クラス

basic_string

basic_string_view (C++17)

char_traits

 

std::basic_string

メンバ関数 basic_string::basic_string basic_string::~basic_string basic_string::operator= basic_string::assign basic_string::assign_range (C++23)   basic_string::get_allocator 要素アクセス basic_string::at basic_string::operator[] basic_string::front (DR*) basic_string::back (DR*) basic_string::data basic_string::c_str basic_string::operator  basic_string_view (C++17) イテレータ basic_string::beginbasic_string::cbegin (C++11) basic_string::endbasic_string::cend (C++11) basic_string::rbeginbasic_string::crbegin (C++11) basic_string::rendbasic_string::crend (C++11) 検索 basic_string::find basic_string::rfind basic_string::find_first_of basic_string::find_first_not_of basic_string::find_last_of basic_string::find_last_not_of

変更 basic_string::clear basic_string::insert basic_string::insert_range (C++23) basic_string::erase basic_string::push_back basic_string::pop_back (DR*) basic_string::append basic_string::append_range (C++23) basic_string::operator+= basic_string::replace basic_string::replace_with_range (C++23) basic_string::copy basic_string::resize basic_string::resize_and_overwrite (C++23)  basic_string::swap 容量 basic_string::empty basic_string::sizebasic_string::length basic_string::max_size basic_string::reserve basic_string::capacity basic_string::shrink_to_fit (DR*) 操作 basic_string::compare basic_string::starts_with (C++20) basic_string::ends_with (C++20) basic_string::contains (C++23) basic_string::substr

定数 basic_string::npos 非メンバ関数 operator+ swap(std::basic_string) erase(std::basic_string)erase_if(std::basic_string) (C++20)(C++20) I/O operator<<operator>> getline 比較 operator==operator!=operator<operator>operator<=operator>=operator<=> (C++20まで)(C++20まで)(C++20まで)(C++20まで)(C++20まで)(C++20) 数値変換 stoistolstoll (C++11)(C++11)(C++11) stoulstoull (C++11)(C++11)  stofstodstold (C++11)(C++11)(C++11) to_string (C++11) to_wstring (C++11) リテラル operator""s (C++14) ヘルパークラス hash<std::basic_string> (C++11) 推論ガイド (C++17)

 

ヘッダ <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から推論できるようにするために提供されています。(3)のsize_typeパラメータ型は、推論ガイドによって推論される型の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である必要があります。

Notes

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

Notes

機能テストマクロ	値	規格	機能
__cpp_lib_containers_ranges	202202L	(C++23)	Ranges対応の構築と挿入。オーバーロード(4)

Example

このコードを実行

#include <cassert>
#include <string>
#include <vector>
 
int main()
{
    std::vector<char> v = {'a', 'b', 'c'};
    std::basic_string s1(v.begin(), v.end()); // uses deduction guide (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); // uses deduction guide (4)
    assert(s4 == L"C++23");
#endif
}

Defect reports

以下の動作変更を伴う欠陥報告が、以前に公開されたC++標準に遡って適用されました。

DR	適用対象	公開された動作	正しい動作
LWG 3075	C++17	basic_string_viewからの推論はサポートされていませんでした（LWG issue 2946により悪化）。	推論ガイドが追加されました