Я хотел бы пояснить стандарт C ++, в частности, где говорится (моя интерпретация) в разделе 20.1.3, что «для класса T и экземпляра класса T с именем x, T (x) должен быть эквивалентен x» для класса работать со стандартными контейнерами.
Я не мог найти определение «эквивалент». Означает ли это, что я должен определить operator== как член моего класса, чтобы T(x) == x возвращал истину?
Эквивалент намеренно расплывчатый. (Чтобы избежать таких вещей, как наложение operator== должно быть определено; в общем случае это не так.)
Однако концептуально две вещи эквивалентны, если их данные представляют один и тот же объект. Если в классе есть данные, которые могут отличаться при «копировании», тогда вам нужно сделать operator== (и, возможно, operator< вместе с rel_ops), чтобы убедиться, что "эквивалент" реализован в отношении этого. (По сути, убедитесь, что изменяемые данные не являются «частью класса», так сказать.)
Обычно лучше не идти по этому пути, потому что вам придется исправлять множество вещей, чтобы убедиться, что он работает должным образом. Если что-то нужно скопировать, пусть копируется полностью. В этом гораздо больше смысла.
value_type должен быть частью определенного набора Концепций. Так что да, это налагает концептуальные ограничения на ваши классы в самом буквальном смысле.
- person pmr; 19.07.2010
Это означает, что класс должен быть копируемым.
И что конструктор копирования создает объект, эквивалентный оригиналу.
Если вы не определите один, компилятор сгенерирует конструктор копии.
Если класс не содержит указателей, в большинстве ситуаций это должно работать нормально.
Примечание: вам не нужно определять "operator =="
