本帖最后由 tpgf 于 2023-9-19 13:11 编辑
将sizeof(a++)转换为汇编
（1）既然我们要探究为什么sizeof(a++)中的a不会进行自增，那么最好的办法就是，将C语言转换成汇编，看看最终执行效果。
（2）这是为什么呢？我去查阅了C语言标准，其中有这么一段话：
When applied to an expression, sizeof does not evaluate the expression (i.e. the expression is an unevaluated operand) (since C++11), and even if the expression designates a polymorphic object, the result is the size of the static type of the expression. Lvalue-to-rvalue, array-to-pointer, or function-to-pointer conversions are not performed. Temporary materialization, however, is (formally) performed for prvalue arguments: the program is ill-formed if the argument is not destructible. (since C++17)
翻译结果：当应用于表达式时，sizeof不计算表达式 （即表达式是未计算的操作数） (C++11 起)，并且即使表达式指定多态对象，结果也是表达式的静态类型的大小。不执行左值到右值、数组到指针或函数到指针的转换。然而，临时物化（正式）是对纯右值参数执行的：如果参数不可破坏，则程序是格式错误的。 （自 C++17 起）
（3）由此可见，C语言标准决定了sizeof之后的式子是不会进行任何的计算的。
为什么sizeof后面的式子不进行计算
用编译器的时间换运行态的时间
（1）这个时候可能有人就会有疑问了。为什么sizeof后面的式子不进行计算呢？
（2）通过和大佬们交流，我得知了一个名词，叫做用编译器的时间换运行态的时间。
（3）这个时候可能有人就有疑惑了。编译器时间是什么呢？运行态时间又是什么呢？我在stack overflow上找到了非常好的解释。
<1>编译时：您（开发人员）编译代码的时间段。
<2>运行时间：用户运行您的软件的时间段。
（4）当你调用sizeof 的时候，核心目的是为了知道这个变量所占几个字节。那么，一个数据，进行自增或者自减，是不会影响到他的类型的，他占据几个字节也不会有影响。所以为了提高代码执行速度，我们可以只进行判断变量a 的所占字节即可，他的运算是可有可无的。
时间交换可能会产生的不良后果
（1）现在，我们知道了可以使用编译器时间来换取运行时间，来提高用户体验，那么这样做，真的就非常完美了吗？
（2）答案肯定是不，为什么呢？因为，想单片机程序，如果我想让一个单片机进行一个1ms的延时。于是我就让变量a进行不断的自增，最终实现延时效果。
//假设这是一个延时1ms的程序
void delay(void)
{
int a;
for(a=0;a<50000;a++);
}
（3）但是，如果是玩过MSP430的同学就会发现，不对，有问题。这个并没有延时效果，我们会需要调整编译器优化等级才可能出现延时效果。
（4）这是为什么呢？原因很简单，如果你编译器优化等级过高，而编译器发现for(a=0;a<50000;a++);这个语句什么都没做，可能就会放弃掉这个语句。最终导致无法产生想要的延时效果。
（5）编译器除了放弃一些认为不用的程序以外，还做了什么吗？举个例子，假如一个程序里面有一个运算式子：a = 2+2+4 ，那么编译器会直接将2+2+4计算出来，并且将8传给a。这样就能够降低运行状态的时间，提高用户体验。
总结
（1）sizeof(a++)这个运算式子算是编译器时间换运行态时间的一种方式，这样做能够提高用户体验。
（2）但是，有可能程序员一开始的目标就是要用来延时的，所以容易产产生负面效果。
（3）因此，我们应该对这个有充分的了解。根据需求做决定。
————————————————
版权声明：本文为CSDN博主「风正豪」的原创文章，遵循CC 4.0 BY-SA版权协议，转载请附上原文出处链接及本声明。
原文链接：https://blog.csdn.net/qq_63922192/article/details/131360055
|
楼主
标题置顶
标题高亮
