TypeTraits.hpp

#pragma once

#include <memory>
#include <type_traits>

namespace AMDiS
{

  template <class T>
  struct remove_cvref
  {
    using type = std::remove_cv_t<std::remove_reference_t<T>>;
  };

  template <class T>
  using remove_cvref_t = typename remove_cvref<T>::type;

  namespace Impl
  {
    template <class T>
    struct UnderlyingType
    {
      using type = T;
    };

    template <class T>
    struct UnderlyingType<const T>
    {
      using type = typename UnderlyingType<T>::type;
    };

    template <class T>
    struct UnderlyingType<T&>
    {
      using type = typename UnderlyingType<T>::type;
    };

    template <class T>
    struct UnderlyingType<T*>
    {
      using type = typename UnderlyingType<T>::type;
    };

    template <class T>
    struct UnderlyingType<std::reference_wrapper<T>>
    {
      using type = typename UnderlyingType<T>::type;
    };

    template <class T>
    struct UnderlyingType<std::shared_ptr<T>>
    {
      using type = typename UnderlyingType<T>::type;
    };

    template <class T>
    struct UnderlyingType<std::unique_ptr<T>>
    {
      using type = typename UnderlyingType<T>::type;
    };
  }

  template <class T>
  using Underlying_t = typename Impl::UnderlyingType<T>::type;


  #define FWD(...) static_cast<decltype(__VA_ARGS__)>(__VA_ARGS__)

  #define TYPEOF(...) AMDiS::remove_cvref_t<decltype(__VA_ARGS__)>

  #define VALUE(...) TYPEOF(__VA_ARGS__)::value

  // ---------------------------------------------------------------------------

  template <class... Ts>
  struct Types {};

  template <class... Ts>
  using Types_t = Types<remove_cvref_t<Ts>...>;


  template <class T>
  using owner = T;

  struct NoOp
  {
    template <class... T>
    constexpr void operator()(T&&...) const { /* no nothing */ }
  };

  template <class Obj>
  auto makeUniquePtr(Obj&& obj)
  {
    return std::make_unique<TYPEOF(obj)>(FWD(obj));
  }

  template <class Obj>
  auto makeSharedPtr(Obj&& obj)
  {
    return std::make_shared<TYPEOF(obj)>(FWD(obj));
  }

  template <bool... b>
  using enable_if_all_t = std::enable_if_t<(b &&...)>;

} // end namespace AMDiS