Merge pull request #100 from steve-downey/dup-funcs

Remove redundant overloads on is_convertible
bemanproject · Jan 18, 2025 · b383b1a · b383b1a
2 parents 2f944fa + cb33563
commit b383b1a
Showing 1 changed file with 6 additions and 52 deletions.
diff --git a/include/beman/optional26/optional.hpp b/include/beman/optional26/optional.hpp
@@ -276,29 +276,15 @@ class optional {
 
     template <class U>
     constexpr explicit(!std::is_convertible_v<U, T>) optional(const optional<U>& rhs)
-        requires(!std::is_reference_v<U> && detail::enable_from_other<T, U, const U&> &&
-                 std::is_convertible_v<const U&, T>);
-
-    template <class U>
-    constexpr explicit(!std::is_convertible_v<U, T>) optional(const optional<U>& rhs)
-        requires(!std::is_reference_v<U> && detail::enable_from_other<T, U, const U&> &&
-                 !std::is_convertible_v<const U&, T>);
+        requires(!std::is_reference_v<U> && detail::enable_from_other<T, U, const U&>);
 
     template <class U>
     constexpr explicit(!std::is_convertible_v<U, T>) optional(optional<U>&& rhs)
-        requires(!std::is_reference_v<U> && detail::enable_from_other<T, U, U &&> && std::is_convertible_v<U &&, T>);
-
-    template <class U>
-    constexpr explicit(!std::is_convertible_v<U, T>) optional(optional<U>&& rhs)
-        requires(!std::is_reference_v<U> && detail::enable_from_other<T, U, U &&> && !std::is_convertible_v<U &&, T>);
-
-    template <class U>
-    constexpr explicit(!std::is_convertible_v<U&, T>) optional(const optional<U&>& rhs)
-        requires(detail::enable_from_other<T, U&, U&> && std::is_convertible_v<U&, T>);
+        requires(!std::is_reference_v<U> && detail::enable_from_other<T, U, U &&>);
 
     template <class U>
     constexpr explicit(!std::is_convertible_v<U&, T>) optional(const optional<U&>& rhs)
-        requires(detail::enable_from_other<T, U&, U&> && !std::is_convertible_v<U&, T>);
+        requires(detail::enable_from_other<T, U&, U&>);
 
     // \ref{optional.dtor}, destructor
     constexpr ~optional()
@@ -477,19 +463,7 @@ inline constexpr optional<T>::optional(U&& u)
 template <class T>
 template <class U>
 inline constexpr optional<T>::optional(const optional<U>& rhs)
-    requires(!std::is_reference_v<U> && detail::enable_from_other<T, U, const U&> &&
-             std::is_convertible_v<const U&, T>)
-{
-    if (rhs.has_value()) {
-        construct(*rhs);
-    }
-}
-
-template <class T>
-template <class U>
-inline constexpr optional<T>::optional(const optional<U>& rhs)
-    requires(!std::is_reference_v<U> && detail::enable_from_other<T, U, const U&> &&
-             !std::is_convertible_v<const U&, T>)
+    requires(!std::is_reference_v<U> && detail::enable_from_other<T, U, const U&>)
 {
     if (rhs.has_value()) {
         construct(*rhs);
@@ -500,37 +474,17 @@ inline constexpr optional<T>::optional(const optional<U>& rhs)
 template <class T>
 template <class U>
 inline constexpr optional<T>::optional(optional<U>&& rhs)
-    requires(!std::is_reference_v<U> && detail::enable_from_other<T, U, U &&> && std::is_convertible_v<U &&, T>)
+    requires(!std::is_reference_v<U> && detail::enable_from_other<T, U, U &&>)
 {
     if (rhs.has_value()) {
         construct(std::move(*rhs));
     }
 }
 
-template <class T>
-template <class U>
-inline constexpr optional<T>::optional(optional<U>&& rhs)
-    requires(!std::is_reference_v<U> && detail::enable_from_other<T, U, U &&> && !std::is_convertible_v<U &&, T>)
-{
-    if (rhs.has_value()) {
-        construct(std::move(*rhs));
-    }
-}
-
-template <class T>
-template <class U>
-inline constexpr optional<T>::optional(const optional<U&>& rhs)
-    requires(detail::enable_from_other<T, U&, U&> && std::is_convertible_v<U&, T>)
-{
-    if (rhs.has_value()) {
-        construct(*rhs);
-    }
-}
-
 template <class T>
 template <class U>
 inline constexpr optional<T>::optional(const optional<U&>& rhs)
-    requires(detail::enable_from_other<T, U&, U&> && !std::is_convertible_v<U&, T>)
+    requires(detail::enable_from_other<T, U&, U&>)
 {
     if (rhs.has_value()) {
         construct(*rhs);