Type.h

 
#pragma once
 
#include <cstddef>      //std::size_t
#include <type_traits>  //std::is_const_v, std::is_volatile_v, std::is_array_v, ...
 
#include "Refureku/Misc/Pimpl.h"
#include "Refureku/TypeInfo/TypePart.h"
#include "Refureku/TypeInfo/Archetypes/GetArchetype.h"
 
namespace rfk
{
    class Type
    {
        public:
            REFUREKU_API Type()     noexcept;
            Type(Type const&)       noexcept;
            Type(Type&&)            noexcept;
            REFUREKU_API ~Type()    noexcept;
 
            REFUREKU_API TypePart const&        getTypePartAt(std::size_t index)    const   noexcept;
 
            REFUREKU_API std::size_t            getTypePartsCount()                 const   noexcept;
 
            REFUREKU_API bool                   isPointer()                         const   noexcept;
 
            REFUREKU_API bool                   isLValueReference()                 const   noexcept;
 
            REFUREKU_API bool                   isRValueReference()                 const   noexcept;
 
            REFUREKU_API bool                   isCArray()                          const   noexcept;
 
            REFUREKU_API bool                   isValue()                           const   noexcept;
 
            REFUREKU_API bool                   isConst()                           const   noexcept;
 
            REFUREKU_API bool                   isVolatile()                        const   noexcept;
 
            REFUREKU_API uint32                 getCArraySize()                     const   noexcept;
 
            REFUREKU_API bool                   match(Type const& other)            const   noexcept;
 
            REFUREKU_API Archetype const*       getArchetype()                      const   noexcept;
 
            REFUREKU_API void                   setArchetype(Archetype const* archetype)    noexcept;
 
            REFUREKU_API TypePart&              addTypePart()                               noexcept;
 
            REFUREKU_API void                   optimizeMemory()                            noexcept;
 
 
            REFUREKU_API bool operator==(Type const&)   const   noexcept;
            REFUREKU_API bool operator!=(Type const&)   const   noexcept;
 
        protected:
            //Forward declaration
            class TypeImpl;
 
        private:
            Pimpl<TypeImpl> _pimpl;
 
            //The rfk::getType<T> method can access Type internal methods to fill the type
            template <typename T>
            friend Type const& getType() noexcept;
 
            template <typename T>
            static void fillType(Type& out_type)    noexcept;
    };
 
    template <typename T>
    Type const& getType() noexcept;
 
    #include "Refureku/TypeInfo/Type.inl"
 
    /*
    *   Export getType<T> instantiations for all fundamental types so that their address is shared among all consumers
    */
    template REFUREKU_API Type const& getType<void>()               noexcept;
    template REFUREKU_API Type const& getType<std::nullptr_t>()     noexcept;
    template REFUREKU_API Type const& getType<bool>()               noexcept;
    template REFUREKU_API Type const& getType<char>()               noexcept;
    template REFUREKU_API Type const& getType<signed char>()        noexcept;
    template REFUREKU_API Type const& getType<unsigned char>()      noexcept;
    template REFUREKU_API Type const& getType<wchar_t>()            noexcept;
    template REFUREKU_API Type const& getType<char16_t>()           noexcept;
    template REFUREKU_API Type const& getType<char32_t>()           noexcept;
    template REFUREKU_API Type const& getType<short>()              noexcept;
    template REFUREKU_API Type const& getType<unsigned short>()     noexcept;
    template REFUREKU_API Type const& getType<int>()                noexcept;
    template REFUREKU_API Type const& getType<unsigned int>()       noexcept;
    template REFUREKU_API Type const& getType<long>()               noexcept;
    template REFUREKU_API Type const& getType<unsigned long>()      noexcept;
    template REFUREKU_API Type const& getType<long long>()          noexcept;
    template REFUREKU_API Type const& getType<unsigned long long>() noexcept;
    template REFUREKU_API Type const& getType<float>()              noexcept;
    template REFUREKU_API Type const& getType<double>()             noexcept;
    template REFUREKU_API Type const& getType<long double>()        noexcept;
}