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，但是编译器是无法做这样的推导的。