std::basic_string 的推导指引

 

C++

编译器支持

自立实现与有宿主实现

语言

标准库

标准库标头

具名要求

功能特性测试宏(C++20)

语言支持库

概念库(C++20)

诊断库

内存管理库

元编程库(C++11)

通用工具库

容器库

迭代器库

范围库(C++20)

算法库

字符串库

文本处理库

数值库

日期和时间库

输入/输出库

文件系统库(C++17)

并发支持库(C++11)

执行控制库(C++26)

技术规范

符号索引

外部库

 

字符串库

类

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<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/* 见下文 */::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{}) 在作为不求值操作数时必须为良构。

注解

指引 (2,3) 是必要的，因为 std::basic_string 对于 std::basic_string_view 的构造函数被设为模板，以避免既存代码中的歧义，而这些模板不支持类模板实参推导。

注解

功能特性测试宏	值	标准	功能特性
__cpp_lib_containers_ranges	202202L	(C++23)	知范围的构造和插入；重载 (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 >= 202202Lstd::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++ 标准。

缺陷报告	应用于	出版时的行为	正确行为
LWG 3075	C++17	不支持从 basic_string_view 推导（为 LWG 问题 2946 所恶化）	添加推导指引