TypeTraits.hpp

Go to the documentation of this file.

#pragma once
 
#include <memory>
#include <type_traits>
 
namespace smgl
{
namespace type_traits
{
 
template <class T>
struct remove_cvref {
    using type = std::remove_cv_t<std::remove_reference_t<T>>;
};
 
template <typename T>
using remove_cvref_t = typename remove_cvref<T>::type;
 
template <bool...>
struct bool_pack;
 
template <bool... v>
using all_true = std::is_same<bool_pack<true, v...>, bool_pack<v..., true>>;
 
template <bool... v>
constexpr bool all_true_v = all_true<v...>::value;
 
template <typename Ptr, typename Base>
struct is_ptr_to_base_helper
    : std::integral_constant<
          bool,
          std::is_convertible<
              std::add_pointer_t<
                  typename std::pointer_traits<Ptr>::element_type>,
              std::add_pointer_t<Base>>::value> {
};
 
template <typename Ptr, typename Base>
struct is_ptr_to_base
    : is_ptr_to_base_helper<remove_cvref_t<Ptr>, remove_cvref_t<Base>> {
};
 
template <typename Ptr, typename Base>
constexpr bool is_ptr_to_base_v = is_ptr_to_base<Ptr, Base>::value;
 
}  // namespace type_traits
}  // namespace smgl