std::basic_string 的推导指引
| 定义于头文件 <string>
|
||
| template<class InputIt, class Alloc = std::allocator< typename std::iterator_traits<InputIt>::value_type>> |
(C++17 起) | |
| 定义于头文件 <string>
|
||
| template<class InputIt, class Alloc = std::allocator< typename std::iterator_traits<InputIt>::value_type>> |
(1) | (C++17 起) |
| template<class CharT, class Traits, |
(2) | (C++17 起) |
| template<class CharT, class Traits, |
(3) | (C++17 起) |
InputIt 满足遗留输入迭代器 (LegacyInputIterator) 且 Alloc 满足分配器 (Allocator) 才参与重载决议。Alloc 满足分配器 (Allocator) 才参与重载决议。注意：库确定类型是否满足遗留输入迭代器 (LegacyInputIterator) 的程度是未指定的，除了最低要求是整数类型不具备输入迭代器的条件。类似地，确定类型是否满足分配器 (Allocator) 是未指定的，除了最低要求是成员类型 Alloc::value_type 必须存在，且表达式 std::declval<Alloc&>().allocate(std::size_t{}) 在作为不求值操作数时必须为良构。
注意
需要指引 (2-3) ，因为 std::basic_string 对于 std::basic_string_view 的构造函数被设为模板，以避免既存代码中的歧义，而这些模板不支持类模板实参推导。
缺陷报告
下列更改行为的缺陷报告追溯地应用于以前出版的 C++ 标准。
| DR | 应用于 | 出版时的行为 | 正确行为 |
|---|---|---|---|
| LWG 3075 | C++17 | 不支持从 basic_string_view 推导（为 LWG 问题 2946 所恶化）
|
添加推导指引 |
示例
#include <string> #include <vector> int main() { std::vector<char> v = {'a', 'b', 'c'}; std::basic_string s(v.begin(), v.end()); // 使用显式推导指引 }
