前置操作符和后置操作符

下面的代码有没有区别？为什么？

如果 i 是内置类型，由于我们没有使用其返回值，编译器会进行优化，优化后的 i++ 和 ++i 的效率是一样的

如果 i 是类类型，则 ++i 的效率会高于 i++

真的有区别吗？

#include <iostream>
#include <string>

using namespace std;

int main()
{
    int i = 0;

    i++;

    ++i;

    return 0;
}

我们使用 g++ 编译器编译上面的代码，然后反汇编查看它的汇编代码

红框就是 i++ 和 ++i 对应的汇编代码，可以看出在 g++ 中它们的汇编代码是一样的，这是编译器优化后的结果

我们使用 VS2022 工具反汇编看下

 

可以看到在 VS2022 工具下 i++ 和 ++i 对应的汇编代码也是一样的

意想不到的事实

现代编译器产品会对代码进行优化

优化使得最终的二进制程序更加高效

优化后的二进制程序丢失了 C/C++ 的原生语义

不可能从编译后的二进制程序还原 C/C++ 程序

思考

++ 操作符可以重载吗？

如何区分前置 ++ 和后置 ++？

++ 操作符可以被重载

全局函数和成员函数均可进行重载

重载前置 ++ 符不需要额外的参数

重载后置 ++ 操作符需要一个 int 类型的占位参数

++ 操作符的重载

#include <iostream>
#include <string>

using namespace std;

class Test
{
    int mValue;
public:
    Test(int i)
    {
        mValue = i;
    }
    
    int value()
    {
        return mValue;
    }
    
    Test& operator ++ ()
    {
        ++mValue;
        
        return *this;
    }
    
    Test operator ++ (int)
    {
        Test ret(mValue);
        
        mValue++;
        
        return ret;
    }
};

int main()
{
    Test t(0);
    Test t2 = t++;
    
	cout << "t.value = " << t.value() << endl;
	cout << "t2.value = " << t2.value() << endl;
	
    Test t3 = ++t;
    
	cout << "t.value = " << t.value() << endl;
	cout << "t3.value = " << t3.value() << endl;
	
    return 0;
}

第 20 行 - 25 行，是前置 ++ 操作符的重载，自增 1，然后返回自身，不需要生成临时对象，效率高

第 27 - 34 行，是后置 ++ 操作符的重载，需要先用临时对象将自身保存下来，然后自增一，返回临时对象，临时对象要调用到拷贝构造函数和析构函数，还需占用要额外的内存空间，所以类对象的后置 ++ 操作符的效率低于前置 ++ 操作符的效率

程序运行结果如下图所示：

 

真正的区别

对于基础类型的变量

• 前置 ++ 的效率与后置 ++ 的效率基本相同
• 根据项目组编码规范进行选择

对于类类型的对象

• 前置 ++ 的效率高于后置 ++
• 尽量使用前置 ++ 操作符提高程序效率

小结

编译优化使得最终的可执行程序更加高效

前置 ++ 操作符和后置 ++ 操作符都可以被重载

++ 操作符的重载必须符合其原生语义

对于基础类型，前置 ++ 与后置 ++ 的效率几乎相同

对于类类型，前置 ++ 的效率高于后置 ++