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 приводит к вызову встроенного operator== для сравнения указателей, при этом составной тип указателя для 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++.

См. также