strong_type_value.hxx

Go to the documentation of this file.

 
#pragma once
#include <ice/concept/strong_type_base.hxx>
 
namespace ice
{

    struct StrongValue { };

    template<typename T>
    concept StrongValueType = std::is_pod_v<T>
        && ice::detail::HasAliasTypeTag<T, ice::StrongValue> // using TypeTag = ice::StrongValue;
        && ice::detail::OnlyMemberValue<T>;
 
    template<typename T> requires ice::StrongValueType<T>
    constexpr bool operator==(T left, T right) noexcept
    {
        return left.value == right.value;
    }
 

    template<typename Tag>
    struct TaggedStrongValue { };

    template<typename T>
    concept TaggedStrongValueType = std::is_pod_v<T>
        && ice::detail::HasAliasTypeTag<T, ice::TaggedStrongValue<typename ice::detail::ExtractTemplateType<typename T::TypeTag>::Type>>;

    template<typename T, typename U>
    concept SameTaggedTypes = std::is_same_v<typename T::TypeTag, typename U::TypeTag>
        && TaggedStrongValueType<T>
        && TaggedStrongValueType<U>;
 
    template<typename T, typename U> requires ice::SameTaggedTypes<T, U>
    constexpr bool operator==(T left, U right) noexcept
    {
        return left.value == right.value;
    }
 
} // namespace ice