c++operator-overloadingoverloadingoperator-keyword

C++ - overloading [] operator


I have a template class Array:

template <class T=int, int SIZE=10>
class Array {
    T TheArray[SIZE];
public:
    void Initialize() {
        for (int idx=0; idx < SIZE; idx++) {
            TheArray[idx] = T();
        }
    }

    T& operator [](int idx) {
        return TheArray[idx];
    }

    T operator [](int idx) const {
        return TheArray[idx];
    }
}

I have some questions on operator [] overloading (I found this example on net).

I understand that T& operator [](int idx) returns a reference to an array value with index idx and that T operator [](int idx) const returns its value. However, I am not sure in which case a reference or a value will be returned by using the [] operator.

Also, if I change T operator [](int idx) const -> T operator [](int idx), the compiler complains. Why is that? I can understand that the compiler complains because only the return type is different, but why doesn't it complain when const is added? This only means that none of the class internals are modified, right?

I tried to debug this small main implementation:

int main() {
    int val;
    Array<> intArray;

    intArray.Initialize();
    val = intArray[1];
    printf("%d", intArray[1]);
    intArray[1] = 5;
}

And each time T& operator [](int idx) is called. Why?

Thanks in advance.


Solution

  • The operator[] overload will be selected based on the const-qualification of the object you call it on.

    Array<> intArray;
    intArray[1]; //calls T& operator[]
    
    const Array<> constArray;
    constArray[1]; //calls T operator[]
    

    If you remove the const from T operator[], you get an error because the member functions cannot have the same const-qualification and parameters as there would be no way to select between them.