std::format_kind

Определён в заголовочном файле <format>

Определён в заголовочном файле `<format>`
template< class R > constexpr /* unspecified / format_kind = / unspecified */;	(1)	(начиная с C++23)
template< ranges::input_range R > requires std::same_as<R, std::remove_cvref_t<R>> constexpr range_format format_kind<R> = /* see description */;	(2)	(начиная с C++23)

template< class R >
constexpr /* unspecified */ format_kind = /* unspecified */;

(1)

(начиная с C++23)

template< ranges::input_range R >
    requires std::same_as<R, std::remove_cvref_t<R>>
constexpr range_format format_kind<R> = /* see description */;

(2)

(начиная с C++23)

Шаблон переменной format_kind выбирает подходящий std::range_format для диапазона R.

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, является некорректной.

Для типа T, определённого в программе и не имеющего квалификаторов cv, который моделирует input_range, программа может специализировать format_kind для T. Такие специализации можно использовать в константных выражениях; их тип — conststd::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, "instantiating a primary template is not allowed");
    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);
// ill-formed:
// static_assert(std::format_kind<A> == std::range_format::disabled);

int main() {}

См. также

range_format

(C++23)

задаёт способ форматирования диапазона
(перечисление)

© cppreference.com
Licensed under the Creative Commons Attribution-ShareAlike Unported License v3.0.
https://en.cppreference.com/cpp/utility/format/format_kind