Checks whether a symmetrical set of operator <=> to compare both types with each other with noexcept specifier exists. More...

#include <stl_extensions.hpp>

Concept definition

template<class T1, class T2, class MinimumCategory std::partial_ordering>
concept sl::concepts::nothrow_weakly_three_way_comparable_with = 
        nothrow_weakly_equality_comparable_with<T1, T2>
        && comparison_category<MinimumCategory>
        && requires(const std::remove_reference_t<T1>& t1, const std::remove_reference_t<T2>& t2)
        {
            { t1 <=> t2 } noexcept -> detail::compares_as<MinimumCategory>;
            { t2 <=> t1 } noexcept -> detail::compares_as<MinimumCategory>;
        }

Detailed Description

Checks whether a symmetrical set of operator <=> to compare both types with each other with noexcept specifier exists.

This is a less restrictive version of the std::three_way_comparable_with function, but with additional noexcept check.

See also: https://en.cppreference.com/w/cpp/utility/compare/three_way_comparable

Template Parameters

T1	The first type to check.
T2	The second type to check.
MinimumCategory	The minimum category the comparison has to yield.