std::format_kind

在标头 `<format>` 定义
template< class R > constexpr /* 未指明 / format_kind = / 未指明 */;	(1)	(C++23 起)
template< ranges::input_range R > requires std::same_as<R, std::remove_cvref_t<R>> constexpr range_format format_kind<R> = /* 见说明 */;	(2)	(C++23 起)

变量模板 format_kind 为范围 R 选择适当的 std::range_format。

std::format_kind<R> 的定义如下：

如果 std::same_as<std::remove_cvref_t<ranges::range_reference_t<R>>, R> 为 true，那么 std::format_kind<R> 为 std::range_format::disabled。
否则，如果 R::key_type 有效且代表某个类型：
- 如果 R::mapped_type 有效且代表某个类型，令 U 为 std::remove_cvref_t<ranges::range_reference_t<R>>。

如果要么 U 是 std::pair 的特化要么 U 是 std::tuple 的特化且 std::tuple_size_v<U> == 2，那么 std::format_kind<R> 为 std::range_format::map。

否则，std::format_kind<R> 为 std::range_format::set。

否则，std::format_kind<R> 为 std::range_format::sequence。

实例化变量模板 format_kind 的主模板的程序非良构。

给定无 cv 限定的实现 input_range 的程序定义类型 T，程序可以为 T 特化 format_kind。这种特化可以用在常量表达式中，且具有 const std::range_format 类型。

可能的实现

namespace detail
{
    template< typename >
    constexpr bool is_pair_or_tuple_2 = false;
 
    template< typename T, typename U >
    constexpr bool is_pair_or_tuple_2<std::pair<T, U>> = true;
 
    template< typename T, typename U >
    constexpr bool is_pair_or_tuple_2<std::tuple<T, U>> = true;
 
    template < typename T >
        requires std::is_reference_v<T> || std::is_const_v<T>
    constexpr bool is_pair_or_tuple_2<T> =
        is_pair_or_tuple_2<std::remove_cvref_t<T>>;
}
 
template< class R >
constexpr range_format format_kind = []
{
    static_assert(false, "不允许实例化主模板");
    return range_format::disabled;
}();
 
template< ranges::input_range R >
    requires std::same_as<R, std::remove_cvref_t<R>>
constexpr range_format format_kind<R> = []
{
    if constexpr (std::same_as<std::remove_cvref_t<std::ranges::range_reference_t<R>>, R>)
        return range_format::disabled;
    else if constexpr (requires { typename R::key_type; })
    {
        if constexpr (requires { typename R::mapped_type; } &&
                      detail::is_pair_or_tuple_2<std::ranges::range_reference_t<R>>)
            return range_format::map;
        else
            return range_format::set;
    }
    else
        return range_format::sequence;
}();

示例

运行此代码

#include <filesystem>
#include <format>
#include <map>
#include <set>
#include <vector>
 
struct A {};
 
static_assert(std::format_kind<std::vector<int>> == std::range_format::sequence);
static_assert(std::format_kind<std::map<int>> == std::range_format::map);
static_assert(std::format_kind<std::set<int>> == std::range_format::set);
static_assert(std::format_kind<std::filesystem::path> == std::range_format::disabled);
// 非良构：
// static_assert(std::format_kind<A> == std::range_format::disabled);
 
int main() {}

参阅

range_format

(C++23)

指示一个范围应该如何被格式化
(枚举)

编译器支持
自立实现与有宿主实现
语言
标准库
标准库标头
具名要求
功能特性测试宏 (C++20)
语言支持库
概念库 (C++20)
诊断库
内存管理库
元编程库 (C++11)
通用工具库
容器库
迭代器库
范围库 (C++20)
算法库
字符串库
文本处理库
数值库
日期和时间库
输入/输出库
文件系统库 (C++17)
并发支持库 (C++11)
执行控制库 (C++26)
技术规范
符号索引
外部库

标准格式说明
格式化函数
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)

std::format_kind

可能的实现

示例

参阅

导航