More work on refs

2 files changed, 34 insertions, 12 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

 
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; }