Последний ключ в станд.:: карта

Да. Карта является отсортированным контейнером, обратный итератор должен возвратить элементы наоборот (т.е. уменьшающийся) порядок их ключей.

[Редактирование: как Charles Bailey указывает в своем ответе, Ваш код дает самый большой ключ , если это существует - т.е. если карта непуста]