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 ，则只能调用第二个函数......但是如果我创建一个非 const 对象，然后按如下方式调用：

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（或任何类型）是const，我们的operator[] const将被使用，并且它会给出一个const代理代码>.由于其赋值运算符不是 const，因此尝试使用它们将会失败（无法编译）。

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

Answer 2

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

一旦完成此操作，使用哪一个就不再重要了。如果因为您的对象具有 const 上下文而必须使用 const 版本，那么它将......并且这并不重要，因为您没有尝试修改任何内容。否则，它将使用非 const 版本...但效果相同。