Структура как ключ в std::map

Вроде как только bool operator<(const Class& another). У меня прокатывало.

== ещё, ну. Если оно не само.

И да, ТС, если тебя задолбает конструировать новый экземпляр ключа для каждого лукапа (такое может быть, если структура у тебя просто объединяет несколько независимых ключей, которые в коде используются по отдельности), то смотри в сторону C++14, N3657 (кажется) и обобщённого std::less<void> (ну и tie/tuple), чтобы не писать бойлерплейт.

Я побаловался, == не вызывалось у меня, вообще.

Гляну. Спасибо.

== ещё, ну. Если оно не само.

операторы «больше» и «равно» выводятся из одного оператора «меньше»

по теме: определи оператор «меньше», либо определи функтор «меньше» и передай в качестве параметра шаблона.

сам шаблон map выглядит так:

template<class Key, class T,
    class Compare = std::less<Key>,
    class Allocator = std::allocator<std::pair<const Key, T> >
> class map;

где в качестве функтора сравнения в смысле «меньше» используется std::less<Key>, который тупо возвращает lsh < rhs, т.е. использует определенный оператор «меньше» для Key

Оно само.

нет, std::map::find и тп работает не через equality (a == b), а через equivalence (!(a < b) && !(b < a)).

оператор == не нужен.

А где почитать, почему оно так? Ведь простое сравнение на равенство должно быть быстрее в большинстве случаев?

А хотя я наверное сам сообразил. Оно же в пробегается по дереву в любом случае сравнивая на больше-меньше для принятия решения о ветвлении.

ага, только сравнивая на меньше (тк, оператор строго больше не выводится из строго меньше).

http://en.cppreference.com/w/cpp/concept/LessThanComparable

http://en.cppreference.com/w/cpp/concept/EqualityComparable

https://en.wikipedia.org/wiki/Weak_ordering#Strict_weak_orderings

Ага. Пасиб за ссылки.

Я про это и написал.

Что само? operator== не генерируется сам.

Один вопрос: зачем тебе это надо?

Садись, два.

И? Он выводится из меньше внутри мапы.

Дунно, на самом деле, что он там имел ввиду в том посте.

Почему два? Equality никогда не генерится в плюсах. Единственное что может произойти, это неявное преобразование к какому-нибудь типу у которого есть такой оператор (ну или free функция).

== не используется. только less

операторы «больше» и «равно» выводятся из одного оператора «меньше»

по теме: определи оператор «меньше», либо определи функтор «меньше» и передай в качестве параметра шаблона.

сам шаблон map выглядит так:

template<class Key, class T, class Compare = std::less<Key>, class Allocator = std::allocator<std::pair<const Key, T> >

class map;

где в качестве функтора сравнения в смысле «меньше» используется std::less<Key>, который тупо возвращает lsh < rhs, т.е. использует определенный оператор «меньше» для Key ege.org.ru ege.net.ru

ege.org.ru ege.net.ru

Катюш, не переживай, на ЕГЭ этого нет