is_aggregate.hpp

#ifndef INCG_PHI_CORE_TYPE_TRAITS_IS_AGGREGATE_HPP
#define INCG_PHI_CORE_TYPE_TRAITS_IS_AGGREGATE_HPP

#include "phi/phi_config.hpp"

#if PHI_HAS_EXTENSION_PRAGMA_ONCE()
#    pragma once
#endif

#include "phi/compiler_support/constexpr.hpp"
#include "phi/compiler_support/inline_variables.hpp"
#include "phi/compiler_support/intrinsics/is_aggregate.hpp"
#include "phi/type_traits/integral_constant.hpp"

#if PHI_SUPPORTS_IS_AGGREGATE()

#    include "phi/type_traits/remove_cv.hpp"

#    define PHI_HAS_WORKING_IS_AGGREGATE() 1

DETAIL_PHI_BEGIN_NAMESPACE()

template <typename TypeT>
struct is_aggregate : public integral_constant<bool, PHI_IS_AGGREGATE(remove_cv_t<TypeT>)>
{};

template <typename TypeT>
struct is_not_aggregate : public integral_constant<bool, !PHI_IS_AGGREGATE(remove_cv_t<TypeT>)>
{};

#    if PHI_HAS_FEATURE_VARIABLE_TEMPLATE()

template <typename TypeT>
PHI_INLINE_VARIABLE PHI_CONSTEXPR bool is_aggregate_v = PHI_IS_AGGREGATE(remove_cv_t<TypeT>);

template <typename TypeT>
PHI_INLINE_VARIABLE PHI_CONSTEXPR bool is_not_aggregate_v = !PHI_IS_AGGREGATE(remove_cv_t<TypeT>);

#    endif

#else

#    include "phi/type_traits/false_t.hpp"

#    define PHI_HAS_WORKING_IS_AGGREGATE() 0

DETAIL_PHI_BEGIN_NAMESPACE()

template <typename TypeT>
struct is_aggregate : public false_type
{
    static_assert(false_t<TypeT>::value,
                  "phi::is_aggregate requires compiler support for intrinsic __is_aggregate");
};

template <typename TypeT>
struct is_not_aggregate : public false_type
{
    static_assert(false_t<TypeT>::value,
                  "phi::is_not_aggregate requires compiler support for intrinsic __is_aggregate");
};

#    if PHI_HAS_FEATURE_VARIABLE_TEMPLATE()

template <typename TypeT>
PHI_INLINE_VARIABLE PHI_CONSTEXPR bool is_aggregate_v = is_aggregate<TypeT>::value;

template <typename TypeT>
PHI_INLINE_VARIABLE PHI_CONSTEXPR bool is_not_aggregate_v = is_not_aggregate<TypeT>::value;

#    endif

#endif

DETAIL_PHI_END_NAMESPACE()

#endif // INCG_PHI_CORE_TYPE_TRAITS_IS_AGGREGATE_HPP