Почему я не могу сделать вектор ссылок?

Когда я делаю это:

std::vector<int> hello;

Все отлично работает. Однако, когда я делаю это вектор ссылок вместо этого:

std::vector<int &> hello;

Я получаю ужасные ошибки, такие как

ошибка C2528: указатель: указатель на ссылку недопустим

Я хочу поместить несколько ссылок на структуры в вектор, чтобы мне не приходилось вмешиваться в указатели. Почему вектор вызывает истерику по этому поводу? Является ли мой единственный вариант использовать вместо него вектор указателей?

Тип компонента контейнеров, таких как векторы, должен быть назначаемым . Ссылки не могут быть назначены (вы можете инициализировать их только один раз, когда они объявлены, и вы не можете заставить их ссылаться на что-то другое позже). Другие не присваиваемые типы также не допускаются в качестве компонентов контейнеров, например vector<const int>, не допускаются.

да, вы можете искать std::reference_wrapper, имитирующий ссылку, но назначаемый, а также можно «перезаписать»

По своей природе ссылки могут быть установлены только во время их создания; то есть следующие две строки имеют очень разные эффекты:

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

Кроме того, это незаконно:

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

Однако, когда вы создаете вектор, нет способа присвоить значения его элементам при создании. По сути, вы просто делаете целую кучу последнего примера.

Ион Тодирель уже упоминал ответ ДА, используя std::reference_wrapper. Начиная с C ++ 11 у нас есть механизм для извлечения объекта std::vector и удаления ссылки с помощью std::remove_reference. Ниже приведен пример, скомпилированный с использованием g++и clangс опцией
-std=c++11и успешно выполненный.

#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> будет работать.

Редактировать: было предложено использовать std::vector< boost::ref<int> >, которое не будет работать, потому что вы не можете создать по умолчанию a boost::ref.

Это недостаток языка C ++. Вы не можете взять адрес ссылки, так как попытка сделать это приведет к адресу объекта, на который ссылаются, и, таким образом, вы никогда не сможете получить указатель на ссылку. std::vectorработает с указателями на его элементы, поэтому на хранимые значения нужно указывать. Вы должны будете использовать указатели вместо этого.

TL; DR

Используйте std::reference_wrapperкак это:

#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

Длинный ответ

Как предполагает стандарт , для стандартного контейнера, Xсодержащего объекты типа T, Tдолжен быть Erasableот X.

Erasable означает, что следующее выражение правильно сформировано:

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

Aявляется типом распределителя контейнера, mявляется экземпляром распределителя и pявляется указателем типа *T. Смотрите здесь для Erasableопределения.

По умолчанию std::allocator<T>используется как распределитель вектора. При использовании распределителя по умолчанию требование эквивалентно действительности p->~T()(обратите внимание, что Tэто ссылочный тип и pуказатель на ссылку). Однако указатель на ссылку недопустим , поэтому выражение сформировано некорректно .

Как уже упоминалось, вы, вероятно, в конечном итоге будете использовать вектор указателей.

Тем не менее, вы можете использовать ptr_vector !

Как показывают другие комментарии, вы ограничены использованием указателей. Но если это помогает, вот одна из техник, чтобы избежать прямого столкновения с указателями.

Вы можете сделать что-то вроде следующего:

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]);
}