diff options
| author | Steven Le Rouzic <steven.lerouzic@gmail.com> | 2024-07-31 00:27:41 +0200 |
|---|---|---|
| committer | Steven Le Rouzic <steven.lerouzic@gmail.com> | 2024-07-31 00:27:41 +0200 |
| commit | 4698812fdc2d9eeea03f26307d6e7e626aaec12b (patch) | |
| tree | c0dc6b9a570f76e55880ea2c8a541a0d5a47de3d /asl/meta/types.hpp | |
| parent | 9289f825f4e2b30b6197e18896780782cd3a088e (diff) | |
More work on refs
Diffstat (limited to 'asl/meta/types.hpp')
| -rw-r--r-- | asl/meta/types.hpp | 26 |
1 files changed, 24 insertions, 2 deletions
diff --git a/asl/meta/types.hpp b/asl/meta/types.hpp index b5aa192..79ccf5e 100644 --- a/asl/meta/types.hpp +++ b/asl/meta/types.hpp @@ -5,10 +5,32 @@ namespace asl { template<typename T> using void_t = void;
template<typename T, typename = void>
-inline constexpr bool referenceable = false;
+inline constexpr bool is_referenceable = false;
template<typename T>
-inline constexpr bool referenceable<T, void_t<T&>> = true;
+inline constexpr bool is_referenceable<T, void_t<T&>> = true;
+
+namespace internal {
+
+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; };
+
+} // namespace internal
+
+template<typename T> using as_ref_t = internal::as_ref_helper<T>::lvalue; +template<typename T> using as_rref_t = internal::as_ref_helper<T>::rvalue;
+
+template<typename T> using un_ref_t = internal::un_ref_helper<T>::type;
+
+#define AslMove(expr_) (static_cast<::asl::as_rref_t<::asl::un_ref_t<decltype(expr_)>>>(expr_))
+#define AslForward(expr_) (static_cast<::asl::as_rref_t<decltype(expr_)>>(expr_))
} // namespace asl
|