Mengapa saya tidak bisa membuat vektor referensi?

Ketika saya melakukan ini:

std::vector<int> hello;

Semuanya bekerja dengan baik. Namun, ketika saya menjadikannya sebagai vektor referensi:

std::vector<int &> hello;

Saya mendapatkan kesalahan mengerikan seperti

kesalahan C2528: 'pointer': pointer ke referensi adalah ilegal

Saya ingin meletakkan banyak referensi untuk struct ke dalam vektor, sehingga saya tidak perlu ikut campur dengan pointer. Mengapa vektor membuat ulah tentang ini? Apakah satu-satunya pilihan saya untuk menggunakan vektor pointer?

Jenis komponen wadah seperti vektor harus dialihkan . Referensi tidak dapat ditugaskan (Anda hanya dapat menginisialisasi sekali ketika mereka dideklarasikan, dan Anda tidak dapat membuatnya referensi lain nanti). Jenis lain yang tidak dapat ditentukan juga tidak diizinkan sebagai komponen wadah, misalnya vector<const int>tidak diizinkan.

ya Anda bisa, mencari std::reference_wrapper, yang meniru referensi tetapi dapat ditugaskan dan juga dapat "diulang"

Sesuai sifatnya, referensi hanya dapat ditetapkan pada saat mereka dibuat; yaitu, dua baris berikut memiliki efek yang sangat berbeda:

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

Lebih lanjut, ini ilegal:

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

Namun, saat Anda membuat vektor, tidak ada cara untuk menetapkan nilai pada item-item itu saat dibuat. Anda pada dasarnya hanya membuat sejumlah contoh terakhir.

Ion Todirel sudah menyebutkan jawaban yang YA gunakan std::reference_wrapper. Karena C ++ 11 kami memiliki mekanisme untuk mengambil objek dari std::vector dan menghapus referensi dengan menggunakan std::remove_reference. Di bawah ini diberikan contoh dikompilasi menggunakan g++dan clangdengan opsi
-std=c++11dan berhasil dijalankan.

#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";
    }             
}

boost::ptr_vector<int> akan bekerja.

Sunting: adalah saran untuk digunakan std::vector< boost::ref<int> >, yang tidak akan berfungsi karena Anda tidak dapat membuat-default a boost::ref.

Ini cacat dalam bahasa C ++. Anda tidak dapat mengambil alamat referensi, karena mencoba melakukannya akan menghasilkan alamat objek yang dirujuk, dan dengan demikian Anda tidak akan pernah bisa mendapatkan pointer ke referensi. std::vectorbekerja dengan pointer ke elemen-elemennya, sehingga nilai-nilai yang disimpan harus dapat ditunjukkan. Anda harus menggunakan pointer sebagai gantinya.

TL; DR

Gunakan std::reference_wrapperseperti ini:

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

int main()
{
    std::string hello = "Hello, ";
    std::string world = "everyone!";
    typedef std::vector<std::reference_wrapper<std::string>> vec_t;
    vec_t vec = {hello, world};
    vec[1].get() = "world!";
    std::cout << hello << world << std::endl;
    return 0;
}

Demo

Jawaban panjang

Seperti yang disarankan standar , untuk wadah standar yang Xberisi objek bertipe T, Tharus ErasabledariX .

Erasable berarti ungkapan berikut terbentuk dengan baik:

allocator_traits<A>::destroy(m, p)

Aadalah tipe pengalokasi penampung, madalah pengalokasi contoh dan pmerupakan penunjuk tipe *T. Lihat di sini untukErasable definisi.

Secara default, std::allocator<T>digunakan sebagai pengalokasi vektor. Dengan pengalokasi default, persyaratannya setara dengan validitas p->~T()(Perhatikan, Tini adalah tipe referensi dan ppenunjuk ke referensi). Namun, penunjuk ke suatu referensi adalah ilegal , oleh karena itu ungkapannya tidak terbentuk dengan baik.

Seperti yang telah disebutkan, Anda mungkin akan menggunakan vektor pointer saja.

Namun, Anda mungkin ingin mempertimbangkan menggunakan ptr_vector sebagai gantinya!

Seperti komentar lain menyarankan, Anda terbatas menggunakan pointer. Tetapi jika itu membantu, berikut adalah satu teknik untuk menghindari berhadapan langsung dengan petunjuk.

Anda dapat melakukan sesuatu seperti berikut ini:

vector<int*> iarray;
int default_item = 0; // for handling out-of-range exception

int& get_item_as_ref(unsigned int idx) {
   // handling out-of-range exception
   if(idx >= iarray.size()) 
      return default_item;
   return reinterpret_cast<int&>(*iarray[idx]);
}