std::basic_string_view 的推导指引

 

C++

编译器支持

自立实现与有宿主实现

语言

标准库

标准库标头

具名要求

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

语言支持库

概念库 (C++20)

元编程库 (C++11)

诊断库

通用工具库

字符串库

容器库

迭代器库

范围库 (C++20)

算法库

数值库

本地化库

输入/输出库

文件系统库 (C++17)

正则表达式库 (C++11)

并发支持库 (C++11)

技术规范

符号索引

外部库

 

字符串库

空终止字符串

字节字符串

多字节字符串

宽字符串

类

basic_string

basic_string_view (C++17)

char_traits

 

std::basic_string_view

成员函数 basic_string_view::basic_string_view basic_string_view::operator= 迭代器 basic_string_view::beginbasic_string_view::cbegin basic_string_view::endbasic_string_view::cend basic_string_view::rbeginbasic_string_view::crbegin basic_string_view::rendbasic_string_view::crend 元素访问 basic_string_view::at basic_string_view::operator[] basic_string_view::front basic_string_view::back basic_string_view::data 容量 basic_string_view::sizebasic_string_view::length basic_string_view::max_size basic_string_view::empty 修改器 basic_string_view::remove_prefix basic_string_view::remove_suffix basic_string_view::swap

操作 basic_string_view::copy basic_string_view::substr basic_string_view::compare basic_string_view::starts_with (C++20) basic_string_view::ends_with (C++20) basic_string_view::contains (C++23) basic_string_view::find basic_string_view::rfind basic_string_view::find_first_of basic_string_view::find_last_of basic_string_view::find_first_not_of basic_string_view::find_last_not_of 常量 basic_string_view::npos 非成员函数 operator==operator!=operator<operator>operator<=operator>=operator<=> (C++20 前)(C++20 前)(C++20 前)(C++20 前)(C++20 前)(C++20) operator<< operator""sv 辅助类 hash<std::string_view>hash<std::wstring_view>hash<std::u8string_view>hash<std::u16string_view>hash<std::u32string_view> (C++20) 推导指引(C++20)

 

在标头 <string_view> 定义
template<class It, class End> basic_string_view(It, End) -> basic_string_view<std::iter_value_t<It>>;	(1)	(C++20 起)
template<class R> basic_string_view(R&&) -> basic_string_view<ranges::range_value_t<R>>;	(2)	(C++23 起)

为 std::basic_string_view 提供这些推导指引。

1) 此推导指引允许从迭代器-哨位对推导字符类型。此重载只有在 It 满足 contiguous_iterator 且 End 满足 It 的 sized_sentinel_for 时才会参与重载决议。

2) 此推导指引允许从范围推导字符类型。此重载只有在 R 满足 contiguous_range 时才会参与重载决议。

示例

运行此代码

#include <array>
#include <iostream>
#include <string_view>
 
int main()
{
    std::array a1 {'n', 'u', 'c', 'l', 'e', 'o', 'n', 's', ':', '\n'};
    std::basic_string_view s1(a1.cbegin(), a1.cend()); // 推导： CharT -> char
    static_assert(std::is_same_v<decltype(s1)::value_type, char>);
    std::cout << s1;
 
    std::array a2 {L'p', L'r', L'o', L't', L'o', L'n', L's', L'\n'};
    std::basic_string_view s2(a2.cbegin(), a2.cend()); // 推导： CharT -> wchar_t
    static_assert(std::is_same_v<decltype(s2)::value_type, wchar_t>);
    std::wcout << s2;
 
    std::array<long, 9> a3 {'n', 'e', 'u', 't', 'r', 'o', 'n', 's', '\n'};
    std::basic_string_view s3(a3.cbegin(), a3.cend()); // 推导： CharT -> long
    static_assert(std::is_same_v<decltype(s3)::value_type, long>);
    for (const auto e : s3) { std::cout << static_cast<char>(e); }
}

输出：

nucleons:
protons
neutrons