From: Patrick Palka Date: Fri, 28 Feb 2025 15:15:45 +0000 (-0500) Subject: libstdc++: Improve optional's <=> constraint recursion workaround [PR104606] X-Git-Tag: basepoints/gcc-16~1795 X-Git-Url: http://git.ipfire.org/?a=commitdiff_plain;h=815f1f27a1dba2f0acd1f02d0beafedadebe967c;p=thirdparty%2Fgcc.git libstdc++: Improve optional's <=> constraint recursion workaround [PR104606] It turns out the reason the behavior of this testcase changed after CWG 2369 is because validity of the substituted return type is now checked later, after constraints. So a more reliable workaround for this issue is to add a constraint to check the validity of the return type earlier, matching the pre-CWG 2369 semantics. PR libstdc++/104606 libstdc++-v3/ChangeLog: * include/std/optional (operator<=>): Revert r14-9771 change. Add constraint checking the validity of the return type compare_three_way_result_t before the three_way_comparable_with constraint. Reviewed-by: Jonathan Wakely --- diff --git a/libstdc++-v3/include/std/optional b/libstdc++-v3/include/std/optional index 832dc6fd84b..a616dc07b10 100644 --- a/libstdc++-v3/include/std/optional +++ b/libstdc++-v3/include/std/optional @@ -1685,7 +1685,8 @@ _GLIBCXX_BEGIN_NAMESPACE_VERSION template requires (!__is_derived_from_optional<_Up>) - && three_way_comparable_with<_Up, _Tp> + && requires { typename compare_three_way_result_t<_Tp, _Up>; } + && three_way_comparable_with<_Tp, _Up> constexpr compare_three_way_result_t<_Tp, _Up> operator<=> [[nodiscard]] (const optional<_Tp>& __x, const _Up& __v) { return bool(__x) ? *__x <=> __v : strong_ordering::less; }