关于下标操作符重载，书C++ Primer例子错误，求解答

[zh359780498]

C++ Primer 第四版
14.5. 下标操作符
下面是书本源码，稍作修改，只为初始化。。

class Foo 
{ 
public: 
    Foo()
    {
        for (int i = 0; i < 10; i++)
        {
            data.push_back(i);
        }
    }
    int &operator[] (const size_t); 
    const int &operator[] (const size_t) const; 
    // other interface members 
private: 
    std::vector<int> data; 
    // other member data and private utility functions 
}; 

// 下标操作符本身可能看起来像这样： 
int& Foo::operator[] (const size_t index) 
{ 
    return data[index];  // no range checking on index 
} 
const int& Foo::operator[] (const size_t index) const 
{ 
    return data[index];  // no range checking on index 
} 

int _tmain(int argc, _TCHAR* argv[])
{
    Foo a;
    a[0] = 145;   // 作左值
    int n = a[0]; // 作右值
    return 0;
}

发现两次都是调用的 int& Foo::operator[] (const size_t index)
何时才能调用 const int& Foo::operator[] (const size_t index) const
求正解。

[乃不知有汉]

const Foo& ref = a; ref[0] = 145; // const 版本的 const Foo* ptr = &a; (*ptr)[0] = 145; // const 版本的

[unituniverse2]

对象为const的时候就会调用。差不多满足3种情况之一。。 -源对象就是const的 -当对象为一个类的非mutable数据成员时，在这个类的const成员函数中调用此对象的成员函数 -只提供了const版本的成员函数，此时即使对象本身为非const

[qman007]

这样写就可以了 在main中 int &n = a[0]; // 作右值

[ysnis]

对象为const的时候就会调用

[unituniverse2]

如果C++ Primer到现在还是这么认识左右值的，基本上相关内容都可以报废了。。 main中两处a[i]都是左值。 而调用非const版本就像我上面提到的原因那样，都是因为Foo a;这句使得a[i]成为非const的，与左右值更无关系。而决定了第二行int n = a[0];中的a[0]仍为左值的原因是Foo中定义的int & operator[] (const size_t);这个操作符重载返回的是引用而不是独立对象（单独构造出的或者拷贝构造的），这样使得返回值仅仅作为一个已知具名对象的转发，这样就是左值而不是右值了。 想调用const版本的话， int _tmain(int argc, _TCHAR* argv[]) { const Foo a; //a[0] = 145; // 编译失败。不允许向常引用中赋值 int n = a[0]; return 0; }

[桑夏艾]

看看，又学习了

[lm_whales]

编译器实现的问题吧。 const 右值，非const左值，这是没有问题的。

[赵4老师]

计算机组成原理→DOS命令→汇编语言→C语言（不包括C++）、代码书写规范→数据结构、编译原理、操作系统→计算机网络、数据库原理、正则表达式→其它语言（包括C++）、架构…… 对学习编程者的忠告： 眼过千遍不如手过一遍！ 书看千行不如手敲一行！ 手敲千行不如单步一行！ 单步源代码千行不如单步对应汇编一行！ 单步类的实例“构造”或“复制”或“作为函数参数”或“作为函数返回值返回”或“参加各种运算”或“退出作用域”的语句对应的汇编代码几步后，就会来到该类的“构造函数”或“复制构造函数”或“运算符重载”或“析构函数”对应的C/C++源代码处。 VC调试时按Alt+8、Alt+7、Alt+6和Alt+5,打开汇编窗口、堆栈窗口、内存窗口和寄存器窗口看每句C对应的汇编、单步执行并观察相应堆栈、内存和寄存器变化，这样过一遍不就啥都明白了吗。 对VC来说，所谓‘调试时’就是编译连接通过以后，按F10或F11键单步执行一步以后的时候，或者在某行按F9设了断点后按F5执行停在该断点处的时候。 （Turbo C或Borland C用Turbo Debugger调试,Linux或Unix下用GDB调试时,看每句C对应的汇编并单步执行观察相应内存和寄存器变化。）

[SKATE11]

引用 1 楼 wangjunsheng 的回复:

const Foo& ref = a; ref[0] = 145; // const 版本的 const Foo* ptr = &a; (*ptr)[0] = 145; // const 版本的

这样与const声明是否矛盾