对于函数的变长参数,参数的求值顺序没有规定,即每个参数求值的开始和结束时间是未定义的。因此,在使用变长参数时,不应该假定参数的求值顺序。
例如,在以下代码中,函数test()
有两个参数,其中第二个参数是变长参数,计算每个参数的平方和并返回。由于参数的求值顺序未定义,编译器可能会先计算x
,也可能会先计算args
中的参数。
#include
int test(int x, ...) {
int sum = x*x;
va_list args;
va_start(args, x);
int num;
while ((num = va_arg(args, int))) {
sum += num*num;
}
va_end(args);
return sum;
}
// Example usage:
int result = test(1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 0);
为了避免这个问题,我们可以将变长参数封装到一个数组中,这样可以确保参数的求值顺序和数组中的顺序一致,例如:
int test2(int x, int* args, size_t size) {
int sum = x*x;
for (size_t i=0; i