分析各种表达式求值过程_c常量加法是在编译期间完成的吗-CSDN博客

在VS中，Release编译选项组的默认选项为02选项——执行效率最快。在Debug编译选项组中，使用的是Od+ZI选项，此选项使编译器产生的一切代码都以便于调试为根本前提，甚至为了便于单步跟踪以及源码和目标代码块的对应阅读，不惜增加冗余代码。当然也不是完全放弃优化，在不影响调试的前提下，会尽可能地进行优化。

Debug编译选项组下编译后的汇编代码分析

源码

#include<stdio.h>

int main()
{
	int n1 = 0;
	int n2 = 0;
	// 变量+常量
	n1 = n1 + 1;
	// 常量+常量
	n1 = 1 + 2;
	// 变量+变量
	n1 = n1 + n2;
	printf("n1=%d\n", n1);
	return 0;
}

反汇编分析

归纳：

两个常量相加：编译期间就会计算出结构
有变量参与：变量取值存入寄存器相加后通过寄存器存入变量

Release开启02执行效率优先

开启02选项后，编译出来的汇编代码会有较大的变化。由于效率优先，编译器会将无用代码去除，并对可合并代码进行归并处理。

例如在代码清单4-1中，“n1 = n1 + 1；”这样的代码将被删除，因为在其后又重新对变量n1进行了赋值操作，而在此之前没有对变量n1做任何访问，所以编译器判定此句代码是可被删除的。

减法

计算机中，减法是通过加法实现的，减正等于加负，负数可以使用反码来代替；

源码

#include<stdio.h>

int main(int argc, char* argv[])
{
	int n1 = argc;
	int n1;
	int n2 = 0;
	scanf("%d", &n2);
	n1 = n1 - 100;
	n1 = n1 + 5 - n2;
	printf("n1 = %d \r\n", n1);
	return 0;
}

反汇编

Release版下优化和加法一致，不再赘述

乘法

乘法运算对应的汇编指令分为有符号imul和无符号mul两种。由于乘法指令的执行周期较长，在编译过程中，编译器会先尝试将乘法转换成加法，或使用移位等周期较短的指令。当它们都不可转换时，才会使用乘法指令。

源码

#include<stdio.h>

int main(int argc, char* argv[])
{
	int n1 = argc;
	int n2 = argc;
	// 变量乘常量
	printf("n1 * 15 = %d\n", n1 * 15);
	// 变量乘常量(2的幂)
	printf("n1 * 16 = %d\n", n1 * 16);
	// 两个常量相乘
	printf("2 * 2 = %d\n", 2 * 2);
	printf("n2 * 4 + 5 = %d\n", n2 * 4 + 5);
	// 混合运算
	printf("n1 * n2 = %d\n", n1 * n2);
	// 两变量相乘
	return 0;
}

反汇编

有符号数乘以常量值，且这个常量非2的幂，会直接使用有符号乘法imul指令或者左移加减运算进行优化。

当常量值为2的幂时，编译器会采用执行周期短的左移运算代替执行周期长的乘法指令。由于任何十进制数都可以转换成二进制数表示，在二进制数中乘以2就等同于所有位依次向左移动1位。
乘法运算与加法运算的结合编译器采用LEA指令处理。LEA语句的目的并不是获取地址。

除了两个未知变量的相乘无法优化外，其他形式的乘法运算都可以进行优化处理。如果运算表达式中有一个常量值，则此时编译器会首先匹配各类优化方案，最后对不符合优化方案的运算进行调整。
无符号乘法的原理与之相同

除法

除法运算对应的汇编指令分为有符号idiv和无符号div两种。除法指令的执行周期较长，效率也较低，所以编译器会想尽办法用其他运算指令代替除法指令。C++中的除法和数学中的除法不同，在C++中，除法运算不保留余数，有专门求取余数的运算（运算符为%），也称之为取模运算。对于整数除法，C++的规则是仅保留整数部分，小数部分完全舍弃。

编译器在除法的优化涉及到高深的数学知识，暂且放放

算术结果溢出

当数据大小超过存储空间时，就会发生溢出，溢出的数据不会保留；

进位：无符号数超出存储范围叫作进位。因为没有符号位，不会破坏数据，而进位的1位数据会被进位标志为CF保存。而在标志位CF中，可通过查看进位标志位CF，检查数据是否进位

溢出：有符号数超出存储范围叫作溢出，由于数据进位，从而破坏了有符号数的最高位——符号位。只有有符号数才有符号位，所以溢出只针对有符号数。可查看溢出标志位OF，检查数据是否溢出。OF的判定规则很简单，如果参与加法计算的数值符号一致，而计算结果符号不同，则判定OF成立，其他都不成立。

自增和自减

C++中使用“++”“--”来实现自增和自减操作。自增和自减有两种定义：

一种为自增自减运算符在语句块之后，则先执行语句块，再执行自增自减；
另一种恰恰相反，自增自减运算符在语句块之前，则先执行自增和自减，再执行语句块。
通常，自增和自减是被拆分成两条汇编指令语句执行的

源码

#include<stdio.h>

int main(int argc, char* argv[])
{
	int n1 = argc;
	int n2 = argc;
	n2 = 5 + (n1++);
	n2 = 5 + (++n1);
	n1 = 5 + (n2--);
	n1 = 5 + (--n2);
	return 0;
}

反汇编

先将自增自减运算进行分离，然后根据运算符的位置来决定执行顺序。将原语句块 “n1=5+
（n1++）；”分解为“n2=5+n1；”和“n1=n1+1”，这样就实现了先参与语句块运算，再自增1。同理，前缀++的拆分过程只是执行顺序做了替换，先将自身加1，再参与表达式运算。在识别过程中，后缀++必然会保存计算前的变量值，在表达式计算完成后，才取出之前的值加1，这是个显著特点。