下面看一个函数参数的求值顺序的示例:
#include <stdio.h> int func(int i, int j) { printf("i = %d, j = %d\n", i, j); return 0; } int main() { int k = 1; func(k++, k++); printf("%d\n", k); return 0; }
输出结果如下:
这个示例说明函数参数的求值顺序依赖于编译器的实现。
下面看一个程序中的顺序点示例:
#include <stdio.h> int main() { int k = 2; int a = 1; k = k++ + k++; printf("k = %d\n", k); if( a-- && a ) { printf("a = %d\n", a); } return 0; }
输出结果如下:
a-- && a ,对于 && 运算符,每个操作数都是一个顺序点。当程序从左往后执行时,a-- 对内存的修改必须立即完成,所以 a 就变成了 0。
为什么会输出 6 呢?下面在 VS2012 里面运行代码,进行反汇编操作:
这段汇编代码简单的来说,就是先进行 + 操作,k = 2 + 2 = 4,然后进行两次 ++ 操作,所以最终结果就是 6。
函数参数的计算次序是依赖编译器实现的,那么函数参数的入栈次序是如何确定的呢?
当函数调用发生时
调用约定描述参数如何传递到栈中以及栈的维护方式
调用约定是预定义的可理解为调用协议
调用约定通常用于库调用和库开发的时候
计算平均值时,我们一般可以编写成这样:
#include <stdio.h> float average(int array[], int size) { int i = 0; float avr = 0; for(i=0; i<size; i++) { avr += array[i]; } return avr / size; } int main() { int array[] = {1, 2, 3, 4, 5}; printf("%f\n", average(array, 5)); return 0; }
输出结果如下:
C语言中可以定义参数可变的函数
参数可变函数的实现依赖于 stdarg.h 头文件
下面看一个求可变参数平均值的代码:
#include <stdio.h> #include <stdarg.h> float average(int n, ...) { va_list args; int i = 0; float sum = 0; va_start(args, n); for(i=0; i<n; i++) { sum += va_arg(args, int); } va_end(args); return sum / n; } int main() { printf("%f\n", average(5, 1, 2, 3, 4, 5)); printf("%f\n", average(4, 1, 2, 3, 4)); return 0; }
输出结果如下:
注意:va_arg 中如果指定了错误的类型,那么结果是不可预测的。