详解C++中的函数调用和下标以及成员访问运算符的重载
函数调用
使用括号调用的函数调用运算符是二元运算符。
语法
primary-expression(expression-list)
备注
在此上下文中,primary-expression为第一个操作数,并且expression-list(可能为参数的空列表)为第二个操作数。函数调用运算符用于需要大量参数的操作。这之所以有效,是因为expression-list是列表而非单一操作数。函数调用运算符必须是非静态成员函数。
函数调用运算符在重载时不会修改函数的调用方式;相反,它会在运算符应用于给定类的类型的对象时修改解释该运算符的方式。例如,以下代码通常没有意义:
Pointpt; pt(3,2);
但是,如果存在一个适当的重载函数调用运算符,则此语法可用于将x坐标偏移3个单位并将y坐标偏移2个单位。下面的代码显示了这样的定义:
//function_call.cpp classPoint { public: Point(){_x=_y=0;} Point&operator()(intdx,intdy) {_x+=dx;_y+=dy;return*this;} private: int_x,_y; }; intmain() { Pointpt; pt(3,2); }
请注意,函数调用运算符适用于对象的名称,而不是函数的名称。
也可以使用指向函数的指针(而非该函数本身)重载函数调用运算符。
typedefvoid(*ptf)(); voidfunc() { } structS { operatorptf() { returnfunc; } }; intmain() { Ss; s();//operatesass.operatorptf()() }
下标
下标运算符([])(如函数调用运算符)被视为二元运算符。下标运算符必须是采用单个参数的非静态成员函数。此参数可以是任何类型,并指定所需的数组下标。
以下示例演示如何创建用于实现边界检查的int类型的矢量:
//subscripting.cpp //compilewith:/EHsc #include<iostream> usingnamespacestd; classIntVector{ public: IntVector(intcElements); ~IntVector(){delete[]_iElements;} int&operator[](intnSubscript); private: int*_iElements; int_iUpperBound; }; //ConstructanIntVector. IntVector::IntVector(intcElements){ _iElements=newint[cElements]; _iUpperBound=cElements; } //SubscriptoperatorforIntVector. int&IntVector::operator[](intnSubscript){ staticintiErr=-1; if(nSubscript>=0&&nSubscript<_iUpperBound) return_iElements[nSubscript]; else{ clog<<"Arrayboundsviolation."<<endl; returniErr; } } //TesttheIntVectorclass. intmain(){ IntVectorv(10); inti; for(i=0;i<=10;++i) v[i]=i; v[3]=v[9]; for(i=0;i<=10;++i) cout<<"Element:["<<i<<"]="<<v[i]<<endl; } Arrayboundsviolation. Element:[0]=0 Element:[1]=1 Element:[2]=2 Element:[3]=9 Element:[4]=4 Element:[5]=5 Element:[6]=6 Element:[7]=7 Element:[8]=8 Element:[9]=9 Arrayboundsviolation. Element:[10]=10
注释
当i在前一个程序中达到10时,operator[]将检测是否在使用超出边界的下标并发出错误消息。
请注意,函数operator[]将返回引用类型。这会使它成为左值,从而使您可以在赋值运算符的任何一侧使用下标表达式。
成员访问
类成员访问可通过重载成员访问运算符(–>)来控制。此运算符被视为此用法中的一元运算符,而重载运算符函数必须是类成员函数。因此,此类函数的声明是:
语法
class-type*operator–>()
备注
其中,class-type是此运算符所属的类的名称。成员访问运算符函数必须是非静态成员函数。
此运算符(通常与指针取消引用运算符一起使用)用于实现在取消引用用法或对用法计数前验证指针的“智能指针”。
无法重载.成员访问运算符。