Changeset 40f8328 in mainline

Timestamp:

2018-07-05T21:41:17Z (7 years ago)

Author:

Dzejrou <dzejrou@…>

Branches:

lfn, master, serial, ticket/834-toolchain-update, topic/msim-upgrade, topic/simplify-dev-export

Children:

2d72b26

Parents:

529ebfb8

git-author:

Jaroslav Jindrak <dzejrou@…> (2017-10-15 18:20:40)

git-committer:

Dzejrou <dzejrou@…> (2018-07-05 21:41:17)

Message:

cpp: added an auxiliary header for metafunctions, implemented some new type traits, modified void_t to conform C++17 its signature

Location:

uspace/lib/cpp/include

Files:

• impl/type_traits.hpp (modified) (4 diffs)
• impl/typeinfo.hpp (modified) (1 diff)
• internal/aux.hpp (added)

uspace/lib/cpp/include/impl/type_traits.hpp

@@ -32 +32 @@
 #include <cstdlib>
 #include <cstddef>
+#include <internal/aux.hpp>
 
 namespace std
@@ -607 +608 @@
     struct alignment_of;
 
-    template<class T>
-    struct rank;
+    template<class>
+    struct rank : aux::value_is<size_t, 0u>
+    { /* DUMMY BODY */ };
+
+    template<class T, size_t N>
+    struct rank<T[N]>: aux::value_is<size_t, 1u + rank<T>::value>
+    { /* DUMMY BODY */ };
+
+    template<class T>
+    struct rank<T[]>: aux::value_is<size_t, 1u + rank<T>::value>
+    { /* DUMMY BODY */ };
 
     template<class T, unsigned I = 0>
@@ -636 +646 @@
 
     template<class T>
-    struct remove_const;
+    struct remove_const: aux::type_is<T>
+    { /* DUMMY BODY */ };
+
+    template<class T>
+    struct remove_const<T const>: aux::type_is<T>
+    { /* DUMMY BODY */ };
 
     template<class T>
@@ -797 +812 @@
     using result_of_t = typename result_of<T>::type;
 
-    template<class T>
+    template<class...>
     using void_t = void;
 }

uspace/lib/cpp/include/impl/typeinfo.hpp

@@ -37 +37 @@
 class type_info
 {
-        public:
+    public:
         virtual ~type_info();