c++ - C++：std::vector [] 运算符

Question

为什么 std::vector 有 2 个运算符[] 实现？

reference       operator[]( size_type pos );
const_reference operator[]( size_type pos ) const;

Answer 1

一个用于非常量向量对象，另一个用于const向量对象。

void f(std::vector<int> & v1, std::vector<int> const & v2)
{
   //v1 is non-const vector
   //v2 is const vector

   auto & x1 = v1[0]; //invokes the non-const version
   auto & x2 = v2[0]; //invokes the const version

   v1[0] = 10; //okay : non-const version can modify the object
   v2[0] = 10; //compilation error : const version cannot modify 

   x1 = 10; //okay : x1 is inferred to be `int&`
   x2 = 10; //error: x2 is inferred to be `int const&`
}

如您所见，非常量版本允许您使用索引修改向量元素，而该const版本不允许您修改向量元素。这就是这两个版本之间的语义差异。

有关详细说明，请参阅此常见问题解答：

• 经验法则：下标运算符通常成对出现！

希望有帮助。

Answer 2

为了使这种区分成为可能：

// const vector object, cannot be modified
// const operator[] allows for this
int get_value(const std::vector<int>& vec, size_t index)
{
   return vec[index];
}

// non-const vector object can be modified
// non-const operator[] allows for this
void set_value(std::vector<int>& vec, size_t index, int val)
{
   vec[index] = value;
}

std::vector<int> values;
values.push_back(10);
values.push_back(20);

set_value(values, 0, 50);
get_value(values, 0);

Answer 3

一个，以便您可以修改和读取（非常量）向量

void foo( std::vector<int>& vector )
{
    // reference operator[]( size_type );
    int old = vector[0];
    vector[0] = 42;
}

一个，以便您可以从 const 向量中读取

void foo( std::vector<int> const& vector )
{
    //const_reference operator[]( size_type ) const;
    int i = vector[0];

}

Answer 4

这两个重载之一允许您检索对通过变量const访问的向量元素的引用。const另一个允许您获得对通过非变量const访问的向量元素的非引用。const

如果您没有该const版本，则不允许您编译以下内容：

void f(vector<int> const& v)
{
    cout << v[0]; // Invokes the const version of operator []
}

在下面的示例中，将调用非 const 版本，它返回const对数组中第一个元素的非引用，并允许例如为其分配一个新值：

void f(vector<int>& v)
{
    v[0] = 1; // Invokes the non-const version of operator[]
}