More work on refs

This commit is contained in:
2024-07-31 00:27:41 +02:00
parent 9289f825f4
commit 4698812fdc
3 changed files with 36 additions and 12 deletions

View File

@ -3,3 +3,5 @@ build --cxxopt=-Wall
build --cxxopt=-Wno-c++98-compat build --cxxopt=-Wno-c++98-compat
build --cxxopt=-Wno-c++98-compat-pedantic build --cxxopt=-Wno-c++98-compat-pedantic
build --cxxopt=-Wno-pre-c++17-compat build --cxxopt=-Wno-pre-c++17-compat
build --cxxopt=-Wno-c++20-compat
build --cxxopt=-Wno-unused-macros

View File

@ -5,10 +5,32 @@ namespace asl {
template<typename T> using void_t = void; template<typename T> using void_t = void;
template<typename T, typename = void> template<typename T, typename = void>
inline constexpr bool referenceable = false; inline constexpr bool is_referenceable = false;
template<typename T> 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 } // namespace asl

View File

@ -2,15 +2,15 @@
using namespace asl; using namespace asl;
static_assert(referenceable<int>); static_assert(is_referenceable<int>);
static_assert(referenceable<int&>); static_assert(is_referenceable<int&>);
static_assert(referenceable<int&&>); static_assert(is_referenceable<int&&>);
static_assert(!referenceable<void>); static_assert(!is_referenceable<void>);
static_assert(referenceable<void*>); static_assert(is_referenceable<void*>);
static_assert(referenceable<void()>); static_assert(is_referenceable<void()>);
static_assert(referenceable<void(*)()>); static_assert(is_referenceable<void(*)()>);
static_assert(!referenceable<void() const>); static_assert(!is_referenceable<void() const>);
static_assert(!referenceable<void() &>); static_assert(!is_referenceable<void() &>);
static_assert(!referenceable<void() const &&>); static_assert(!is_referenceable<void() const &&>);
int main() { return 0; } int main() { return 0; }