C语言中一个函数返回值不一致的有关问题
C语言中一个函数返回值不一致的问题
对于一个只用C写十几二十行程序的菜鸟,也能遇到这样那样诡异郁闷的问题,其实知道点底层也挺好的。先说这个问题:
这个程序解决什么问题的就不罗嗦了,不重要……代码中有一句被注释了,这段代码有这两种执行情况:
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函数改成这样:
也就是将数组的直接声明换成malloc分配,不管是否去掉注释,均输出正确结果。如果把程序改成这样:
也就是把computeMax的返回值放到一个变量中,并且赋值操作在被注释语句之前完成,那么被注释的语句对执行结果也没有什么影响。
其实还可以做一些测试,比如在computeMax中返回之前输出一下result。结果也不相同。
一个简单的printf("\n")换行就能有这样的影响?把代码贴到网上,别人执行也没遇到这问题,很让我困惑。自己猜测可能是由于内存空间被污染了,用malloc自己分配释放空间,就没有问题,如果用程序自动分配就有问题。具体也说不上来什么,还得更细的分析,如果有高手知道具体可能是哪里出了问题,麻烦告知一下。
PS:http://www.iteye.com/topic/1105480感觉这个问题和上面的问题很像。
对于一个只用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感觉这个问题和上面的问题很像。