首先介绍两个优化概念
常量传播
将编译期间可计算出结果的变量转换成常量,减少了变量的使用。
int main()
{
int nVar = 1;
printf("nVar = %d \n", nVar);
}
int main()
{
printf("nVar = %d \n", 1);
}
常量折叠
当计算公式中出现多个变量进行计算的情况时,且编译器可以在编译期间计算出结果时,用结果代替所有的常量计算。
int main()
{
int nVar = 1 + 6 - 2 + 1 * 2;
printf("nVar = %d \n", nVar);
}
int main()
{
int nVar = 7;
printf("nVar = %d \n", nVar);
}
int main()
{
printf("nVar = %d \n", 7);
}
下面我们把变量的初始值修改为一个在编译期间无法确定的值,命令行参数的个数argc,编译器无法在编译过程中得知结果,所以变量也就不会被常量替换掉。
argc的含义是argument count:它是一个int行变量,表示传递给main函数的参数数量;
argv的含义是argument value(值):它是一个指向字符串的指针数组,每个指针元素指向各个具体
的参数;
#include <stdio.h>
int main(int argc, char* argv[])
{
int nVarOne = argc ;
int nVarTwo = argc ;
nVarOne = nVarOne + 1;
nVarOne = 1 + 2;
nVarOne = nVarOne + nVarTwo;
printf( "nVarOne = %d \n" ,nVarOne);
return 0;
}
优化后:
#include <stdio.h>
int main(int argc, char* argv[])
{
// int nVarOne = argc; 被常量代替
// int nVarTwo = argc; 后面没有对nVarTwo修改 等价于引用argc nVarTwo被删掉(复写传播)
//
// nVarOne = nVarOne + 1; 可计算 被删除
// nVarOne = 1 + 2; 常量折叠 等价于nVarOne = 3;
// nVarOne = nVarOne + nVarTwo; 常量传播 复写传播等价于 nVarOne = 3 + argc;
// printf("nVarOne = %d \n",nVarOne);
// 在输出之前没有对nVarOne进行操作输出等价于
printf( "nVarOne = %d \n" ,3 + argc );
return 0;
}