add cv/ref qualifiers to format_typename

Author: TheNumbat

rpp/format.h

@@ -311,6 +311,46 @@ struct Typename {
     }
 };
 
+template<Reflectable T>
+struct Typename<const T> {
+    template<Allocator A>
+    [[nodiscard]] static String<A> name() noexcept {
+        return format<A>("const %"_v, Typename<T>::template name<A>());
+    }
+};
+
+template<Reflectable T>
+struct Typename<volatile T> {
+    template<Allocator A>
+    [[nodiscard]] static String<A> name() noexcept {
+        return format<A>("volatile %"_v, Typename<T>::template name<A>());
+    }
+};
+
+template<Reflectable T>
+struct Typename<const volatile T> {
+    template<Allocator A>
+    [[nodiscard]] static String<A> name() noexcept {
+        return format<A>("const volatile %"_v, Typename<T>::template name<A>());
+    }
+};
+
+template<Reflectable T>
+struct Typename<T&> {
+    template<Allocator A>
+    [[nodiscard]] static String<A> name() noexcept {
+        return format<A>("%&"_v, Typename<T>::template name<A>());
+    }
+};
+
+template<Reflectable T>
+struct Typename<T&&> {
+    template<Allocator A>
+    [[nodiscard]] static String<A> name() noexcept {
+        return format<A>("%&&"_v, Typename<T>::template name<A>());
+    }
+};
+
 template<Reflectable T>
 struct Typename<T*> {
     template<Allocator A>
@@ -392,7 +432,7 @@ struct Typename<T<T0, T1>> {
 
 template<Reflectable T, Allocator A = Mdefault>
 [[nodiscard]] String<A> format_typename() noexcept {
-    return Format::Typename<Decay<T>>::template name<A>();
+    return Format::Typename<T>::template name<A>();
 }
 
 } // namespace rpp

rpp/reflect.h

@@ -351,16 +351,29 @@ constexpr void iterate_record(F&& f, const R& record) noexcept {
 }
 
 template<typename T>
-struct Refl<const T> : Refl<T> {};
+struct Refl<const T> : Refl<T> {
+    using is_const = const T;
+};
 
 template<typename T>
-struct Refl<T&> : Refl<T> {};
+struct Refl<volatile T> : Refl<T> {
+    using is_volatile = volatile T;
+};
 
 template<typename T>
-struct Refl<const T&> : Refl<T> {};
+struct Refl<const volatile T> : Refl<T> {
+    using is_const_volatile = const volatile T;
+};
 
 template<typename T>
-struct Refl<T&&> : Refl<T> {};
+struct Refl<T&> : Refl<T> {
+    using is_lvalue_reference = T&;
+};
+
+template<typename T>
+struct Refl<T&&> : Refl<T> {
+    using is_rvalue_reference = T&&;
+};
 
 template<typename T>
 struct Refl<T*> {

test/format.cpp

@@ -114,6 +114,19 @@ i32 main() {
         info("% %", format_typename<Array<Vec<i32>, 2>>(),
              Array<Vec<i32>, 2>{Vec<i32>{1, 2}, Vec<i32>{3, 4}});
 
+        info("%", format_typename<i32&>());
+        info("%", format_typename<i32&&>());
+        info("%", format_typename<const i32>());
+        info("%", format_typename<const i32&>());
+        info("%", format_typename<const i32&&>());
+        info("%", format_typename<volatile i32>());
+        info("%", format_typename<volatile i32&>());
+        info("%", format_typename<volatile i32&&>());
+        info("%", format_typename<const volatile i32>());
+        info("%", format_typename<const volatile i32&>());
+        info("%", format_typename<const volatile i32&&>());
+        info("%", format_typename<Array<const Slice<volatile Tuple<>>&, 1>>());
+
         {
             Rc<i32> r{5};
             Rc<i32> r2 = r.dup();

test/format.expect

@@ -1,7 +1,7 @@
 [Level::info] %
 [Level::info] true
 [Level::info] false
-[Level::info] i32[] [1, 2]
+[Level::info] i32[2] [1, 2]
 [Level::info] Ints Ints{i : 10, u : 2}
 [Level::info] Kind Kind::enum_
 [Level::info] Hello
@@ -30,7 +30,7 @@
 [Level::info] [0, 0]
 [Level::info] Vec<i32> Vec[1, 2]
 [Level::info] Vec[]
-[Level::info] Slice<i32> Slice[1, 2]
+[Level::info] Slice<const i32> Slice[1, 2]
 [Level::info] Slice[]
 [Level::info] Stack<i32> Stack[1, 2]
 [Level::info] Stack[]
@@ -47,6 +47,18 @@
 [Level::info] Atomic{value_ : 3}
 [Level::info] Vecs{i : Vec[1, 2], u : Vec[3, 4]}
 [Level::info] Array<Vec<i32>, 2> [Vec[1, 2], Vec[3, 4]]
+[Level::info] i32&
+[Level::info] i32&&
+[Level::info] const i32
+[Level::info] const i32&
+[Level::info] const i32&&
+[Level::info] volatile i32
+[Level::info] volatile i32&
+[Level::info] volatile i32&&
+[Level::info] const volatile i32
+[Level::info] const volatile i32&
+[Level::info] const volatile i32&&
+[Level::info] Array<const Slice<volatile Tuple<>>&, 1>
 [Level::info] Rc[2]{5}
 [Level::info] Arc[2]{5}
 [Level::info] Vec2{1.000000, 2.000000}