函数的可变参数详谈

可变参数的英文表示为:variable argument.' K* b5 U1 f  S
它在函数的定义时,用三个点号'.'表示,用逗号与其它参数分隔.0 b# i. ]! ^. G" s  a
可变参数的特点:不像固定参数那样一一对应,也不像固定参数有固定的参数类型和参数名称;可变参数中个数不+ f4 D! ^4 ~1 P9 _/ j1 S
定可是传入的是一个参数也可以是多个;可变参数中的每个参数的类型可以不同,也可以相同;可变参数的每个参数并没有
实际的名称与之相对应.8 O  @; T1 u/ L/ c4 p, V/ h' l7 `) z
由此可见,可变参数的形式非常自由而富有弹生.因些,它给那些天才程序员有更大地想象和发挥空间.$ ]# L* d7 N4 u
然而,更多地自由,同样也加大操作上的难度.0 W$ }  }* i' Q; X" ~# f3 B9 p6 h& _
以下就对可变参数的几个方面作一定的介绍.! E# A1 V- n3 u2 V+ \$ m

1)可变参数的存储形式.

大家都知道,一般函数的形参属于局部变量.而局部变量就是存储在内存的栈区(所谓的栈区:由编译器自动分配释放,# |7 s4 a# x2 d  s4 i
存放函数的参数值,局部变量的值等。其操作方式类似于数据结构中的栈。).可变参数也是存储在内存栈区.
在对函数的形参存储的时侯,编译器是从函数的形参的右边到左边逐一地压栈,6 y4 w6 U0 H1 E( l
这样保证了栈顶是函数的形参的第一个参数(从左到右数).而80x86平台下的内存分配顺序是从高地址内存到低地址内存.
因此,函数的形参在内存的存储形式如下图(以fun(int var1,int var2,...,int var3,int var4)为例):
栈区:

|栈顶          低地址# Q8 _/ M# r, U& k9 [5 e# s4 F
, I0 n0 P' _" C( }2 K. C. |* ?, R
|第一个固定参数var1
|可变参数前的第一个固定参数var21 y, W, }' k% O' _* |
|可变参数的第一个参数
|...
|可变参数的最后一个参数" p+ E2 l5 I, M$ o+ @
|函数的倒数第二个固定参数var3
|函数的最后一个固定参数var4
|...2 K5 b. B' a; z
|函数的返回地址
|...
|栈底高地址9 q2 q8 D& F& e: L. S
4 e4 q2 G" P& m" T" W" y5 k
2)使用可变参数所用到头文件和相关宏说明

在此,以TC2.0编译器为参考对象来说明.
可变参数的相关定义在TC2.0的名为"STDARG.H"的头文件中.8 O4 w7 G. H. }" u4 F  r9 L; `
此文件为:
/* stdarg.h* A* |2 Z0 B, Q9 F
/ h# H: a  ]( s3 ~* t6 R
Definitions for ACCESSing parameters in functions that accept
a variable number of arguments.

Copyright (c) Borland International 1987,19887 U; _; }, E4 z: A) Q% @. p
All Rights Reserved.# d  S4 P- i) }& ]" N/ z1 o; M) n
*/* @. y! J  X  a% J6 q
#if __STDC__
#define _Cdecl
#else; Z9 B' f0 l- }' _0 P& c& q
#define _Cdecl cdecl
#endif

#if !defined(__STDARG)7 |  w* v, Q  `. D, W" h4 R
#define __STDARG
+ R; K2 x" u- @3 G1 L* ^( `
typedef void *va_list;

#define va_start(ap, parmN) (ap = ...)1 T. h7 ]. v( |. e
#define va_arg(ap, type) (*((type *)(ap))++)
#define va_end(ap)
#define _va_ptr (...)1 k6 `# v0 I! Q. F- I& T
#endif
1 V9 F# _* g, a7 O9 }
以上为"STDARG.H"的内容.
该文件定义了使用可变参数所用到的数据类型:typedef void  *va_list;
va_start(ap,parmN)起到初始化,使用得ap指向可变参数的第一个参数.ap的类型为va_list,
parmN为可变参数的前面一个固定参数.. t  L  `2 O* X, _' A
va_arg(ap,type)获得当前ap所指向的参数,并使ap指向可变参数的下一个参数,type为需要获得的参数的类型.& n& n& l/ U4 T2 \( c  z
va_end(ap) 结束可变参数获取.

3)可变参数的使用实例& ]. w/ G8 d; R5 G5 J
. t. m% Q5 s0 t, r
实例目的:用可变参数来实现个数不定的字符串的传递,并显示传递过来的字符串., Q; S" I- Z5 h  |, m( ]
1 t0 g. o9 D/ M0 E9 L# |
#include<stdio.h>* ?8 W0 v! q& ^( k! D4 U/ T
#include<conio.h>- ]  q  \% u% p, z: h8 w5 g0 y6 ]5 X. z
#include<stdarg.h>
void tVarArg(int num,...);/*num为可变参数的个数*/
int main(void)
{
clrscr();, k  }& J1 B6 ^; R. y
tVarArg(5,"Hello! ","My ","name ","is ","neverTheSame.\n");+ z+ w. P, w5 l
tVarArg(8,"This ","is ","an ","example ","about ","variable-argument ","in ","funtion");4 b! M1 E/ M$ F: l4 }% x9 s
getch();7 a' b, ?$ K$ z7 \. \
return 0;6 P9 c( |" K* d$ |; H
}
void tVarArg(int num,...)
{
va_list argp;  /*定义一个指向可变参数的变量*/
va_start(argp,num); /*初始化,使用argp指向可变参数的第一个参数*/3 n( w0 g0 G1 [% n& r; x5 z5 b
while(--num>=0)) U# z- H4 G$ C5 n2 P5 ~
  printf("%s",(va_arg(argp,char*)));/*va_arg(argp,char*)获得argp所指向的参数,2 g" n* T) f4 y0 i" L! |
并使用argp指向下一个参数,char*使用所获得的参数的类型转换为char*型.*/
va_end(argp);  /*结束可变参数获取*/7 D/ S* P4 K5 O, Z& m2 T
return ;
}

4)可变参数的使用需要注意的问题

1.每个函数的可变参数至多有一个.9 f9 L+ g0 }4 G" a$ }9 u9 z
2.va_start(ap,parmN)中parmN为可变参数前的一个固定参数.8 [* Y) h/ f5 W4 L' ]
3.可变参数的个数不确定,完全由程序约定.
4.可变参数的类型不确定,完全由va_arg(ap,type)中的type指定,然后就把参数的类型强制转换.* N3 ]& ?9 g& q
而printf()中不是实现了识别参数吗?那是因为函数 * J( r- d" k* R/ m
printf()是从固定参数format字符串来分析出参数的类型,再调用va_arg
的来获取可变参数的.也就是说,你想实现智能识别可变参数的话是要通 8 W+ f- B4 F. L0 w/ ?) P6 N
过在自己的程序里作判断来实现的.
5.编译器对可变参数的函数的原型检查不够严格,对编程人员要求很高.

返回列表

函数的可变参数详谈

[收藏此主题] [关注此主题的新回复]

[通过 QQ、MSN 分享给朋友]