C/C++编程：自增、自减操作符前缀形式和后缀形式的区别

约定不等于承诺〃 2022-05-17 02:11 143阅读 0赞

很久以前，没有办法区分++和--操作符的前缀与后缀调用。这个问题很多人抱怨，于是C++语言扩展，允许重载increment和decrement操作符的两种形式。

然后有一个句法上的问题，重载函数间的区别决定于它们的参数上的差异，但是无论是increment还是decrement的前缀还是后缀都只有一个参数。为了解决这个语言问题，C++规定后缀形式有一个int类型参数，当函数被调用时，编译器传递一个0作为int参数的值给该函数，当函数被调用时，编译器传递一个0作为int参数的值给该函数

class UPInt{
    public:
        UPInt& operator++();           // ++前缀
        const UPInt operator++(int);  // ++后缀
        UPInt& operator--();           // --前缀
        const UPInt operator--(int);  // --后缀
        UPInt& operator+=(int);        // +=运算符， UPInt与int进行运算
    };
    
    
    UPInt& UPInt::operator++(){
        *this += i;                    //增加
        return *this;                  //取回值
    }
    
    const UPInt operator++(int){
        UPInt oldValue = 8this;       //取回值
        ++(*this);                    /增加
        return oldValue;                
    }
    
    UPInt    i;
    ++i;                            //调用i.operator++();
    i++;                            //调用i.operator++(0);
    --i;                            //调用i.operator--();
    i--;                            //调用i.operator--();

increment的前缀形式也叫”增加然后取回“， 后缀形式也叫做”取回返回增加“.

后缀操作符函数没有使用它的参数。它的参数只是用来区别前缀和后缀函数调用。如果你没有在函数里使用参数，很多编译期会显示警告信息，很令人讨厌。为了避免这些警告信息，一种经常使用的方法是省略掉你不想使用的参数名称；如上所示。

很明显一个后缀increment必须返回一个对象，但是为什么是const对象呢？如果不是const对象，下面的代码就是正确的：

UPInt i;
    i++++;

相当于：

i.operator++(0).operator++(0);

很明显，第一个调用的operator++函数返回的对象调用了第二个operator++函数。

有两个理由导致我们不应该有上面做法。

第一个原因是与内置类型行为不一致。当设计一个类遇到问题时，一个好的准则是使该类的行为与int类型一致，而int类型不允许连续进行两次后缀++

int i;
    i++++;           //错误

第二个原因是使用两次后缀increment所产生的结果与调用者期望不一致。如上所式，第二次调用operator++改变的值是第一次调用返回对象的值，而不是原始对象的值。因此如果：

i++++;