先来看看测试所用代码
class Array2 {
/*此处省略构造函数和析构函数*/
int * operator[](int index)
{
return ((index >= 0 && index < rows) ? pData[index] : NULL);
}
private:
int ** pData;
int rows;
int cols;
};
/*测试返回值代码段 ①
Aarry2 objs(2,3);
int a;
objs[0]=&a; */
/*测试返回值代码段 ②
Aarry2 objs(2,3);
objs[1][2]=5;
cout<<objs[1][2]; 输出为5
*/
一、先看代码段①
如果类的定义不变,我们会发现objs[0]=&a;这行代码会报错,
原因是左值非赋值操作数,左值不能被赋值,并且也不能对objs[0]取地址。
究其根本就是 左值是一个临时变量,只是一个值,非引用。它是不能被赋值的。
★若将返回值改为引用
int * &operator [] (int index){
return pA[index];
}
则代码通过,因为此时返回值为引用,引用可以修改,引用对应的值。并且能对objs[0]取地址。
二、再看代码段②
代码段②没有错误,但是根据①的逻辑,它最终返回的应该是int,也不能被赋值,但是确确实实被赋值了 相当于一个引用。并且可以取地址。
★实际上若在代码中加上输出,测试输出次数,会发现只输出一次。说明这个函数只调用了一次,没有调用两次
int * &operator [] (int index){
cout<<1;
return pA[index];
}
那么只能认为:a[i][j]-> *(*(a+i)+j)
1:先 *(a+i); //int * temp=*(a+i);
2: return *(temp+j); //返回值为 int & tep; tep= *(temp+j);
经过测试可知:如果所用的[] >1个,那么返回的都是引用类型的。
而对a[i] 就只调用一次不作任何处理
ps:本人对该函数返回的具体操作不太理解,只能对自己实验出来的结果进行总结,如果有大佬知道这个返回具体是怎么返回两次的 请不吝赐教~