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()); // 使用显式推导指引 }