为什么我不能制作参考向量？

Question

当我这样做时：

std::vector<int> hello;

一切都很好。但是，当我将其设为引用向量时：

std::vector<int &> hello;

我遇到了像

这样的可怕错误

error C2528: 'pointer' : 指向引用的指针是非法的

我想将一堆对结构的引用放入一个向量中，这样我就不必干预指针了。为什么vector会为此发脾气？我唯一的选择是使用指针向量吗？

Answer 1

这是 C++ 语言的一个缺陷。您不能获取引用的地址，因为尝试这样做会导致引用对象的地址，因此您永远无法获得指向引用的指针。 std::vector 使用指向其元素的指针，因此存储的值需要能够被指向。您必须改用指针。

Answer 2

就其本质而言，引用只能在创建时设置；即，以下两行具有非常不同的效果：

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.

但是，当您创建向量时，无法在创建时为其项分配值。您实际上只是在制作最后一个示例。

Answer 3

vector 等容器的组件类型必须为assignable。引用是不可分配的（您只能在声明它们时初始化它们一次，并且以后不能让它们引用其他东西）。其他不可分配的类型也不允许作为容器的组件，例如不允许使用vector<const int>。

Answer 4

boost::ptr_vector<int> 可以工作。

编辑：建议使用std::vector< boost::ref<int> >，这将不起作用，因为您不能默认构造boost::ref。

Answer 5

正如其他人所提到的，您最终可能会改用指针向量。

不过，您可能需要考虑改用ptr_vector！

Answer 6

是的，你可以，寻找 std::reference_wrapper，它模仿引用但可分配，也可以“重新安装”

Answer 7

Ion Todirel 已经使用std::reference_wrapper 提到了一个答案YES。 从 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";
    }             
}

Answer 8

正如其他 cmets 所建议的，您只能使用指针。 但如果有帮助，这里有一种技术可以避免直接面对指针。

您可以执行以下操作：

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

Answer 9

TL;博士

像这样使用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

长答案

作为standard suggests，对于包含T 类型对象的标准容器X，T 必须是来自X 的Erasable。

Erasable 表示以下表达式格式正确：

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

A 是容器的分配器类型，m 是分配器实例，p 是 *T 类型的指针。有关Erasable 的定义，请参见here。

默认情况下，std::allocator<T> 用作向量的分配器。使用默认分配器，要求等同于p->~T() 的有效性（注意T 是引用类型，p 是指向引用的指针）。但是，pointer to a reference is illegal，因此表达式格式不正确。