命名空间
变体
操作

std::basic_string 的推导指引

来自 cppreference.cn
< cpp‎ | string‎ | basic string
 
C++
 
字符串库
 
std::basic_string
 
定义于头文件 <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) (since 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) (since 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) (since 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) (since C++23)
1) 此推导指引为 std::basic_string 提供，以允许从迭代器范围进行推导。此重载仅在 InputIt 满足 LegacyInputIterator 且 Alloc 满足 Allocator 时参与重载决议。
2,3) 这些推导指引为 std::basic_string 提供，以允许从 std::basic_string_view 进行推导。size_type 参数类型在 (3) 中指的是由推导指引推导出的类型的 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{}) 在被视为未求值操作数时必须是良构的。

目录

[编辑] 注释

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

[编辑] 注释

特性测试 宏 值 Std 特性
__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()); // 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
}

[编辑] 缺陷报告

以下行为变更缺陷报告被追溯应用到先前发布的 C++ 标准。

DR 应用到 已发布行为 正确行为
LWG 3075 C++17 从 basic_string_view 的推导不受支持 (因 LWG issue 2946 而加剧) 添加了推导指引
Retrieved from "https://cppreference.cn/mwiki/index.php?title=cpp/string/basic_string/deduction_guides&oldid=171137"