C++再学习系列：前置++与后置++

前置++:type operator++();
后置++:const type operator++(int );

 

为了编译器区分前置和后置++，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类型行为不同。故应该禁止使用者对返回值进行修改。