kumi::concepts::named_get_compliant Concept Reference

Concept specifying if a product type can be queried via a get<identifier>. More...

#include <kumi/utils/concepts.hpp>

Detailed Description

Concept specifying if a product type can be queried via a get<identifier>.

A product type Ts models named_get_compliant if it's members are uniquely named.

Concept definition

    template<typename Name, typename T>
    concept named_get_compliant =
      identifier<Name> && product_type<T> && []<std::size_t... I>(std::index_sequence<I...>) {
        return _::can_get_field_by_value<Name, element_t<I, T>...>;
      }(std::make_index_sequence<size_v<T>>{})