Changeset a4453e1 in mainline

Timestamp:

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

Author:

Dzejrou <dzejrou@…>

Branches:

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

Children:

108ad4cf

Parents:

cec6360

git-author:

Dzejrou <dzejrou@…> (2018-04-24 23:58:45)

git-committer:

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

Message:

cpp: added is_constructible

File:

• uspace/lib/cpp/include/impl/type_traits.hpp (modified) (1 diff)

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

@@ -645 +645 @@
     inline constexpr bool is_unsigned_v = is_unsigned<T>::value;
 
+    namespace aux
+    {
+        template<class, class T, class... Args>
+        struct is_constructible: false_type
+        { /* DUMMY BODY */ };
+
+        template<class T, class... Args>
+        struct is_constructible<
+            void_t<decltype(T(declval<Args>()...))>,
+            T, Args...
+        >
+            : true_type
+        { /* DUMMY BODY */ };
+    }
+
     template<class T, class... Args>
-    struct is_constructible;
+    struct is_constructible: aux::is_constructible<void_t<>, T, Args...>
+    { /* DUMMY BODY */ };
+
+    template<class T, class... Args>
+    inline constexpr bool is_constructible_v = is_constructible<T, Args...>::value;
 
     template<class T>