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

Question

Я попытался написать короткую функцию, чтобы инвертировать std::map<K, V> (я знаю об boost.bimap, это для самообразования), и, к моему удивлению, я нашел, что код, который GCC 4.4 принял с помощью -pedantic -ansi settings, был отклонен как const-неправильный 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); 
} 

Answer 1

Visual C++ и g ++ верны; этот код (с flip_pair<K, V>() с const std::pair<K, V>&) в порядке.

Внутри transform, flip_pair<K, V> вызывается. Поскольку объект, передаваемый этой функции, является pair<const K, V>, создается временный объект типа pair<K, V> (pair имеет конвертирующий конструктор, который позволяет конвертировать один тип пары в другой, если типы и .second являются конвертируемыми).

Это временное сообщение передано flip_pair<K, V>(), воспользовавшись тем, что ссылка const может быть привязана к временному.