Я ищу самое высокое значение ключа (определенное оператором сравнения) std :: map.

Это гарантированно будет

map.rbegin()->first

?

(Я немного неуверен в обратных итераторах, и сколько свободы есть в реализации std :: map)

Если нет, пожалуйста, сообщите. Я не могу изменить структуру данных.