working on -> for ref

Author: ConorWilliams

include/libfork/ev.hpp

@@ -69,6 +69,13 @@ class ev<T> : detail::immovable<ev<T>> {
   [[nodiscard]] constexpr auto operator->(this Self &self)
       LF_HOF_RETURNS(std::addressof(self.m_value))
 
+  // TODO: support oprator->() for this&& self param
+
+  // [[nodiscard]] constexpr auto operator->() noexcept -> T * { return std::addressof(m_value); }
+  // [[nodiscard]] constexpr auto operator->() const noexcept -> T * {
+  //   return std::addressof(m_value);
+  // }
+
  private:
   constexpr auto get() & -> T * { return std::addressof(m_value); }
 
@@ -87,6 +94,14 @@ class ev<T> {
     return std::forward_like<Self>(*self.m_ptr);
   }
 
+  [[nodiscard]] constexpr auto operator->() noexcept -> std::remove_reference_t<T> * {
+    return m_ptr;
+  }
+
+  [[nodiscard]] constexpr auto operator->() const noexcept -> std::remove_reference_t<T> const * {
+    return m_ptr;
+  }
+
  private:
   std::add_pointer_t<std::remove_reference_t<T>> m_ptr;
 };

test/src/test_ev.cpp

@@ -51,11 +51,13 @@ TEMPLATE_TEST_CASE("Ev operator *", "[ev]", nt, int, int &, int &&, int const &,
   static_assert(std::same_as<decltype(*std::move(cval)), U const &&>);
 }
 
-TEMPLATE_TEST_CASE("Eventually operator ->", "[ev]", nt, int) {
+TEMPLATE_TEST_CASE("Eventually operator ->", "[ev]", nt, int, int &) {
+
+  using U = std::remove_reference_t<TestType>;
 
   lf::ev<TestType> val{};
-  static_assert(std::same_as<decltype(val.operator->()), TestType *>);
+  static_assert(std::same_as<decltype(val.operator->()), U *>);
 
   lf::ev<TestType> const cval{};
-  static_assert(std::same_as<decltype(cval.operator->()), TestType const *>);
+  static_assert(std::same_as<decltype(cval.operator->()), U const *>);
 }