meta_programming.hpp

Go to the documentation of this file.

#pragma once

// ReSharper disable CppInconsistentNaming


#include "Mountain/core.hpp"

#include <map>
#include <type_traits>

#include <Maths/quaternion.hpp>
#include <Maths/vector2.hpp>
#include <Maths/vector3.hpp>

#include "Mountain/utils/concepts.hpp"

namespace Mountain
{
    template <typename>
    class Pointer;
    template <typename>
    class List;

    namespace Meta
    {
        template <typename Base, typename Derived>
        constexpr bool_t IsBaseOf = std::is_base_of_v<Base, Derived>;

        template <typename A, typename B>
        constexpr bool_t IsSame = std::is_same_v<A, B>;

        template <typename T, typename... Other>
        constexpr bool_t IsAny = (std::is_same_v<T, Other> || ...);

        template <typename T>
        constexpr bool_t IsArray = std::is_array_v<T>;

        template <typename T>
        constexpr bool_t IsPointer = std::is_pointer_v<T>;

        template <typename T>
        constexpr bool_t IsClass = std::is_class_v<T>;

        template <typename T>
        constexpr bool_t IsEnum = std::is_enum_v<T>;

        template <typename T>
        constexpr bool_t IsIntegral = std::is_integral_v<T>;

        template <typename T>
        constexpr bool_t IsFloatingPoint = std::is_floating_point_v<T>;

        template <typename T>
        constexpr bool_t IsAbstract = std::is_abstract_v<T>;

        template <typename T>
        constexpr bool_t IsDefaultConstructible = std::is_default_constructible_v<T>;

        template <typename T>
        constexpr bool_t IsCopyAssignable = std::is_copy_assignable_v<T>;

        template <bool_t Test>
        using EnableIf = std::enable_if_t<Test>;

        template <typename T>
        using RemoveArraySpecifier = std::remove_extent_t<T>;

        template <typename T>
        using RemovePointerSpecifier = std::remove_pointer_t<T>;

        template <typename T>
        using RemoveConstSpecifier = std::remove_const_t<T>;

        template <typename>
        constexpr bool_t IsStdVector = false;

        template <typename T, typename A>
        constexpr bool_t IsStdVector<std::vector<T, A>> = true;

        template <typename>
        constexpr bool_t IsStdFunction = false;

        template <typename T, typename... Args>
        constexpr bool_t IsStdFunction<std::function<T(Args...)>> = true;

        template <typename>
        constexpr bool_t IsStdMap = false;

        template <typename T, typename A>
        constexpr bool_t IsStdMap<std::map<T, A>> = true;

        template <typename>
        constexpr bool_t IsMountainList = false;

        template <typename T>
        constexpr bool_t IsMountainList<List<T>> = true;

        template <typename>
        constexpr bool_t IsMountainPointer = false;

        template <typename T>
        constexpr bool_t IsMountainPointer<Pointer<T>> = true;

        template <typename T>
        constexpr bool_t IsNativeType = IsAny<T, uint8_t, int8_t, uint16_t, int16_t, uint32_t, int32_t, uint64_t, int64_t, float_t, double_t, bool_t>;

        template <typename T>
        constexpr bool_t IsIntegralOrFloating = IsAny<T, uint8_t, int8_t, uint16_t, int16_t, uint32_t, int32_t, uint64_t, int64_t, float_t, double_t>;

        template <typename T>
        constexpr bool_t IsMathType = IsAny<T, Vector2, Vector2i, Vector3, Vector4, Quaternion>;

        template <typename T>
        constexpr bool_t IsColorType = IsAny<T, Color, ColorHsva>;

        template <Concepts::EnumT T>
        using UnderlyingEnumType = std::underlying_type_t<T>;

        template <Concepts::EnumT T>
        using Flags = UnderlyingEnumType<T>;
    }
};