什么时候调用const运算符[]，什么时候调用非常量operator[]？

Question

我有两种非常不同的读取和写入行为。在读取的情况下，我想复制一个相当难以提取的数据结构的缓冲区。在写入时，我将不缓冲地写入结构。

到目前为止，我一直使用operator[]来进行访问，所以为了多态性，我想继续这样做。

所以我的问题是：当进行访问时，会调用哪个版本？我的想法是，读取时调用 const，写入时调用非 const。在这种情况下，实现起来很简单。否则，事情可能会更加棘手。

Answer 1

要完成您想要的任务，您通常需要让 operator[] 返回代理，并重载 operator= 和 operator T （其中 >T 是该代理类型的原始类型）。然后，您可以使用operator T 来处理读取，并使用operator = 来处理写入。

编辑：代理的基本思想非常简单：返回一个代替原始对象的对象实例。目前，这将具有非常简单的语义（只需在向量中的指定索引处读取和写入字符）；在您的情况下，operator= 和（特别是）operator T 内部的逻辑显然会更复杂，但这对基本结构影响很小或没有影响。

#include <vector>

class X {
    std::vector<char> raw_data;

    class proxy { 
        X &parent;
        int index;   
    public:
        proxy(X &x, int i) : parent(x), index(i) {}

        operator char() const { return parent.raw_data[index]; }

        proxy &operator=(char d) { 
            parent.raw_data[index] = d; 
            return *this;
        }
    };
public:
    X() : raw_data(10) {}
    proxy operator[](int i) { return proxy(*this, i); }
};

#ifdef TEST

#include <iostream>

int main() {
    X x;
    for (int i=0; i<10; i++)
        x[i] = 'A' + i;

    for (int i=0; i<10; i++)
        std::cout << x[i] << "\n";
    return 0;
}
#endif

Answer 2

重载决策基于 this 参数，即 - 基于您调用 operator[] 的对象的常量性或缺乏常量性。

Answer 3

由于读取和写入之间的行为如此不同，您可能至少要考虑不要重载 operator[] ，而是单独进行 read 和 write > 方法。

要回答您的问题，它基于您正在操作的对象的常量性。它不知道您将如何处理运算符的结果，因此它只处理一件事，即您调用运算符的对象。如果对象是非常量，它将始终调用运算符的非常量（写入）版本。您可以通过将constconst_cast添加到对象上来解决这个问题，但单独的方法似乎是更好的方法。

Answer 4

这取决于您“分配”给什么：

const type& x=X[i]

将调用函数的 const 版本

type& x=X[i]

或

X[i]=x

将调用非 const 版本。最后，一个简单的作业

type x=X[i]

没有真正的方法可以说一个是“读”，另一个是“写”。基本上 const 版本将返回数据视图，其中未反映更新。非 consts 版本将返回数据视图，其中可以反映更新，但没有语义可以在写入后提供刷新。