C语言中一个函数返回值不一致的有关问题

C语言中一个函数返回值不一致的问题
        对于一个只用C写十几二十行程序的菜鸟，也能遇到这样那样诡异郁闷的问题，其实知道点底层也挺好的。先说这个问题：

#include <stdio.h>#include <malloc.h>#define max(a,b) ((a)>(b)?(a):(b))int computeMax(int [], int);int main() {    int array[10] = {1,-1,2,2,3,-3,4,-4,5,-5};    /*printf("\n");*/    printf("%d\n", computeMax(array, 10));    return 0;} int computeMax(int a[], int length) {    int i,j,result;    int la[length-1], ra[length-1];    la[0] = a[0],ra[length-2] = a[length-1];    for(i=1;i<length-2;i++)        la[i] = max(la[i-1]+a[i], a[i]);    for(i=length-3;i>=0;i--)        ra[i] = max(ra[i+1]+a[i+1], a[i+1]);    result = la[0]+ra[1];    for(i=0;i<length-1;i++)        for(j=i;j<length-1;j++)            result = max(la[i]+ra[j], result);    return result;}

        这个程序解决什么问题的就不罗嗦了，不重要……代码中有一句被注释了，这段代码有这两种执行情况：
        A：把注释去掉
        B：带注释执行
        我linux下的编译环境是gcc (GCC) 4.7.0 20120507 (Red Hat 4.7.0-5)，编译选项是-Wall -std=c99 -g -lm
        computeMax的正确返回值是13,执行A结果是1175124475，执行B结果是13。很显然A的结果是个乱七八糟的东西。如果其他不变，把computeMax函数改成这样：

int computeMax(int a[], int length) {    int i,j,result;    int *la=(int *)malloc((length-1)*sizeof(int)), *ra=(int *)malloc((length-1)*sizeof(int));    la[0] = a[0],ra[length-2] = a[length-1];    for(i=1;i<length-2;i++)        la[i] = max(la[i-1]+a[i], a[i]);    for(i=length-3;i>=0;i--)        ra[i] = max(ra[i+1]+a[i+1], a[i+1]);    result = la[0]+ra[1];    for(i=0;i<length-1;i++)        for(j=i;j<length-1;j++)            result = max(la[i]+ra[j], result);    free(la);    free(ra);    return result;}

        也就是将数组的直接声明换成malloc分配，不管是否去掉注释，均输出正确结果。如果把程序改成这样：

#include <stdio.h>#include <malloc.h>#define max(a,b) ((a)>(b)?(a):(b))int computeMax(int [], int);int main() {    int array[10] = {1,-1,2,2,3,-3,4,-4,5,-5};    int a = computeMax(array,10);    /*printf("\n");*/    printf("%d\n", a);    return 0;} int computeMax(int a[], int length) {    int i,j,result;    int la[length-1], ra[length-1];    la[0] = a[0],ra[length-2] = a[length-1];    for(i=1;i<length-2;i++)        la[i] = max(la[i-1]+a[i], a[i]);    for(i=length-3;i>=0;i--)        ra[i] = max(ra[i+1]+a[i+1], a[i+1]);    result = la[0]+ra[1];    for(i=0;i<length-1;i++)        for(j=i;j<length-1;j++)            result = max(la[i]+ra[j], result);    return result;}

        也就是把computeMax的返回值放到一个变量中，并且赋值操作在被注释语句之前完成，那么被注释的语句对执行结果也没有什么影响。
        其实还可以做一些测试，比如在computeMax中返回之前输出一下result。结果也不相同。
        一个简单的printf("\n")换行就能有这样的影响？把代码贴到网上，别人执行也没遇到这问题，很让我困惑。自己猜测可能是由于内存空间被污染了，用malloc自己分配释放空间，就没有问题，如果用程序自动分配就有问题。具体也说不上来什么，还得更细的分析，如果有高手知道具体可能是哪里出了问题，麻烦告知一下。
        PS:http://www.iteye.com/topic/1105480感觉这个问题和上面的问题很像。

查看更多 下一篇