GPU: Add some more type trait templates for GPU code

Author: davidrohr

GPU/Common/GPUCommonTypeTraits.h

@@ -22,7 +22,7 @@
 #include <type_traits>
 #endif
 #else
-// We just reimplement some type traits in std for the GPU
+// We just reimplement some type traits in std for the GPU // TODO: Check if meanwhile we can get rid of GPUCommonTypeTraits and GPUCommonArray, and just use the std headers.
 namespace std
 {
 template <bool B, class T, class F>
@@ -35,6 +35,7 @@ struct conditional<false, T, F> {
 };
 template <bool B, class T, class F>
 using contitional_t = typename conditional<B, T, F>::type;
+
 template <class T, class U>
 struct is_same {
   static constexpr bool value = false;
@@ -45,13 +46,15 @@ struct is_same<T, T> {
 };
 template <class T, class U>
 static constexpr bool is_same_v = is_same<T, U>::value;
+
 template <bool B, class T = void>
 struct enable_if {
 };
 template <class T>
 struct enable_if<true, T> {
   typedef T type;
 };
+
 template <class T>
 struct remove_cv {
   typedef T type;
@@ -68,6 +71,9 @@ template <class T>
 struct remove_cv<const volatile T> {
   typedef T type;
 };
+template <class T>
+using remove_cv_t = typename remove_cv<T>::type;
+
 template <class T>
 struct remove_const {
   typedef T type;
@@ -76,6 +82,9 @@ template <class T>
 struct remove_const<const T> {
   typedef T type;
 };
+template <class T>
+using remove_const_t = typename remove_const<T>::type;
+
 template <class T>
 struct remove_volatile {
   typedef T type;
@@ -84,6 +93,9 @@ template <class T>
 struct remove_volatile<volatile T> {
   typedef T type;
 };
+template <class T>
+using remove_volatile_t = typename remove_volatile<T>::type;
+
 template <class T>
 struct is_pointer_t {
   static constexpr bool value = false;
@@ -95,6 +107,36 @@ struct is_pointer_t<T*> {
 template <class T>
 struct is_pointer : is_pointer_t<typename std::remove_cv<T>::type> {
 };
+
+template <class T>
+struct remove_reference {
+  typedef T type;
+};
+template <class T>
+struct remove_reference<T&> {
+  typedef T type;
+};
+template <class T>
+struct remove_reference<T&&> {
+  typedef T type;
+};
+template <class T>
+using remove_reference_t = typename remove_reference<T>::type;
+
+template <class T>
+struct is_member_pointer_helper {
+  static constexpr bool value = false;
+};
+template <class T, class U>
+struct is_member_pointer_helper<T U::*> {
+  static constexpr bool value = true;
+};
+template <class T>
+struct is_member_pointer : is_member_pointer_helper<typename std::remove_cv<T>::type> {
+};
+template <class T>
+static constexpr bool is_member_pointer_v = is_member_pointer<T>::value;
+
 } // namespace std
 #endif