C语言中什么时候会牵扯到默认参数提升呢?
在C语言中,调用一个不带原型声明的函数时:调用者会对每个参数执行“默认实际参数提升(default argument promotions)。
同时,对可变长参数列表超出最后一个有类型声明的形式参数之后的每一个实际参数,也将执行上述提升工作。
提升工作如下:
——float类型的实际参数将提升到double——char、short和相应的signed、unsigned类型的实际参数提升到int——如果int不能存储原值,则提升到unsigned int
然后,调用者将提升后的参数传递给被调用者。
函数的可变参数的实现方式有两种:
1.通过库函数stdarg.h实现
先贴代码
int add(int n,...)
{
int i = 0;
int sum = 0;
va_list ap;
va_start(ap,n);
for(i = 0;i < n;i++)
{
sum += va_arg(ap,int);
}
va_end(ap);
return sum;
}
在函数中
va_list ap;//首先声明一个char类型的变量指针
va_start(ap,n);//将指针指向第二个参数,没错就是函数的第二个参数,va_start的宏定义是通过第一个参数定位到第二个参数的地址
va_arg(ap,int);//获取当前函数的值,并且指针+1(指针指向下一个参数)
va_end(ap);结束
2.不需通过库函数,直接通过地址来实现
先贴代码
int add1(int n,...)
{
int *arg = (int *)&n + 1;
int i = 0;
int sum = 0;
for(i = 0;i < n;i++)
{
sum += *arg;
arg++;
}
return sum;
}
由于函数的参数是通过堆栈存储的,而且是把函数参数从右向左一次压入堆栈,所以说,第一个参数在堆顶,我们就可以通过地址依次获取参数
具体参考文章:c语言可变参数原理以及printf函数的自实现_printf获取第二个参数-优快云博客
最后贴出完整的代码:
#include <stdio.h>
#include <stdlib.h>
#include <stdarg.h>
int add(int n,...);
int add1(int n,...);
int main()
{
printf("Hello world!\n");
printf("通过库函数实现的add(3,10,20,30) = %d\n",add(3,10,20,30));
printf("通过堆栈地址实现的add1(4,50,60,20,30) = %d\n",add1(4,50,60,20,30));
return 0;
}
int add(int n,...)
{
int i = 0;
int sum = 0;
va_list ap;
va_start(ap,n);
for(i = 0;i < n;i++)
{
sum += va_arg(ap,int);
}
va_end(ap);
return sum;
}
int add1(int n,...)
{
int *arg = (int *)&n + 1;
int i = 0;
int sum = 0;
for(i = 0;i < n;i++)
{
sum += *arg;
arg++;
}
return sum;
}