std:: format_kind

変数テンプレート 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修飾されていない プログラム定義型 T が input_range をモデル化する場合、プログラムは 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, 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() {}

関連項目