is_destructible.hpp

Go to the documentation of this file.

#ifndef BSL_IS_DESTRUCTIBLE_HPP
#define BSL_IS_DESTRUCTIBLE_HPP

#include "bool_constant.hpp"
#include "declval.hpp"
#include "is_detected.hpp"
#include "is_function.hpp"
#include "is_reference.hpp"
#include "is_scalar.hpp"
#include "is_unbounded_array.hpp"
#include "is_void.hpp"
#include "remove_all_extents.hpp"

namespace bsl
{
    namespace details
    {
        template<typename T>
        using is_destructible_type = decltype(bsl::declval<T &>().~T());

        template<typename T>
        [[nodiscard]] constexpr bool
        check_is_destructible() noexcept
        {
            if (is_reference<T>::value) {
                return true;
            }

            if (is_void<T>::value || is_function<T>::value || is_unbounded_array<T>::value) {
                return false;
            }

            return is_detected<is_destructible_type, remove_all_extents_t<T>>::value;
        }
    }

    template<typename T>
    class is_destructible final :    // --
        public bool_constant<details::check_is_destructible<T>()>
    {};
}

#endif