strong_type_base.hxx

Go to the documentation of this file.

 
#pragma once
#include <type_traits>
#include <concepts>
 
namespace ice
{
 
    namespace detail
    {
 
        template<typename T>
        concept HasMemberValue = requires(T t) {
            { t.value } -> std::convertible_to<decltype(T::value)>;
        };
 
        template<typename T>
        concept OnlyMemberValue = HasMemberValue<T> && sizeof(T) == sizeof(T::value);
 
        template<typename T, typename ExpectedTag>
        concept HasAliasTypeTag = std::is_same_v<typename T::TypeTag, ExpectedTag>;
 
        template<typename Type>
        struct ExtractMemberType { };
 
        template<typename Owner, typename ValueType>
        struct ExtractMemberType<ValueType Owner::*>
        {
            using Type = ValueType;
        };
 
        template<typename Type>
        struct ExtractTemplateType { };
 
        template<template <typename> typename TType, typename ExtractedType>
        struct ExtractTemplateType<TType<ExtractedType>>
        {
            using Type = ExtractedType;
        };
 
    } // namespace detail
 
} // namespace ice