C++ 向量模板运算符 []

Question

首先我想说这是一项硬件任务，我只是对我面临的错误有疑问

我制作了一个带有插入函数的向量模板，该函数将 data_type 添加到动态数组的末尾。这是我目前拥有的。

// Insert the value at the specified index by moving the tail
// when Size = Capacity the Vector has to be reallocated first 
// to accomate the new element
void Insert(const DATA_TYPE& value, int index){

    // If the Capacity is not large enough then ...
    // allocate large vector
    if (Size >= Capacity){
        // 0. Let's boost the capacity
         Capacity += CAPACITY_BOOST;
        // 1. Allocate new larger vector
         DATA_TYPE* newData = new DATA_TYPE[Capacity];

        // 2. Copy from old Data into the newData
         for( int i=0; i< Size; i++)
                newData[i] = Data[i];

        // 3. Delete the old Data
         delete[] Data;

        // 4. Replace old Data-pointer with the newData pointer
        Data = newData;
    }

    // Move the tail
    for(int i=index; i<Size;i++){
        Data[i+1] = Data[i];
    }

    // Insert
    Data[index] = value;
    Size++;

}
DATA_TYPE& operator[] (int index) const{
    return *this[index];
}

注意：使用私有变量：Size、Capacity、Data（存储动态数组） 我很确定我已经正确实现了 add 或 push_back 函数。问题是，当我尝试 cout 诸如“cout

while compiling class template member function 'int &Vector<DATA_TYPE>::operator [](int) const'
      with
      [
          DATA_TYPE=int
      ]
see reference to class template instantiation 'Vector<DATA_TYPE>' being compiled
     with
     [
          DATA_TYPE=int
      ]
error C2440: 'return' : cannot convert from 'const Vector<DATA_TYPE>' to 'int &'
    with
     [
        DATA_TYPE=int
      ]

Answer 1

operator[] 函数被声明为常量，即它不能更改 Vector 对象中的任何内容。但是它返回一个引用，这意味着返回的值可以被修改。这两者相互矛盾。

这可以通过从函数末尾删除const 或不返回引用来解决。

Answer 2

你的operator[]应该有2个版本：

const DATA_TYPE& operator[] (int index) const;
DATA_TYPE& operator[] (int index);

你所拥有的是两者的奇怪组合。

你也应该回来

return Data[index];

返回(*this)[index]; 会导致无限递归调用（嗯，不是无限的，在此之前你会得到一个stackoverflow）。

Answer 3

这里有三个问题：

1. 运算符优先级。 *this[index] 被解析为 *(this[index])，而您的意思是 (*this)[index]。
2. 您正在从 const 方法返回对您的数据的可变引用。
3. operator[] 的定义是循环的。在operator[] 中返回(*this)[index] 会导致无限递归。