Warum kann ich keinen Vektor von Referenzen erstellen?

Question

Wenn ich das tue:

std::vector<int> hello;

Alles funktioniert bestens. Allerdings, wenn ich es ein Vektor von Referenzen statt:

std::vector<int &> hello;

Ich erhalte schreckliche Fehler wie

Fehler C2528: 'pointer' : Zeiger auf Referenz ist illegal

Ich möchte eine Reihe von Verweisen auf structs in einen Vektor zu setzen, so dass ich nicht mit Zeigern zu mischen haben. Warum ist vector wirft einen Wutanfall über diese? Ist meine einzige Möglichkeit, stattdessen einen Vektor von Zeigern zu verwenden?

Answer 1

Der Komponententyp von Containern wie Vektoren muss sein zuordenbar . Referenzen sind nicht zuweisbar (sie können nur einmal initialisiert werden, wenn sie deklariert werden, und sie können später nicht auf etwas anderes verweisen). Andere nicht zuweisbare Typen sind ebenfalls nicht als Komponenten von Containern erlaubt, z.B. vector<const int> ist nicht erlaubt.

Answer 2

Ja, das können Sie, suchen Sie nach std::reference_wrapper der eine Referenz nachahmt, aber zuweisbar ist und auch "neu platziert" werden kann

Answer 3

Es liegt in der Natur der Sache, dass Referenzen nur zu dem Zeitpunkt gesetzt werden können, zu dem sie erstellt werden, d.h. die beiden folgenden Zeilen haben sehr unterschiedliche Auswirkungen:

int & A = B;   // makes A an alias for B
A = C;         // assigns value of C to B.

Außerdem ist dies illegal:

int & D;       // must be set to a int variable.

Wenn Sie jedoch einen Vektor erstellen, gibt es keine Möglichkeit, den Elementen bei der Erstellung Werte zuzuweisen. Sie machen im Grunde nur einen ganzen Haufen des letzten Beispiels.

Answer 4

Ion Todirel hat bereits eine Antwort gegeben YES mit std::reference_wrapper . Seit C++11 haben wir einen Mechanismus zum Abrufen von Objekten aus std::vector und entfernen Sie den Verweis, indem Sie std::remove_reference . Im Folgenden wird ein Beispiel aufgeführt, das mit g++ y clang mit Option -std=c++11 und erfolgreich durchgeführt.

    #include <iostream>
    #include <vector>
    #include <functional>

    class MyClass {
    public:
        void func() {
            std::cout << "I am func \n";
        }

        MyClass(int y) : x(y) {}

        int getval() {
            return x;
        }

    private: 
        int x;
    };

    int main() {
        std::vector<std::reference_wrapper<MyClass>> vec;

        MyClass obj1(2);
        MyClass obj2(3);

        MyClass& obj_ref1 = std::ref(obj1);
        MyClass& obj_ref2 = obj2;

        vec.push_back(obj_ref1);
        vec.push_back(obj_ref2);

        for (auto obj3 : vec) {
            std::remove_reference<MyClass&>::type(obj3).func();      
            std::cout << std::remove_reference<MyClass&>::type(obj3).getval() << "\n";
        }             
    }

Answer 5

Das ist ein Fehler in der Sprache C++. Man kann die Adresse eines Verweises nicht übernehmen, da der Versuch, dies zu tun, zur Adresse des Objekts führen würde, auf das verwiesen wird, und somit kann man niemals einen Zeiger auf einen Verweis erhalten. std::vector arbeitet mit Zeigern auf seine Elemente, daher müssen die gespeicherten Werte mit einem Zeiger versehen werden können. Sie werden stattdessen Zeiger verwenden müssen.