Warum Kann ich nicht speichern Verweise in einem " std::map` in C++?

Ich verstehen, dass Referenzen sind keine Zeiger, sondern ein alias für ein Objekt. Aber ich verstehe immer noch nicht was genau bedeutet das für mich als Programmierer, also was sind Referenzen unter der Haube?

Ich denke, der beste Weg, dies zu verstehen wäre, zu verstehen, warum es ist, kann ich nicht speichern eine Referenz in einer Karte.

Ich weiß, ich muss aufhören zu denken von Referenzen als syntactic Sugar über Zeiger, nur nicht genau wie :/

  • Glaube nicht, dass Referenzen, die als eingeschränkte Zeiger. Denken Sie an Sie als alias für bestehende Objekte, die nicht erlaubt sein, Links hängen.
InformationsquelleAutor ng5000 | 2009-10-09
  1. 27

    So ist, wie ich es verstehe, Verweise implementiert werden, die als Zeiger unter der Haube. Der Grund, warum Sie kann nicht speichern Sie Sie in einer Karte ist eine rein semantische, und Sie müssen initialisiert werden Referenz, wenn es erstellt wurde, und Sie können es nicht ändern, danach nicht mehr. Diese nicht-mesh mit, wie die Karte funktioniert.

    • Glaubst du, Referenzen nehmen jede "Erinnerung"? Ich weiß, Zeiger tun.
    • ja, das tun Sie. In den generierten Assembler-code realisiert werden Sie als Zeiger.
    • Es wird ausdrücklich nicht spezifiziert in der Norm, ob Sie die Speicherung oder nicht. In der Regel tun Sie, aber manchmal kann es optimiert werden entfernt.
    InformationsquelleAutor Sebastiaan M
  2. 22

    Sollten Sie denken, der eine Referenz als "const-Zeiger auf non-const-Objekt':

    MyObject& ~~ MyObject * const

    Darüber hinaus eine Referenz kann nur gebaut werden, weil ein alias von etwas, was vorhanden ist (Sie ist nicht notwendig für einen Zeiger, obwohl ratsam, abgesehen von NULL). Dies gilt nicht garantieren, dass das Objekt bleiben (und in der Tat haben Sie vielleicht einen Kern beim Zugriff auf ein Objekt über eine Referenz, wenn es keine mehr), sollten Sie diese-code:

    //Falsifying a reference
MyObject& firstProblem = *((MyObject*)0);
firstProblem.do(); //undefined behavior

//Referencing something that exists no more
MyObject* anObject = new MyObject;
MyObject& secondProblem = *anObject;
delete anObject;
secondProblem.do(); //undefined behavior

    Nun, es gibt zwei Anforderungen für einen STL-container:

    • T müssen Standard-baubar (Verweis nicht)
    • T müssen zuweisbar (Sie können Sie nicht zurücksetzen einer Referenz, obwohl Sie zuweisen können, um seine Schiedsrichter)

    So, in STL-Containern, die Sie verwenden müssen, proxys oder Zeiger.

    Nun, mit Zeigern könnte sich als problematisch für die Handhabung des Speichers, so können Sie:

    NICHT verwenden auto_ptr, es gibt ein problem mit der Zuordnung, da es ändert die Rechte operand.

    Hoffe es hilft 🙂

    • Kleiner Punkt: Dieser MyObject& firstProblem = *((MyObject*)0); ist bereits zu undefiniertem Verhalten (du bist nicht initalizing die Referenz mit einem gültigen Objekt) und damit dies allein ist nach dem C++ - standard, erlaubt formatieren Sie Ihre Festplatte oder andere schlimme Dinge zu Ihnen. (Nasen-Dämonen, anyone?) Aber das ist nur ein sehr kleiner Punkt und auch sonst für Ihre ausgezeichnete Antwort. +1
    • Ein weiterer kleiner Punkt: es scheint mir, dass Standard-constructibility ist nicht Voraussetzung (außer einige Methoden verwenden Sie die Standard gebaut-Instanz für das Standard-argument). (20.1.4.1) ich denke, du meintest kopieren-bebaubar.
    • Genau, für STL-container, in der Regel ist es nicht nötig ist (konzeptionell). Für eine Karte, nicht mit einer Standard-Baubar Wert ungültig machen würden die Nutzung der Abonnement-operator (-> operator[]) obwohl... und ich persönlich bekomme eine Fehlermeldung in VC++2008, wenn ich versuche, eine Art, die nicht standardmäßig baubar: "error C2512: 'Spezial::Spezial' : kein geeigneter Standardkonstruktor verfügbar"
    InformationsquelleAutor Matthieu M.
  3. 7

    Dem wichtigen Unterschied, abgesehen von der syntaktischen Zucker ist, dass Verweise nicht geändert werden, verweisen auf ein anderes Objekt als der, den Sie initialisiert wurden mit. Dies ist der Grund, warum Sie nicht gespeichert werden können in Karten oder andere Behälter, da die Behälter müssen in der Lage, ändern Sie den Typ des Elements, die Sie enthalten.

    Als eine Darstellung dieses:

    A anObject, anotherObject;
A *pointerToA=&anObject;
A &referenceToA=anObject;

//We can change pointerToA so that it points to a different object
pointerToA=&anotherObject;

//But it is not possible to change what referenceToA points to.
//The following code might look as if it does this... but in fact,
//it assigns anotherObject to whatever referenceToA is referring to.
referenceToA=anotherObject;
//Has the same effect as
//anObject=anotherObject;
    • Das klingt gut zu mir, außer für die "Container müssen in der Lage, ändern Sie den Typ des Elements, die Sie enthalten." Dies macht es klingen wie die Karte muss in der Lage sein, um die Daten zu ändern geben, die es speichert, in der Erwägung, dass wirklich er muss nur in der Lage, ändern Sie die "element" selbst.
    InformationsquelleAutor Martin B
  4. 3

    tatsächlich können Sie die Referenzen in einer Karte. ich weiß nicht empfehlen diese für große Projekte, als es könnte Ursache seltsame Zusammenstellung Fehler, aber:

        map<int, int&> no_prob;
    int refered = 666;
    no_prob.insert(std::pair<int, int&>(0, refered)); //works
    no_prob[5] = 777; //wont compile!!! 
    //builds default for 5 then assings which is a problem
    std::cout << no_prob[0] << std::endl; //still a problem
    std::cout << no_prob.at(0) << std::endl; //works!!

    so können Sie anzeigen, aber es wird schwierig sein, zu garantieren, es wird richtig verwendet, aber ich habe diese für kleine codes (in der Regel wettbewerbsfähig) codes

    InformationsquelleAutor Eytan
  5. 1

    Einen container speichert eine Referenz hat zu initialisieren, das alle seine Elemente als konstruiert und ist daher weniger nützlich.

    struct container
{
   string& s_;           //string reference
};

int main()
{
   string s { "hello" };
   //container {};       //error - object has an uninitialized reference member
   container c { s };    //Ok
   c.s_ = "bye";
   cout << s;            //prints bye
}

    Auch, einmal initialisiert den Speicher für den container-Elemente können nicht geändert werden. s_ wird immer beziehen sich auf die Lagerung von s oben.

    InformationsquelleAutor tcb
  6. 0

    Diesem Beitrag wird erläutert, wie Zeiger implementiert sind unter der Haube - http://www.codeproject.com/KB/cpp/References_in_c__.aspx, die auch unterstützt sebastians Antwort.

    • Es gibt ein paar Fehler mit dem referenzierten Dokument. Zum einen Verweise sind nicht notwendigerweise konstanter Pointer (kann umgesetzt werden, dass Art und Weise). Sehen jefito die Kommentare unten.
    InformationsquelleAutor Chethan Ravindranath
Schreibe einen Kommentar