std::basic_format_parse_context

 

C++

编译器支持

自立实现与有宿主实现

语言

标准库

标准库标头

具名要求

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

语言支持库

概念库 (C++20)

元编程库 (C++11)

诊断库

通用工具库

字符串库

容器库

迭代器库

范围库 (C++20)

算法库

数值库

本地化库

输入/输出库

文件系统库 (C++17)

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

并发支持库 (C++11)

技术规范

符号索引

外部库

 

工具库

语言支持 类型支持（基本类型、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 (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 起)

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

分析格式说明时，会传递一个 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	使起始迭代器前进到给定位置 (公开成员函数)
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 没有效果。

缺陷报告

下列更改行为的缺陷报告追溯地应用于以前出版的 C++ 标准。

缺陷报告	应用于	出版时的行为	正确行为
LWG 3845	C++20	check_arg_id 会在编译器检查 id，但 next_arg_id 不会	也会检查
LWG 3975	C++20	允许用户特化 basic_format_parse_context	已禁止