Zuordnung und Referenz Initialisierung von einem temporären

Question

nehme ich habe folgendes:

boost::unordered_map< string , someValueType > map; 
someValueType& value = map[ "key" ] = someValueType(); 

die letzte Zeile enthält:

• eine temporäre konstruiert Instanz someValueType
• eine Zuweisung der temporären in eine neuer Karteneintrag
• Initialisierung eines Verweises auf den Karteneintrag

also, wenn nächste Zeile ist:

value.someProperty = 42; 

dies wird versuchen, die Karte Eintrag rechts zu ändern? nicht das ursprüngliche temporäre?

Ich weiß in diesem Fall, wenn die Referenz ein temporäres nicht dauern konnte, weil es nicht const ist (so ein Compiler-Fehler oder die Abwesenheit von einem würde meine Frage beantworten), aber wenn ich das const zur Referenzdeklaration hinzufüge, Ich bin mir nicht sicher, was die Bewertungsregeln in diesem Fall sagen würden

Answer 1

Das stimmt. Sie haben eine Initialisierung mit einem Zuweisungsausdruck auf der rechten Seite:

someValueType & value = (map["key"] = someValueType()); 

In der Tat ist dies gleichbedeutend mit:

someValueType & value = map["key"]; 

Dies liegt daran, das [] -Operator ein neues Element erzeugt, wenn man nicht tut existiert bereits für diesen Schlüssel.

Das Binden des Karteneintrags an eine Konstante const macht keinen Unterschied. Allerdings, wenn Sie wissen, dass der Schlüssel ist garantiert existieren, dann können Sie eine konstante Referenz auf den zugeordneten Wert binden, auch wenn Sie nur einen konstanten Verweis auf die Karte selbst haben:

void (MapType const & m) 
{ 
    someValueType const & = m.find("key")->second; 
} 

Dies wäre ein Fehler von Natürlich, wenn der Schlüssel nicht existiert, da Sie den End-Iterator dereferenzieren würden.