kumi::concepts::equivalent Concept Reference

Concept specifying if two types have matching named fields. More...

#include <kumi/utils/concepts.hpp>

Detailed Description

Concept specifying if two types have matching named fields.

A type T models kumi::concepts::equivalent<T,U> if it is a kumi::concepts::product_type with the same number of fields as U, and each of them has a corresponding field in U. Corresponding field means that the labels of the fields in T matches those of U.

Concept definition

    template<typename T, typename U>
    concept equivalent = kumi::concepts::product_type<T> && kumi::concepts::product_type<U> &&
                         kumi::is_equivalent_v<std::remove_cvref_t<T>, std::remove_cvref_t<U>>