VC对函数调用的一个优化.

在functional language中的函数有两个特别性质。

1. 函数没有side effect. 函数不会调用I/O，函数不会改变程序的任何全局状态。函数的目的只有一个产生一个返回值。

2. 只要函数的输入(参数)一样，输出(返回值)永远一样。

在imperative language某些函数也是可以具有上面这两条性质的，比如

int Add(int i,int j)
{
return i+j;
}
Add函数就具有无side effect,输入一样时，输出必然一样的特性。

针对这样的函数，我发现VC系列编译器(VS2008,VS2010)针对这样的函数有个不错的优化.

比如说这个求和函数

int SumArray(const int intArray[], int length){
int sum = 0;
for (int i = 0; i<length; ++i){
sum += intArray[i];
}
return sum;
}

int intArray[8] = {1,2,3,4,5,6,7,8};
int sum = 0;
for (int i=0; i<100;++i){
sum += SumArray(intArray,8);

}
这个循环生成的代码是这样的。

00CE109B lea ecx,[ebp-24h]

00CE109E call SumArray (0CE1000h)

00CE10A3 imul eax,eax,64h

是的，实际上循环被一个乘法优化掉了，SumArray只会被调用一次。

注意，这里的intArray是个局部变量，如果它是一个全局变量的话，这样的优化是不会发生的。因为全局变量有可能被其他线程修改，所以无法保证每次函数每次调用的返回值是一致的。

再看这个函数的另外一个版本.

int SumArray2(int intArray[], int length){
int sum = 0;
int tmp = 0;
for (int i = 0; i<length; ++i){
tmp = intArray[i];
intArray[i] = 0;
sum += tmp;
intArray[i] = tmp;
}
return sum;
}

这个函数也不会产生这样的优化，因为在函数内部修改了函数外部的值(通过intArray参数)。虽然在最后的结果上来说并没有修改intArray，但是编译器是无法做这样的推导的。