]> gcc.gnu.org Git - gcc.git/commit
libstdc++: Constrain three-way comparison for std::optional [PR 98842]
authorJonathan Wakely <jwakely@redhat.com>
Mon, 7 Jun 2021 12:02:15 +0000 (13:02 +0100)
committerJonathan Wakely <jwakely@redhat.com>
Mon, 7 Jun 2021 14:45:14 +0000 (15:45 +0100)
commitadec14811714e22a6c1f7f0199adc05370f0d8b0
treeacb3e4c20ae53a19daa2b81b7d86e2b619b934d1
parentf0d1a675e0f621fc12c7a9db47446ae38289408a
libstdc++: Constrain three-way comparison for std::optional [PR 98842]

The operator<=>(const optional<T>&, const U&) operator is supposed to be
constrained with three_way_comparable_with<U, T> so that it can only be
used when T and U are weakly-equality-comparable and also three-way
comparable.

Adding that constrain completely breaks std::optional comparisons,
because it causes constraint recursion. To avoid that, an additional
check that U is not a specialization of std::optional is needed. That
appears to be a defect in the standard and should be reported to LWG.

Signed-off-by: Jonathan Wakely <jwakely@redhat.com>
libstdc++-v3/ChangeLog:

PR libstdc++/98842
* include/std/optional (operator<=>(const optional<T>& const U&)):
Add missing constraint and add workaround for template
recursion.
* testsuite/20_util/optional/relops/three_way.cc: Check that
type without equality comparison cannot be compared when wrapped
in std::optional.
libstdc++-v3/include/std/optional
libstdc++-v3/testsuite/20_util/optional/relops/three_way.cc
This page took 0.057548 seconds and 6 git commands to generate.