std::basic_string に対する推定ガイド

 

C++

言語

標準ライブラリヘッダ

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

名前付き要件

言語サポートライブラリ

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

診断ライブラリ

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

文字列ライブラリ

コンテナライブラリ

イテレータライブラリ

範囲ライブラリ(C++20)

アルゴリズムライブラリ

数値演算ライブラリ

ローカライゼーションライブラリ

入出力ライブラリ

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

正規表現ライブラリ(C++11)

アトミック操作ライブラリ(C++11)

スレッドサポートライブラリ(C++11)

技術仕様書

 

文字列ライブラリ

ヌル終端文字列

バイト文字列

マルチバイト文字列

ワイド文字列

クラス

basic_string

basic_string_view (C++17)

char_traits

 

std::basic_string

メンバ関数 basic_string::basic_string basic_string::operator= basic_string::assign basic_string::get_allocator 要素アクセス basic_string::at basic_string::operator[] basic_string::front (C++11) basic_string::back (C++11) 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::empty basic_string::sizebasic_string::length basic_string::max_size basic_string::reserve basic_string::capacity basic_string::shrink_to_fit (C++11)

操作 basic_string::clear basic_string::insert basic_string::erase basic_string::push_back basic_string::pop_back (C++11) basic_string::append basic_string::operator+= basic_string::compare basic_string::starts_with (C++20) basic_string::ends_with (C++20) basic_string::replace basic_string::substr basic_string::copy basic_string::resize basic_string::swap 検索 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::npos

非メンバ関数 operator+ swap(std::basic_string) operator""s (C++14) erase(std::basic_string)erase_if(std::basic_string) (C++20)(C++20) 入出力 operator<<operator>> getline 比較 operator==operator!=operator<operator>operator<=operator>=operator<=> (C++20未満)(C++20未満)(C++20未満)(C++20未満)(C++20未満)(C++20) 数値変換 (C++11) stoistolstoll stoulstoull stofstodstold to_string to_wstring ヘルパークラス hash<std::string>hash<std::wstring>hash<std::u32string>hash<std::u16string>hash<std::u8string> (C++11)(C++11)(C++11)(C++11)(C++20) hash<std::pmr::string>hash<std::pmr::wstring>hash<std::pmr::u32string>hash<std::pmr::u16string>hash<std::pmr::u8string> (C++20)(C++20)(C++20)(C++20)(C++20) 推定ガイド(C++17)

 

ヘッダ <string> で定義
template<class InputIt, class Alloc =std::allocator<                           typenamestd::iterator_traits<InputIt>::value_type>> basic_string(InputIt, InputIt, Alloc = Alloc()) -> basic_string<typenamestd::iterator_traits<InputIt>::value_type,                 std::char_traits<typenamestd::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以上)

1) イテレータ範囲からの推定を可能とするため、この推定ガイドが std::basic_string に対して提供されます。 このオーバーロードは、InputIt が LegacyInputIterator を満たし、 Alloc が Allocator を満たす場合にのみ、オーバーロード解決に参加します。

2-3)std::basic_string_view からの推定を可能とするため、これらの推定ガイドが std::basic_string に対して提供されます。 (3) の size_type 引数は推定ガイドによって推定された型の size_type メンバ型を参照します。 これらのオーバーロードは、Alloc が Allocator を満たす場合にのみ、オーバーロード解決に参加します。

ノート: ある型が LegacyInputIterator を満たさないとライブラリが判断する範囲は、少なくとも整数型が入力イテレータとして適合しないことを除いて、未規定です。 同様に、ある型が Allocator を満たさないと判断される範囲も、少なくともメンバ型 Alloc::value_type が存在しなければならず、式 std::declval<Alloc&>().allocate(std::size_t{}) が評価されない被演算子として扱われたときに well-formed でなければならないことを除いて、未規定です。

ノート

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

欠陥報告

以下の動作変更欠陥報告は以前に発行された C++ 標準に遡って適用されました。

DR	適用先	発行時の動作	正しい動作
LWG 3075	C++17	deduction from basic_string_view was unsupported (exacerbated by LWG issue 2946)	deduction guides added

例

Run this code

#include <string>#include <vector>int main(){std::vector<char> v ={'a', 'b', 'c'};std::basic_string s(v.begin(), v.end());// uses explicit deduction guide}