const 重载 operator[] 函数及其调用

Question

我在类array 中定义了两个版本的重载operator[] 函数。 ptr 是指向 array 对象的第一个元素的指针。

int& array::operator[] (int sub) {  
   return ptr[sub];
} 

和

int array::operator[] (int sub) const { 
  return ptr[sub];
}

现在，如果我定义一个 const 对象integer1，则只能调用第二个函数.....但是如果我创建一个非常量对象然后调用如下：

cout << "3rd value is" << integer1[2];

这里调用了哪个函数？

Answer 1

在您的第二个示例中，将调用非常量版本，因为不需要转换，并且不需要转换的调用比需要转换的调用更好。

然而，最终，您在这里遇到了一个基本问题：您真正想要的是根据您将对象用作右值还是左值而改变的行为，而const 并没有真正做到这一点。为了使其正常工作，您通常希望返回一个代理对象，并为代理对象重载 operator= 和 operator T：

template <class T>
class myarray { 
    T *ptr;

    class proxy { 
        T &val;
        proxy &operator=(proxy const &p); // assignment not allowed.
    public:
        proxy(T &t) : val(t) {}
        operator T() const { return val; }
        proxy &operator=(T const&t) { val = t; return *this; }
    };

    proxy const operator[](int sub) const { return proxy(ptr[sub]); }
    proxy operator[](int sub) { return proxy(ptr[sub]); }
    // obviously other stuff like ctors needed.
};

现在我们得到了正常的行为——当/如果我们的array<int>（或任何类型）是常量，我们的operator[] const将被使用，它会给出一个const proxy。由于它的赋值运算符是 not const，因此尝试使用它们会失败（不会编译）。

OTOH，如果原始 array<int> 不是 const，我们将获得一个非常量代理，在这种情况下，我们可以同时使用 operator T 和 operator=，并且能够读取和写入值在array<int>.

Answer 2

您的 const 版本应该返回 const int& 而不是 int，以便两个函数之间的语义完全相同。

一旦你这样做了，使用哪一个并不重要。如果由于您的对象具有 const 上下文而必须使用 const 版本，那么它将是……而且这并不重要，因为您没有尝试修改任何内容。否则，它将使用非const 版本...但效果相同。