feat(arrow-operator)

Author: c0nstexpr

include/stdsharp/default_operator.h

@@ -28,7 +28,7 @@ namespace stdsharp
     };
 
     template<typename T>
-    class default_arithmetic_operation : default_increase_and_decrease<T>
+    class default_arithmetic_operator : default_increase_and_decrease<T>
     {
         friend constexpr T& operator++(T& t) noexcept(noexcept(t += 1))
             requires requires { t += 1; }
@@ -72,4 +72,20 @@ namespace stdsharp
             return 0 - t;
         };
     };
+
+    template<typename T>
+    class default_arrow_operator
+    {
+        [[nodiscard]] constexpr decltype(auto) operator->() const noexcept(noexcept(*static_cast<const T&>(*this)))
+            requires dereferenceable<const T&>
+        {
+            return *static_cast<const T&>(*this);
+        }
+
+        [[nodiscard]] constexpr decltype(auto) operator->() noexcept(noexcept(*static_cast<T&>(*this)))
+            requires dereferenceable<T&>
+        {
+            return *static_cast<T&>(*this);
+        }
+    };
 }

include/stdsharp/filesystem/filesystem.h

@@ -14,7 +14,7 @@ namespace stdsharp::filesystem
 
     template<typename Rep, std::uintmax_t Num, std::uintmax_t Denom>
     class space_size<Rep, std::ratio<Num, Denom>> :
-        default_arithmetic_operation<space_size<Rep, std::ratio<Num, Denom>>>
+        default_arithmetic_operator<space_size<Rep, std::ratio<Num, Denom>>>
     {
     public:
         using rep = Rep;

include/stdsharp/memory/launder_iterator.h

@@ -9,7 +9,7 @@ namespace stdsharp
 {
     template<typename T> // NOLINTBEGIN(*-pointer-arithmetic)
     class launder_iterator :
-        default_arithmetic_operation<launder_iterator<T>>,
+        default_arithmetic_operator<launder_iterator<T>>,
         public std::random_access_iterator_tag
     {
         T* ptr_;