std::basic_format_parse_context
| 定义于头文件 <format> |
||
| template< class CharT > class basic_format_parse_context; |
(自 C++20 起) | |
提供对格式字符串解析状态的访问，包括正在解析的格式字符串范围和用于自动索引的参数计数器。
当解析格式规范时，std::basic_format_parse_context 实例会被传递给 Formatter。
声明 std::basic_format_parse_context 的显式或部分特化的程序是非良构的，不需要诊断。
提供了几种常用字符类型的 typedef
| 定义于头文件
<format> | |
| 类型 | 定义 |
std::format_parse_context
|
std::basic_format_parse_context<char> |
std::wformat_parse_context
|
std::basic_format_parse_context<wchar_t> |
[编辑] 成员类型
| 类型 | 定义 |
char_type
|
CharT
|
iterator
|
std::basic_string_view<CharT>::const_iterator |
const_iterator
|
std::basic_string_view<CharT>::const_iterator |
[编辑] 成员函数
| (构造函数) |
从格式字符串和参数计数构造 std::basic_format_parse_context 实例(公共成员函数) |
| operator= [已删除] |
std::basic_format_parse_context 不可复制(公共成员函数) |
| begin |
返回指向格式字符串范围开始的迭代器 (公共成员函数) |
| end |
返回指向格式字符串范围结束的迭代器 (公共成员函数) |
| advance_to |
将 begin 迭代器前进到给定位置 (公共成员函数) |
| next_arg_id |
进入自动索引模式，并返回下一个参数索引 (公共成员函数) |
| check_arg_id |
进入手动索引模式，检查给定的参数索引是否在范围内 (公共成员函数) |
| check_dynamic_spec (C++26) |
检查给定参数索引的对应格式参数的类型是否在给定的类型模板参数中 (公共成员函数) |
| check_dynamic_spec_integral (C++26) |
检查给定参数索引的对应格式参数的类型是否为整数类型 (公共成员函数) |
| check_dynamic_spec_string (C++26) |
检查给定参数索引的对应格式参数的类型是否为字符串类型 (公共成员函数) |
std::basic_format_parse_context::basic_format_parse_context
| (1) | ||
constexpr explicit basic_format_parse_context( std::basic_string_view<CharT> fmt, |
(直到 C++26) | |
| constexpr explicit basic_format_parse_context( std::basic_string_view<CharT> fmt ) noexcept; |
(自 C++26 起) | |
| basic_format_parse_context( const basic_format_parse_context& ) = delete; |
(2) | |
std::basic_format_parse_context 实例。将格式字符串范围初始化为 [fmt.begin(), fmt.end())，并将参数计数初始化为 num_args(直到 C++26)0(自 C++26 起)。|
对使用此构造函数初始化的 |
(自 C++26 起) |
std::basic_format_parse_context 不可复制。std::basic_format_parse_context::begin
| constexpr const_iterator begin() const noexcept; |
||
返回指向格式字符串范围开始的迭代器。
std::basic_format_parse_context::end
| constexpr const_iterator end() const noexcept; |
||
返回指向格式字符串范围结束的迭代器。
std::basic_format_parse_context::advance_to
| constexpr void advance_to( const_iterator it ); |
||
将格式字符串范围的开始设置为 it。在调用 advance_to() 之后，后续对 begin() 的调用将返回 it 的副本。
如果从 it 无法 到达 end()，则行为未定义。
std::basic_format_parse_context::next_arg_id
| constexpr std::size_t next_arg_id(); |
||
进入自动参数索引模式，并返回下一个参数索引，从 0 开始。
如果 *this 已经进入手动参数索引模式，则抛出 std::format_error。
如果下一个参数索引大于或等于构造函数中提供的 num_args，则调用不是核心常量表达式。
std::basic_format_parse_context::check_arg_id
| constexpr void check_arg_id( std::size_t id ); |
||
进入手动参数索引模式。
如果 *this 已经进入自动参数索引模式，则抛出 std::format_error。
如果 id 大于或等于构造函数中提供的 num_args，则调用不是核心常量表达式。
std::basic_format_parse_context::check_dynamic_spec
| template< class... Ts > constexpr void check_dynamic_spec( std::size_t id ) noexcept; |
(自 C++26 起) | |
如果 id 大于或等于构造函数中提供的 num_args，或者对应格式参数的类型（在转换为 std::basic_format_arg 后）不是 Ts... 中的类型之一，则调用不是核心常量表达式。对 check_dynamic_spec 的调用在运行时没有效果。
除非 sizeof...(Ts) >= 1，Ts... 中的类型是唯一的，并且每个类型都是 bool、char_type、int、unsigned int、long long int、unsigned long long int、float、double、long double、const char_type*、std::basic_string_view<char_type> 或 const void* 之一，否则程序是非良构的。
std::basic_format_parse_context::check_dynamic_spec_integral
| constexpr void check_dynamic_spec_integral( std::size_t id ) noexcept; |
(自 C++26 起) | |
等价于调用 check_dynamic_spec<int, unsigned int, long long int, unsigned long long int>(id)。对 check_dynamic_spec_integral 的调用在运行时没有效果。
std::basic_format_parse_context::check_dynamic_spec_string
| constexpr void check_dynamic_spec_string( std::size_t id ) noexcept; |
(自 C++26 起) | |
等价于调用 check_dynamic_spec<const char_type*, std::basic_string_view<char_type>>(id)。对 check_dynamic_spec_string 的调用在运行时没有效果。
[编辑] 示例
| 本节尚不完整 原因：没有示例 |
[编辑] 缺陷报告
以下行为变更缺陷报告被追溯应用于先前发布的 C++ 标准。
| DR | 应用于 | 已发布行为 | 正确行为 |
|---|---|---|---|
| LWG 3825 | C++20 | check_arg_id 具有编译时参数id 检查，但 next_arg_id 没有 |
已添加 |
| LWG 3975 | C++20 | 允许用户特化 basic_format_parse_context |
不允许 |
