feat(arrow-operator)

c0nstexpr · c0nstexpr · commit 39dfa1423852 · 2024-02-18T17:30:10.000+08:00
diff --git a/include/stdsharp/default_operator.h b/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);
+        }
+    };
 }
diff --git a/include/stdsharp/filesystem/filesystem.h b/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;
diff --git a/include/stdsharp/memory/launder_iterator.h b/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_;

Original file line number	Diff line number	Diff line change
`@@ -14,7 +14,7 @@ namespace stdsharp::filesystem`
`14`	`14`
`15`	`15`	`template<typename Rep, std::uintmax_t Num, std::uintmax_t Denom>`
`16`	`16`	`class space_size<Rep, std::ratio<Num, Denom>> :`
`17`		`- default_arithmetic_operation<space_size<Rep, std::ratio<Num, Denom>>>`
	`17`	`+ default_arithmetic_operator<space_size<Rep, std::ratio<Num, Denom>>>`
`18`	`18`	`{`
`19`	`19`	`public:`
`20`	`20`	`using rep = Rep;`
Original file line number	Diff line number	Diff line change
`@@ -9,7 +9,7 @@ namespace stdsharp`
`9`	`9`	`{`
`10`	`10`	`template<typename T> // NOLINTBEGIN(*-pointer-arithmetic)`
`11`	`11`	`class launder_iterator :`
`12`		`- default_arithmetic_operation<launder_iterator<T>>,`
	`12`	`+ default_arithmetic_operator<launder_iterator<T>>,`
`13`	`13`	`public std::random_access_iterator_tag`
`14`	`14`	`{`
`15`	`15`	`T* ptr_;`