decay.hpp

Go to the documentation of this file.

#ifndef BSL_DECAY_HPP
#define BSL_DECAY_HPP

#include "add_pointer.hpp"
#include "is_array.hpp"
#include "is_function.hpp"
#include "remove_cv.hpp"
#include "remove_extent.hpp"
#include "remove_reference.hpp"

namespace bsl
{
    template<
        typename T,
        bool IS_ARRAY = is_array<remove_reference_t<T>>::value,
        bool IS_FUNCTION = is_function<remove_reference_t<T>>::value>
    struct decay final
    {
        using type = remove_cv_t<remove_reference_t<T>>;
    };

    template<typename T>
    using decay_t = typename decay<T>::type;


    template<typename T>
    struct decay<T, true, true> final
    {
        using type = remove_extent_t<remove_reference_t<T>> *;
    };

    template<typename T>
    struct decay<T, true, false> final
    {
        using type = remove_extent_t<remove_reference_t<T>> *;
    };

    template<typename T>
    struct decay<T, false, true> final
    {
        using type = add_pointer_t<remove_reference_t<T>>;
    };

}

#endif