Concept to check if a type is pair‐like

Synopsis

Declared in <mrdocs/Support/Concepts.hpp>

template<class T>
concept pair_like = tuple_like<T> &&
    (std::tuple_size<std::remove_cvref_t<T>>::value == 2);

Description

This concept checks if a type is tuple‐like and has exactly two elements.

Examples of such types are std::pair, std::array with two elements, and user‐defined types that provide specializations for std::tuple_size and std::tuple_element with exactly two elements.

Created with MrDocs