std::basic_format_parse_context

 

C++

编译器支持

独立和宿主

语言

标准库

标准库头文件

命名需求

功能测试宏 (C++20)

语言支持库

概念库 (C++20)

元编程库 (C++11)

诊断库

通用实用程序库

字符串库

容器库

迭代器库

范围库 (C++20)

算法库

数值库

本地化库

输入/输出库

文件系统库 (C++17)

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

并发支持库 (C++11)

执行支持库 (C++26)

技术规范

符号索引

外部库

 

实用程序库

语言支持 类型支持 (基本类型、RTTI) 库功能测试宏 (C++20) 动态内存管理 程序实用程序 协程支持 (C++20) 可变参数函数 is_constant_evaluated (C++20) is_within_lifetime (C++26) initializer_list (C++11) source_location (C++20) 调试支持 is_debugger_present (C++26) breakpoint_if_debugging (C++26) breakpoint (C++26) 三方比较 three_way_comparablethree_way_comparable_with (C++20)(C++20) strong_ordering (C++20) weak_ordering (C++20) partial_ordering (C++20) common_comparison_category (C++20) compare_three_way_result (C++20) compare_three_way (C++20) strong_order (C++20) weak_order (C++20) partial_order (C++20) compare_strong_order_fallback (C++20) compare_weak_order_fallback (C++20) compare_partial_order_fallback (C++20)    is_eqis_ltis_lteq (C++20)(C++20)(C++20) is_neqis_gtis_gteq (C++20)(C++20)(C++20)

通用实用程序 日期和时间 函数对象 格式化库 (C++20) bitset hash (C++11) 关系运算符 (C++20 中已弃用) rel_ops::operator!=rel_ops::operator>     rel_ops::operator<=rel_ops::operator>= 整数比较函数 cmp_equalcmp_lesscmp_less_than (C++20)(C++20)(C++20)    cmp_not_equalcmp_greatercmp_greater_than (C++20)(C++20)(C++20) in_range (C++20) 交换 和 类型操作 swap ranges::swap (C++20) exchange (C++14) declval (C++11) to_underlying (C++23) forward (C++11) forward_like (C++23) move (C++11) move_if_noexcept (C++11) as_const (C++17) 通用词汇类型 pair tuple (C++11) optional (C++17) any (C++17) variant (C++17) tuple_size (C++11) tuple_element (C++11) apply (C++17) make_from_tuple (C++17) expected (C++23) 基本字符串转换 to_chars (C++17) from_chars (C++17) chars_format (C++17) to_chars_result (C++17) from_chars_result (C++17)

 

格式化库

标准格式规范

格式化函数

format (C++20)

format_to (C++20)

format_to_n (C++20)

formatted_size (C++20)

vformat (C++20)

vformat_to (C++20)

格式字符串

basic_format_stringformat_stringwformat_string (C++20)(C++20)(C++20)

runtime_format (C++26)

格式化概念

formattable (C++23)

Formatter

formatter (C++20)

formatter<pair-or-tuple> (C++23)

formatter<range> (C++23)

range_formatter (C++23)

enable_nonlocking_formatter_optimization (C++23)

basic_format_parse_contextformat_parse_contextwformat_parse_context (C++20)(C++20)(C++20)

basic_format_contextformat_contextwformat_context (C++20)(C++20)(C++20)

range_format (C++23)

format_kind (C++23)

格式化参数

basic_format_arg (C++20)

basic_format_arg::handle (C++20)

basic_format_argsformat_argswformat_args (C++20)(C++20)(C++20)

visit_format_arg (C++20) (C++26 中已弃用)

make_format_argsmake_wformat_args (C++20)(C++20)

格式错误

format_error (C++20)

 

定义在头文件 <format> 中
template< class CharT > class basic_format_parse_context;		(自 C++20 起)

提供对格式字符串解析状态的访问，该状态由正在解析的格式字符串范围和用于自动索引的参数计数器组成。

std::basic_format_parse_context 实例在解析格式规范时传递给 Formatter。

声明 std::basic_format_parse_context 的显式或部分特化的程序是非法的，不需要诊断。

提供了用于常见字符类型的多个类型定义

定义在头文件 <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,                             std::size_t num_args = 0 ) noexcept;			(直到 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)

1) 构造 std::basic_format_parse_context 实例。将格式字符串范围初始化为 [fmt.begin(), fmt.end())，并将参数计数初始化为 num_args(直到 C++26)​0​(自 C++26 起).

对使用此构造函数初始化的 std::basic_format_parse_context 实例调用 next_arg_id、check_arg_id 或 check_dynamic_spec 并非核心常量表达式。

(自 C++26 起)

2) 复制构造函数已删除。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 的副本。

如果 end() 从 it 不可达，则行为未定义。

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 的调用在运行时没有影响。

• 仅当 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 的调用在运行时没有影响。

Defect reports

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

DR	应用于	已发布的行为	正确行为
LWG 3825	C++20	check_arg_id 有一个编译时参数 id 检查，但 next_arg_id 没有	添加
LWG 3975	C++20	允许 basic_format_parse_context 的用户特化	不允许