Bind const std :: pair <T, U> & to value of std :: pair <const T, U>

Question

Этот фрагмент кода компилируется с очень важным предупреждением.

#include <map> 
#include <vector> 

template <typename iterator> 
const std::pair<int, float> &foo(iterator it) { 
    return *it; 
} 

int main() { 
    std::vector<std::pair<int, float>> vector; 
    std::map<int, float> map; 
    vector.push_back(std::make_pair(0, 0.0)); 
    map.insert(std::make_pair(0, 0.0)); 
    const std::pair<int, float> &r1 = foo(vector.begin()); 
    const std::pair<int, float> &r2 = foo(map.begin()); 
    if (r1 != r2) { 
    return 1; 
    } 
    return 0; 
} 

Существует неявное преобразование из std::pair<const int, float> в std::pair<int, float> во foo(map.begin()), что создает оборванную ссылку.

ref2.cpp: In instantiation of ‘const std::pair<int, float>& foo(iterator) [with iterator = std::_Rb_tree_iterator<std::pair<const int, float> >]’: 
ref2.cpp:16:52: required from here 
ref2.cpp:7:11: warning: returning reference to temporary [-Wreturn-local-addr] 
    return *it; 
      ^~ 

Мы могли бы настроить тип r2 для std::pair<const int, float> в этом случае. Тем не менее, в общем случае было бы полезно назначить результаты двух вызовов foo() для сопоставления типов. Например, вызов foo() может быть завернут в другую функцию, которая всегда возвращает std::pair<int, float>&.

Может ли задание ссылки выполняться таким образом, чтобы он работал вокруг смещения константных модификаторов?

Answer 1

Редактировать

вопрос действительно о том, чтобы std::pair<K,V> работу с std::pair<const K,V>; vector<> и map<> - красные сельди. (В частности, смотрите обсуждение here о том, почему в std::map<>ключ является const.)

Лучше пример кода может быть:

#include <vector> 

template <typename iterator> 
const std::pair<const int, float>& bar(iterator it) 
{ 
    return *it; 
} 

int main() 
{ 
    const std::vector<std::pair<const int, float>> v1{ std::make_pair(0, 0.0f) }; 
    bar(v1.begin()); 

    const std::vector<std::pair<int, float>> v2{ std::make_pair(0, 0.0f) }; 
    bar(v2.begin()); 

    return 0; 
} 

---

В соответствии с вашими комментариями, что вы на самом деле пытаясь выяснить, как сделать так, чтобы итератор std::map<> работал как std::vector<>; результат должен быть std::pair<> в обоих случаях, а не std::pair<const int, ...>.

С этим я написал этот взлом; Я уверен, что у него есть проблемы, и/или могут быть улучшены:

const auto& remove_const(const std::pair<const int, float>& p) { 
    return reinterpret_cast<const std::pair<int, float>&>(p); // :-(
} 

template <typename iterator> 
const std::pair<int, float> &foo(iterator it) { 
    return remove_const(*it); 
} 

Answer 2

Вы можете изменить:

template <typename iterator> 
const std::pair<int, float> &foo(iterator it) { 
    return *it; 
} 

к:

template <typename iterator> 
decltype(auto) foo(iterator it) { 
    return *it; 
} 

это требует C++ 14, чтобы остаться с использованием C++ 11:

auto foo(iterator it) -> decltype(*it) {