C语言可变参数函数实现_c语言实现可变参数函数,其参数可能为空或有一个参数-CSDN博客

本文链接：https://blog.csdn.net/jinkui2008/article/details/1967064

c语言实现函数可变参数

前言：
       本文在很大程度上改编自网友kevintz的“C语言中可变参数的用法”一文，在行文之前先向这位前辈表示真诚的敬意和感谢。
   一、什么是可变参数
         我们在C语言编程中有时会遇到一些参数个数可变的函数,例如printf()函数,其函数原型为:
   int    printf(    const    char*    format,    ...);
         它除了有一个参数format固定以外,后面跟的参数的个数和类型是可变的（用三个点“…”做参数占位符）,实际调用时可以有以下的形式:
       printf("%d",i);
       printf("%s",s);
       printf("the    number    is    %d    ,string    is:%s",    i,    s);
       以上这些东西已为大家所熟悉。但是究竟如何写可变参数的C函数以及这些可变参数的函数编译器是如何实现，这个问题却一直困扰了我好久。本文就这个问题进行一些探讨,希望能对大家有些帮助.

   二、写一个简单的可变参数的C函数
           先看例子程序。该函数至少有一个整数参数,其后是占位符…，表示后面参数的个数不定.    在这个例子里，所有的输入参数必须都是整数，函数的功能是打印所有参数的值.
   函数代码如下：
   //示例代码1：可变参数函数的使用
   #include    "stdio.h"
   #include    "stdarg.h"
   void    simple_va_fun(int    start,    ...)
   {
           va_list    arg_ptr;
           int    nArgValue    =start;
           int    nArgCout=0;            //可变参数的数目
           va_start(arg_ptr,start);    //以固定参数的地址为起点确定变参的内存起始地址。
           do
           {
                   ++nArgCout;
                   printf("the    %d    th    arg:    %d/n",nArgCout,nArgValue);            //输出各参数的值
                   nArgValue    =    va_arg(arg_ptr,int);                                            //得到下一个可变参数的值
           }    while(nArgValue    !=    -1);
           va_end（arg_ptr）；
           return;
   }
   int    main(int    argc,    char*    argv[])
   {
           simple_va_fun(100,-1);
           simple_va_fun(100,200,-1);
           return    0;
   }

   从这个函数的实现可以看到,我们使用可变参数应该有以下步骤:
   ⑴在程序中将用到以下这些宏:
   void    va_start(    va_list    arg_ptr,    prev_param    );
   type    va_arg(    va_list    arg_ptr,    type    );
   void    va_end(    va_list    arg_ptr    );
   va在这里是variable-argument(可变参数)的意思.
   这些宏定义在stdarg.h中,所以用到可变参数的程序应该包含这个头文件.
   ⑵函数里首先定义一个va_list型的变量,这里是arg_ptr,这个变量是指向参数地址的指针.因为得到参数的地址之后，再结合参数的类型，才能得到参数的值。
   ⑶然后用va_start宏初始化⑵中定义的变量arg_ptr,这个宏的第二个参数是可变参数列表的前一个参数,也就是最后一个固定参数。
   ⑷然后依次用va_arg宏使arg_ptr返回可变参数的地址,得到这个地址之后，结合参数的类型，就可以得到参数的值。然后进行输出。
   ⑸设定结束条件，这里的条件就是判断参数值是否为-1。注意被调的函数在调用时是不知道可变参数的正确数目的，程序员必须自己在代码中指明结束条件。至于为什么它不会知道参数的数目，读者在看完下面这几个宏的内部实现机制后，自然就会明白。

c语言中函数的可变参数

1. 要在函数中使用参数,首先要包含<stdarg.h>, #inlcude <stdarg.h>

2. stdarg.h 这个头文件中包含了下面的宏定义：
void va_start(va_list ap, last);
type va_arg(va_list ap, type);
void va_end(va_list ap);
void va_copy(va_list dest, va_list src);
下面将会详细介绍这些宏定义
stdarg.h 这个头文件声明了一个va_list类型，定义了三个宏，用来遍历可变参数列表。
拥有可变参数列表的函数定义中，必须要有一个va_list类型的变量，这个变量在va_start, va_arg, va_end中将会用到。

va_start(va_list ap, last)
va_start必须第一个调用，它初始化 va_list 类型的变量 ap，参数 last 是可变参数列表的前一个参数的名字，也就是最后类型已确定的函数参数名；因为这个参数的的地址可能会被宏va_start用到，所以最好不要是寄存器变量，函数，或者数组。

type va_arg(va_list ap, type)
宏va_arg展开后是关于下一个参数的类型和值的表达式，参数 ap 就是被va_start初始化了的那个va_list类型的参数，参数 type 是明确的类型名。
在va_start调用之后的第一次va_arg调用返回的是可变参数列表中的第一个参数，再一次调用va_arg返回的是可变列表中下一个参数（如果还有）。
如果没有下一个参数，或者参数类型不匹配，会产生随机错误。
如果ap被传递到了函数va_arg中，当函数返回以后，ap的值就没有定义了。

void va_end(va_list ap)
每次调用va_start就必须相应的调用va_end，调用va_end(ap)以后， ap就没有定义了。

void va_copy(va_list dest, va_list src)
复制va_list类型的变量。
每次调用va_copy，必须有相应的va_end调用

3. 举例：
#include <stdio.h>
#include <stdarg.h>

void foo(char *fmt, ...);
int main()
{
char *string = "aaaaaaaaaaaa";
int i = 10;
char c = ’v’;
foo("s d c", string, i, c);
return 0;
}

void foo(char *fmt, ...)
{
va_list ap;
int d;
char c, *p, *s;

va_start(ap, fmt);
while (*fmt)
switch(*fmt++)
{
case ’s’:            /* string */
s = va_arg(ap, char *);
printf("string %s ", s);
break;
case ’d’:            /* int */
d = va_arg(ap, int);
printf("int %d ", d);
break;
case ’c’:            /* char */
/* need a cast here since va_arg only
takes fully promoted types */
c = (char) va_arg(ap, int);
printf("char %c ", c);
break;
default:
printf("***************************** ");
break;
}
va_end(ap);
}

( 0 ) / 评论( 1 ) 可变参数的英文表示为:variable argument.
它在函数的定义时,用三个点号'.'表示,用逗号与其它参数分隔.
可变参数的特点:不像固定参数那样一一对应,也不像固定参数有固定的参数类型和参数名称;可变参数中个数不
定可是传入的是一个参数也可以是多个;可变参数中的每个参数的类型可以不同,也可以相同;可变参数的每个参数并没有
实际的名称与之相对应.
由此可见,可变参数的形式非常自由而富有弹生.因些,它给那些天才程序员有更大地想象和发挥空间.
然而,更多地自由,同样也加大操作上的难度.
以下就对可变参数的几个方面作一定的介绍. 1)可变参数的存储形式.
大家都知道,一般函数的形参属于局部变量.而局部变量就是存储在内存的栈区(所谓的栈区:由编译器自动分配释放,
存放函数的参数值,局部变量的值等。其操作方式类似于数据结构中的栈。).可变参数也是存储在内存栈区.
在对函数的形参存储的时侯,编译器是从函数的形参的右边到左边逐一地压栈,
这样保证了栈顶是函数的形参的第一个参数(从左到右数).而80x86平台下的内存分配顺序是从高地址内存到低地址内存.
因此,函数的形参在内存的存储形式如下图(以fun(int var1,int var2,...,int var3,int var4)为例):
栈区:
|栈顶          低地址
|第一个固定参数var1
|可变参数前的第一个固定参数var2
|可变参数的第一个参数
|...
|可变参数的最后一个参数
|函数的倒数第二个固定参数var3
|函数的最后一个固定参数var4
|...
|函数的返回地址
|...
|栈底高地址
2)使用可变参数所用到头文件和相关宏说明
在此,以TC2.0编译器为参考对象来说明.
可变参数的相关定义在TC2.0的名为"STDARG.H"的头文件中.
此文件为:
/* stdarg.h
Definitions for ACCESSing parameters in functions that accept
a variable number of arguments.
Copyright (c) Borland International 1987,1988
All Rights Reserved.
*/
#if __STDC__
#define _Cdecl
#else
#define _Cdecl cdecl
#endif
#if !defined(__STDARG)
#define __STDARG
typedef void *va_list;
#define va_start(ap, parmN) (ap = ...)
#define va_arg(ap, type) (*((type *)(ap))++)
#define va_end(ap)
#define _va_ptr (...)
#endif
以上为"STDARG.H"的内容.
该文件定义了使用可变参数所用到的数据类型:typedef void   *va_list;
va_start(ap,parmN)起到初始化,使用得ap指向可变参数的第一个参数.ap的类型为va_list,
parmN为可变参数的前面一个固定参数.
va_arg(ap,type)获得当前ap所指向的参数,并使ap指向可变参数的下一个参数,type为需要获得的参数的类型.
va_end(ap) 结束可变参数获取.
3)可变参数的使用实例
实例目的:用可变参数来实现个数不定的字符串的传递,并显示传递过来的字符串.
#include<stdio.h>
#include<conio.h>
#include<stdarg.h>
void tVarArg(int num,...);/*num为可变参数的个数*/
int main(void)
{
clrscr();
tVarArg(5,"Hello! ","My ","name ","is ","neverTheSame./n");
tVarArg(8,"This ","is ","an ","example ","about ","variable-argument ","in ","funtion");
getch();
return 0;
}
void tVarArg(int num,...)
{
va_list argp;   /*定义一个指向可变参数的变量*/
va_start(argp,num); /*初始化,使用argp指向可变参数的第一个参数*/
while(--num>=0)
   printf("%s",(va_arg(argp,char*)));/*va_arg(argp,char*)获得argp所指向的参数,
并使用argp指向下一个参数,char*使用所获得的参数的类型转换为char*型.*/
va_end(argp);   /*结束可变参数获取*/
return ;
}
4)可变参数的使用需要注意的问题
1.每个函数的可变参数至多有一个.
2.va_start(ap,parmN)中parmN为可变参数前的一个固定参数.
3.可变参数的个数不确定,完全由程序约定.
4.可变参数的类型不确定,完全由va_arg(ap,type)中的type指定,然后就把参数的类型强制转换.
而printf()中不是实现了识别参数吗?那是因为函数
printf()是从固定参数format字符串来分析出参数的类型,再调用va_arg
的来获取可变参数的.也就是说,你想实现智能识别可变参数的话是要通
过在自己的程序里作判断来实现的.
5.编译器对可变参数的函数的原型检查不够严格,对编程人员要求很高.