From 4698812fdc2d9eeea03f26307d6e7e626aaec12b Mon Sep 17 00:00:00 2001
From: Steven Le Rouzic <steven.lerouzic@gmail.com>
Date: Wed, 31 Jul 2024 00:27:41 +0200
Subject: More work on refs

---
 .bazelrc                 |  2 ++
 asl/meta/types.hpp       | 26 ++++++++++++++++++++++++--
 asl/meta/types_tests.cpp | 20 ++++++++++----------
 3 files changed, 36 insertions(+), 12 deletions(-)

diff --git a/.bazelrc b/.bazelrc
index 8fa0ff2..356c0c2 100644
--- a/.bazelrc
+++ b/.bazelrc
@@ -3,3 +3,5 @@ build --cxxopt=-Wall
 build --cxxopt=-Wno-c++98-compat
 build --cxxopt=-Wno-c++98-compat-pedantic
 build --cxxopt=-Wno-pre-c++17-compat
+build --cxxopt=-Wno-c++20-compat
+build --cxxopt=-Wno-unused-macros
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
 
diff --git a/asl/meta/types_tests.cpp b/asl/meta/types_tests.cpp
index cab9118..2e3de25 100644
--- a/asl/meta/types_tests.cpp
+++ b/asl/meta/types_tests.cpp
@@ -2,15 +2,15 @@
 
 using namespace asl;
 
-static_assert(referenceable<int>);
-static_assert(referenceable<int&>);
-static_assert(referenceable<int&&>);
-static_assert(!referenceable<void>);
-static_assert(referenceable<void*>);
-static_assert(referenceable<void()>);
-static_assert(referenceable<void(*)()>);
-static_assert(!referenceable<void() const>);
-static_assert(!referenceable<void() &>);
-static_assert(!referenceable<void() const &&>);
+static_assert(is_referenceable<int>);
+static_assert(is_referenceable<int&>);
+static_assert(is_referenceable<int&&>);
+static_assert(!is_referenceable<void>);
+static_assert(is_referenceable<void*>);
+static_assert(is_referenceable<void()>);
+static_assert(is_referenceable<void(*)()>);
+static_assert(!is_referenceable<void() const>);
+static_assert(!is_referenceable<void() &>);
+static_assert(!is_referenceable<void() const &&>);
 
 int main() { return 0; }
-- 
cgit