为了编译器区分前置和后置++,C++规定后缀形式有一个int类型参数 ,当函数被调用时,编译器传递一个0做为int参数的值给该函数。不这样规定,无法区分,因为都仅以自身对象为入参。
下面是一个简单的例子:
class CInt {
private :
int m_value;
//
} ;
CInt & CInt:: operator ++ ( ) // 前置的是没有参数的,并且返回引用
{
this -> m_value += 1 ;
return * this ;
}
const CInt CInt::opeartor ++ (Int) // 后置的有一个匿名参数,并且返回const值
{
CInt old = * this ;
++ ( * this );
return old;
}
上面的实现解释了一个关键问题:前置比后置效率高 ,后置需要构造临时对象并返回。
那为什么前置和后置返回参数不同呢?
前置仅仅是对自身进行运算,并将自身返回,这样外面可以直接对这个返回对象再进行操作 ,如(++it)->function()。
后置因其返回的不是原来的对象,此时再进行额外操作,改变的是临时对象的状态,并不异义 ,容易误解。
那为什么不返回const &呢?因为不能这么做,返回引用将无效,临时对象已经不存在了。
所以后置返回const 对象即限制对此临时对象进行误操作,并显式地告诉调用者此对象仅为原对象的副本。
另外还有一个原因:内置int类型并不支持 i++++ .而如果后置++返回一个可修改的副本将与内置int类型行为不同。故应该禁止使用者对返回值进行修改。