jh::concepts::pair_like_for Concept Reference

Checks whether a type P is a 2-element tuple-like whose element types exactly match K and V (after remove_cvref). More...

#include <jh/conceptual/tuple_like.h>

Concept definition

    template<typename P, typename K, typename V>
    concept pair_like_for =
    jh::concepts::tuple_like<P> &&
    (std::tuple_size_v<std::remove_cvref_t<P>> == 2) && requires(P &&p) {
        requires std::same_as<
                std::remove_cvref_t<K>,
                std::remove_cvref_t<decltype(get<0>(p))>
        >;
 
        requires std::same_as<
                std::remove_cvref_t<V>,
                std::remove_cvref_t<decltype(get<1>(p))>
        >;
    }

Detailed Description

Checks whether a type P is a 2-element tuple-like whose element types exactly match K and V (after remove_cvref).

Accepts any tuple-like type with tuple_size == 2. Both ADL get<0>(p) and get<1>(p) must yield values whose remove_cvref_t types are exactly K and V, with no implicit conversions allowed.

Template Parameters

P	The candidate pair-like type.
K	The expected key type.
V	The expected value type.