Wie weiß das Schlüsselwort 'auto', wann eine Überladungsfunktion für Konstanten verwendet werden muss?

Question

Ich verstehe den Inhalt von this question aber wie funktioniert es, wenn Funktionsüberlastungen verwendet werden?

Zum Beispiel in std::map die folgenden Methoden definiert:

 iterator find (const key_type& k); 
const_iterator find (const key_type& k) const; 

Wie ist es möglich, die eine oder andere mit dem auto Schlüsselwort zu holen? So etwas wie die folgenden scheint nicht richtig zu mir:

auto i = mymap.find(key);  //calls the non-const method? 
const auto i = mymap.find(key); //calls the const method? 

Answer 1

std::map<int, int> mutable_map; 
const std::map<int, int> const_map; 

mutable_map.find(1); // returns iterator 
const_map.find(1); // returns const_iterator 

Sie würden nicht regelmäßig Iterator von einer konstanten map zurückkehren wollen, weil das die Konstantheit untergraben würde. Die einzige Möglichkeit, eine find Member-Funktion zu haben, die vernünftig mit der Konstante maps arbeitet, ist eine const Überladung, die eine const_iterator zurückgibt.

Answer 2

In C++ 14 haben Sie cbegin und cend, um einen Const_iterator Getter zu erzwingen.

Um dasselbe mit den Suchmethoden der Karte zu tun, brauchen Sie const_cast, aber die Syntax ist schrecklich oder ein kleiner Helfer.

#include <iostream> 
#include <map> 

template <typename T> T const & ccast(T const & v) { return v; } 
template <typename T> T const && ccast(T const && v) { return v; } 

int main() { 
    using Map = std::map<int,int>; 
    Map map; 

    static_assert(std::is_same< decltype(map.find(1)), Map::iterator >::value, " mutable map give mutable iterator"); 
    static_assert(std::is_same< decltype(const_cast<Map const&>(map).find(1)), Map::const_iterator >::value, "const map give imutable iterator"); 

    static_assert(std::is_same< decltype(ccast(map).find(1)), Map::const_iterator >::value, "const map give imutable iterator"); 
    static_assert(std::is_same< decltype(ccast(std::move(map)).find(1)), Map::const_iterator >::value, "const map give imutable iterator"); 
} 

Aber für eine Karte, die wandelbar Fund aufrufen und speichern als const iterator bei der Zuordnung der einfachste ist zu beachten, dass es von ihm Iterieren verhindern wird nach diesem

auto const it = map.find(1); 
it++ // compilation error 
std::for_each(it, end(map), /**/); // compilation error too