Checks whether the given type is comparable via operator == and != and has noexcept specifier. More...

#include <stl_extensions.hpp>

Concept definition

template<class T>
concept sl::concepts::nothrow_weakly_equality_comparable =  weakly_equality_comparable<T>
                                                && requires(const std::remove_cvref_t<T>& t)
                                                {
                                                    { t == t } noexcept -> std::convertible_to<bool>;
                                                    { t != t } noexcept -> std::convertible_to<bool>;
                                                }

Detailed Description

Checks whether the given type is comparable via operator == and != and has noexcept specifier.

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

See also: https://en.cppreference.com/w/cpp/concepts/equality_comparable

Template Parameters

T	The type to check.