std::ranges::equal_to

struct equal_to;

Объект-функция для выполнения сравнений. Типы параметров оператора вызова функции (но не тип возвращаемого значения) выводятся из аргументов.

Вложенные типы

Члены-функции

std::ranges::equal_to::operator()

template< class T, class U >
constexpr bool operator()( T&& t, U&& u ) const;

Учитывая выражение std::forward<T>(t) == std::forward<U>(u) как expr:

• Если expr приводит к вызову встроенного оператора равенства для сравнения указателей, учитывая составной тип указателя для t и u как P:
• Для двух преобразованных указателей (типа P), если один указатель предшествует другому в определяемом реализацией строгом полном порядке указателей, возвращает false, в противном случае возвращает true.
• Если последовательность преобразования из T в P или из U в P не является сохраняющей равенство, поведение не определено.
• В противном случае:
• Возвращает результат expr.
• Если std::equality_comparable_with<T, U> не моделируется, поведение не определено.

Этот перегруз участвует в разрешении перегрузки только если выполняется std::equality_comparable_with<T, U>.

Примечания

По сравнению с std::equal_to, std::ranges::equal_to дополнительно требует, чтобы != был допустимым, и что оба типа аргументов должны быть сравнимы друг с другом (однородно) (через ограничение equality_comparable_with).

Пример

Отчёты об ошибках

Следующие отчёты об ошибках, изменяющие поведение, были применены ретроактивно к ранее опубликованным стандартам C++.

См. также