могут ли функторы, вызываемые из алгоритмов, действующих на карте, принимать пару‹K, V› вместо value_type?

Я попытался написать короткую функцию для инвертирования std::map<K, V> (я знаю о boost.bimap, это для самообразования) и, к моему удивлению, обнаружил, что код, принятый GCC 4.4 с настройками -pedantic -ansi, был отклонен как const-incorrect SunCC (5.8, 2005 г.).

Поскольку value_type равно std::pair<const K, V>, SunCC настояла на том, чтобы я уточнил тип K в аргументах функций, которые передаются в transform() и for_each(), и в типе возвращаемого значения, которое должно быть передано в std::inserter, насколько я могу судить, это может быть прав? Какой компилятор соответствовал стандартам?

#include <iostream>
#include <iterator>
#include <map>
#include <string>
#include <algorithm>
template<typename K, typename V>
std::pair<V, K> flip_pair(const std::pair<K, V>& p) // GCC/MSVC
//std::pair<const V, K> flip_pair(const std::pair<const K, V>& p) // SunCC
{
     return std::make_pair(p.second, p.first); // GCC/MSVC
//     return std::pair<const V, K>(p.second, p.first); // SunCC
}
template<typename K, typename V>
std::multimap<V, K> invert_map(const std::map<K, V>& in)
{
     std::multimap<V, K> out;
     transform(in.begin(), in.end(), std::inserter(out, out.begin()),
               flip_pair<K, V>);
     return out;
}
void print_pair(const std::pair<int, std::string>& p) // GCC/MSVC
//void print_pair(const std::pair<const int, std::string>& p) // SunCC
{
        std::cout << p.first << '\t' << p.second << '\n';
}
int main()
{
     std::map<std::string, int> map;
     map["foo"] = 1; map["bar"] = 2; map["baz"] = 3;
     std::multimap<int, std::string> revmap = invert_map(map);
     for_each(revmap.begin(), revmap.end(), print_pair);
}