diff options
| author | Steven Le Rouzic <steven.lerouzic@gmail.com> | 2024-08-01 00:56:05 +0200 |
|---|---|---|
| committer | Steven Le Rouzic <steven.lerouzic@gmail.com> | 2024-08-01 00:56:05 +0200 |
| commit | 4228e82740f62b841799cfca04861fa217fb93a5 (patch) | |
| tree | 30bd93b9c62e87d8b1416344d21ba84cfb66ae2a /asl/meta/internal/refs.hpp | |
| parent | 4698812fdc2d9eeea03f26307d6e7e626aaec12b (diff) | |
More work on taxonomy
Diffstat (limited to 'asl/meta/internal/refs.hpp')
| -rw-r--r-- | asl/meta/internal/refs.hpp | 45 |
1 files changed, 45 insertions, 0 deletions
diff --git a/asl/meta/internal/refs.hpp b/asl/meta/internal/refs.hpp new file mode 100644 index 0000000..b21a0a1 --- /dev/null +++ b/asl/meta/internal/refs.hpp @@ -0,0 +1,45 @@ +#pragma once
+
+#include "asl/meta/types.hpp"
+
+namespace asl::internal {
+
+template<typename T, typename = void>
+inline constexpr bool is_referenceable = false;
+
+template<typename T>
+inline constexpr bool is_referenceable<T, void_t<T&>> = true;
+
+template<typename T, bool = is_referenceable<T>>
+struct as_ref_helper { using lvalue = T; using rvalue = T; };
+
+template<typename T>
+struct as_ref_helper<T, true> { using lvalue = T&; using rvalue = T&&; };
+
+template<typename T> struct un_ref_helper { using type = T; };
+template<typename T> struct un_ref_helper<T&> { using type = T; };
+template<typename T> struct un_ref_helper<T&&> { using type = T; };
+
+template<typename T>
+struct is_ref_helper
+{
+ static inline constexpr bool lref = false;
+ static inline constexpr bool rref = false;
+};
+
+template<typename T>
+struct is_ref_helper<T&>
+{
+ static inline constexpr bool lref = true;
+ static inline constexpr bool rref = false;
+};
+
+template<typename T>
+struct is_ref_helper<T&&>
+{
+ static inline constexpr bool lref = false;
+ static inline constexpr bool rref = true;
+};
+
+} // namespace asl::internal
+
|