Здравствуйте, vdimas, Вы писали:

v> Ты намекаешь на отсутствие автоматического распространения константности по указателям и ссылкам?
Я ни на что не намекаю, просто ты теряешь контекст разговора. Моя реплика относится к "хеш-функцию пишется один раз". Нет, не пишется она один раз, т.к. в течение жизни проекта поля в объекте могут меняться и требовать модификаций этой функции.
Впрочем, в java завезли records, которые избавляют от этой необходимости.

v> Гарантии создаёт программист согласно требуемой семантике, разумеется.
v> Разумеется, и в джаве и в плюсах можно обеспечить все требуемые гарантии.
Зачем ты это мне всё рассказываешь? Я указал на ошибку в тезисе T4r4sB: "Как жаба следит чтоб ты не менял ключи хешмап? В С++ есть const. Этого достаточно.". Суть моего тезиса в том, что const не достаточно и в C++ ситуация такая же как и в java — гарантии обеспечивает таки программист.