type_transforms.h

Go to the documentation of this file.

// =====================================================================================================================
//  fennec, a free and open source game engine
//  Copyright © 2025  Medusa Slockbower
//
//  This program is free software: you can redistribute it and/or modify
//  it under the terms of the GNU General License as published by
//  the Free Software Foundation, either version 3 of the License, or
//  (at your option) any later version.
//
//  This program is distributed in the hope that it will be useful,
//  but WITHOUT ANY WARRANTY; without even the implied warranty of
//  MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
//  GNU General License for more details.
//
//  You should have received a copy of the GNU General License
//  along with this program.  If not, see <https://www.gnu.org/licenses/>.
// =====================================================================================================================
 
 
#ifndef FENNEC_LANG_TYPE_TRANSFORMS_H
#define FENNEC_LANG_TYPE_TRANSFORMS_H
 
#include <fennec/lang/conditional_types.h>
#include <fennec/lang/type_identity.h>
#include <fennec/lang/detail/_type_traits.h>
#include <fennec/lang/detail/_type_transforms.h>
 
 
 
namespace fennec
{
 
// Decay Conversions ===================================================================================================
 
template<typename T> struct decay : detail::_decay<T> {};
 
template<typename T> using decay_t = typename decay<T>::type;
 
// Pointer Conversions =================================================================================================
 
template<typename T> struct add_pointer : detail::_add_pointer<T>{};
 
template<typename T> using add_pointer_t = typename add_pointer<T>::type;
 
 
template<typename T> struct remove_pointer : detail::_remove_pointer<T> {};
 
template<typename T> using remove_pointer_t = typename remove_pointer<T>::type;
 
 
template<typename T> struct strip_pointers : conditional_t<
            detail::_is_pointer<T>::value,
            strip_pointers<remove_pointer_t<T>>,
            type_identity<T>
        > {};
 
template<typename T> using strip_pointers_t = strip_pointers<T>::type;
 
 
 
// Reference Conversions ===============================================================================================
 
template<typename T> struct add_reference : type_identity<T&> {};
 
template<typename T> using  add_reference_t = typename add_reference<T>::type;
 
 
template<typename T> struct remove_reference : type_identity<T> {};
 
// specialization for `T&`
template<typename T> struct remove_reference<T&> : type_identity<T> {};
 
// specialization for `T&&`
template<typename T> struct remove_reference<T&&> : type_identity<T> {};
 
template<typename T> using  remove_reference_t = typename remove_reference<T>::type;
 
 
template<typename T> struct add_lvalue_reference : detail::_add_lvalue_reference<T> {};
 
template<typename T> using  add_lvalue_reference_t = typename add_lvalue_reference<T>::type;
 
 
template<typename T> struct add_rvalue_reference : detail::_add_rvalue_reference<T> {};
 
template<typename T> using  add_rvalue_reference_t = typename add_rvalue_reference<T>::type;
 
 
 
// Const & Volatile Conversions ========================================================================================
 
template<typename T> struct add_const : detail::_add_const<T> {};
 
template<typename T> using add_const_t = typename add_const<T>::type;
 
 
template<typename T> struct remove_const : detail::_remove_const<T> {};
 
template<typename T> using remove_const_t = typename remove_const<T>::type;
 
 
 
template<typename T> struct add_volatile : detail::_add_volatile<T> {};
 
template<typename T> using add_volatile_t = typename add_volatile<T>::type;
 
 
template<typename T> struct remove_volatile : detail::_remove_volatile<T> {};
 
template<typename T> using remove_volatile_t = typename remove_volatile<T>::type;
 
 
 
template<typename T> struct add_cv : detail::_add_cv<T> {};
 
template<typename T> using add_cv_t = typename add_cv<T>::type;
 
 
 
template<typename T> struct remove_cv : detail::_remove_cv<T> {};
 
template<typename T> using remove_cv_t = typename remove_cv<T>::type;
 
 
 
template<typename T> struct add_cvref : type_identity<add_reference_t<add_cv_t<T>>> {};
 
template<typename T> using add_cvref_t = typename add_cvref<T>::type;
 
 
 
template<typename T> struct remove_cvref : type_identity<remove_cv_t<remove_reference_t<T>>> {};
 
 
template<typename T> using remove_cvref_t = typename remove_cvref<T>::type;
 
 
 
template<typename T> struct remove_cvrefptr : type_identity<remove_cv_t<remove_reference_t<strip_pointers_t<T>>>> {};
 
 
template<typename T> using remove_cvrefptr_t = typename remove_cvrefptr<T>::type;
 
}
 
#endif // FENNEC_LANG_TYPE_TRANSFORMS_H