Use std::void_t (#66)

Author: Morwenn

include/cpp-sort/adapters/small_array_adapter.h

@@ -1,5 +1,5 @@
 /*
- * Copyright (c) 2015-2022 Morwenn
+ * Copyright (c) 2015-2025 Morwenn
  * SPDX-License-Identifier: MIT
  */
 #ifndef CPPSORT_ADAPTERS_SMALL_ARRAY_ADAPTER_H_
@@ -32,7 +32,7 @@ namespace cppsort
         };
 
         template<typename T>
-        struct has_domain<T, void_t<typename T::domain>>:
+        struct has_domain<T, std::void_t<typename T::domain>>:
             std::true_type
         {
             using domain = typename T::domain;

include/cpp-sort/adapters/stable_adapter.h

@@ -1,5 +1,5 @@
 /*
- * Copyright (c) 2016-2023 Morwenn
+ * Copyright (c) 2016-2025 Morwenn
  * SPDX-License-Identifier: MIT
  */
 #ifndef CPPSORT_ADAPTERS_STABLE_ADAPTER_H_
@@ -259,7 +259,7 @@ namespace cppsort
         };
 
         template<typename Sorter>
-        struct stable_t_impl_type_or<Sorter, detail::void_t<typename Sorter::type>>
+        struct stable_t_impl_type_or<Sorter, std::void_t<typename Sorter::type>>
         {
             using type = typename Sorter::type;
         };

include/cpp-sort/detail/raw_checkers.h

@@ -1,5 +1,5 @@
 /*
- * Copyright (c) 2016-2022 Morwenn
+ * Copyright (c) 2016-2025 Morwenn
  * SPDX-License-Identifier: MIT
  */
 #ifndef CPPSORT_DETAIL_RAW_CHECKERS_H_
@@ -29,7 +29,7 @@ namespace detail
     {};
 
     template<typename T>
-    struct has_iterator_category<T, void_t<typename T::iterator_category>>:
+    struct has_iterator_category<T, std::void_t<typename T::iterator_category>>:
         std::true_type
     {};
 
@@ -61,7 +61,7 @@ namespace detail
     {};
 
     template<typename T>
-    struct has_is_always_stable<T, void_t<typename T::is_always_stable>>:
+    struct has_is_always_stable<T, std::void_t<typename T::is_always_stable>>:
         std::true_type
     {};
 
@@ -94,7 +94,7 @@ namespace detail
     {};
 
     template<typename T>
-    struct has_is_transparent<T, void_t<typename T::is_transparent>>:
+    struct has_is_transparent<T, std::void_t<typename T::is_transparent>>:
         std::true_type
     {};
 

include/cpp-sort/detail/type_traits.h

@@ -52,12 +52,6 @@ namespace detail
     template<bool B, typename T=void>
     using enable_if_t = typename enable_if_impl<B>::template type<T>;
 
-    ////////////////////////////////////////////////////////////
-    // std::void_t from C++17
-
-    template<typename...>
-    using void_t = void;
-
     ////////////////////////////////////////////////////////////
     // std::nonesuch from Library Fundamentals TS v2
 
@@ -88,7 +82,7 @@ namespace detail
         template<typename...> class Op,
         typename... Args
     >
-    struct detector<Default, void_t<Op<Args...>>, Op, Args...>
+    struct detector<Default, std::void_t<Op<Args...>>, Op, Args...>
     {
         using value_t = std::true_type;
         using type = Op<Args...>;
@@ -154,12 +148,12 @@ namespace detail
     {};
 
     template<typename Func, typename... Args>
-    struct is_invocable_impl<void, void_t<invoke_result_t<Func, Args...>>, Func, Args...>:
+    struct is_invocable_impl<void, std::void_t<invoke_result_t<Func, Args...>>, Func, Args...>:
         std::true_type
     {};
 
     template<typename Ret, typename Func, typename... Args>
-    struct is_invocable_impl<Ret, void_t<invoke_result_t<Func, Args...>>, Func, Args...>:
+    struct is_invocable_impl<Ret, std::void_t<invoke_result_t<Func, Args...>>, Func, Args...>:
         std::is_convertible<invoke_result_t<Func, Args...>, Ret>
     {};
 

include/cpp-sort/sorter_traits.h

@@ -281,7 +281,7 @@ namespace cppsort
         template<typename Sorter>
         struct bidir_at_best_tag<
             Sorter,
-            void_t<typename sorter_traits<Sorter>::iterator_category>
+            std::void_t<typename sorter_traits<Sorter>::iterator_category>
         >
         {
             using type = conditional_t<