[llvm] 65994cc - [Support] Use std::conditional_t in several type traits (NFC) (#157791)

via llvm-commits llvm-commits at lists.llvm.org
Wed Sep 10 08:37:07 PDT 2025


Author: Kazu Hirata
Date: 2025-09-10T08:37:03-07:00
New Revision: 65994cc929c26f29fc89a55903352d51e4e22c0b

URL: https://github.com/llvm/llvm-project/commit/65994cc929c26f29fc89a55903352d51e4e22c0b
DIFF: https://github.com/llvm/llvm-project/commit/65994cc929c26f29fc89a55903352d51e4e22c0b.diff

LOG: [Support] Use std::conditional_t in several type traits (NFC) (#157791)

With std::conditional_t, we don't have to have two templates for each
of these type traits.

Added: 
    

Modified: 
    llvm/include/llvm/Support/type_traits.h

Removed: 
    


################################################################################
diff  --git a/llvm/include/llvm/Support/type_traits.h b/llvm/include/llvm/Support/type_traits.h
index cb7f524447a5e..80713e17a56b9 100644
--- a/llvm/include/llvm/Support/type_traits.h
+++ b/llvm/include/llvm/Support/type_traits.h
@@ -39,35 +39,21 @@ template <typename T> class is_integral_or_enum {
 };
 
 /// If T is a pointer, just return it. If it is not, return T&.
-template <typename T, typename Enable = void>
-struct add_lvalue_reference_if_not_pointer {
-  using type = T &;
-};
-
-template <typename T>
-struct add_lvalue_reference_if_not_pointer<
-    T, std::enable_if_t<std::is_pointer_v<T>>> {
-  using type = T;
+template <typename T> struct add_lvalue_reference_if_not_pointer {
+  using type = std::conditional_t<std::is_pointer_v<T>, T, T &>;
 };
 
 /// If T is a pointer to X, return a pointer to const X. If it is not,
 /// return const T.
-template <typename T, typename Enable = void> struct add_const_past_pointer {
-  using type = const T;
+template <typename T> struct add_const_past_pointer {
+  using type = std::conditional_t<std::is_pointer_v<T>,
+                                  const std::remove_pointer_t<T> *, const T>;
 };
 
-template <typename T>
-struct add_const_past_pointer<T, std::enable_if_t<std::is_pointer_v<T>>> {
-  using type = const std::remove_pointer_t<T> *;
-};
-
-template <typename T, typename Enable = void>
-struct const_pointer_or_const_ref {
-  using type = const T &;
-};
-template <typename T>
-struct const_pointer_or_const_ref<T, std::enable_if_t<std::is_pointer_v<T>>> {
-  using type = typename add_const_past_pointer<T>::type;
+template <typename T> struct const_pointer_or_const_ref {
+  using type =
+      std::conditional_t<std::is_pointer_v<T>,
+                         typename add_const_past_pointer<T>::type, const T &>;
 };
 
 namespace detail {


        


More information about the llvm-commits mailing list