函数的可变参数详谈

可变参数的英文表示为:variable argument.
它在函数的定义时,用三个点号'.'表示,用逗号与其它参数分隔.0 k# l5 P, B4 @; m) Z' {1 B
可变参数的特点:不像固定参数那样一一对应,也不像固定参数有固定的参数类型和参数名称;可变参数中个数不
定可是传入的是一个参数也可以是多个;可变参数中的每个参数的类型可以不同,也可以相同;可变参数的每个参数并没有
实际的名称与之相对应.3 D  o- E6 X( V6 q
由此可见,可变参数的形式非常自由而富有弹生.因些,它给那些天才程序员有更大地想象和发挥空间.& x0 o' ]/ m( T( f) Z
然而,更多地自由,同样也加大操作上的难度.% P# e7 f3 @  R$ ?6 u) D0 Z6 f
以下就对可变参数的几个方面作一定的介绍.0 X" }) n0 ]" X

1)可变参数的存储形式.9 ^" j( u/ X! O" t$ R3 n0 [) w
* ?" \( |1 j, [* g1 s( ^
大家都知道,一般函数的形参属于局部变量.而局部变量就是存储在内存的栈区(所谓的栈区:由编译器自动分配释放,
存放函数的参数值,局部变量的值等。其操作方式类似于数据结构中的栈。).可变参数也是存储在内存栈区.4 [# i* k: s: E! s$ F
在对函数的形参存储的时侯,编译器是从函数的形参的右边到左边逐一地压栈,( u3 g* ]) o, W. F3 T+ y+ s# i
这样保证了栈顶是函数的形参的第一个参数(从左到右数).而80x86平台下的内存分配顺序是从高地址内存到低地址内存.8 q% j! _7 N" g0 s7 v- p
因此,函数的形参在内存的存储形式如下图(以fun(int var1,int var2,...,int var3,int var4)为例):. W4 L& v$ S" c
栈区:

|栈顶          低地址, O; d4 z% M0 n1 T9 U% C3 x4 n/ w

|第一个固定参数var1# Y% Q' d, Z6 k' z3 f& c' H
|可变参数前的第一个固定参数var22 @, i  t. |3 g
|可变参数的第一个参数6 [" j; \7 K. S0 |3 f
|...6 T3 g4 t1 o  k% R
|可变参数的最后一个参数
|函数的倒数第二个固定参数var3
|函数的最后一个固定参数var4
|...
|函数的返回地址
|.../ f% f" P- F$ j
|栈底高地址

2)使用可变参数所用到头文件和相关宏说明3 [1 A4 F8 p. a

在此,以TC2.0编译器为参考对象来说明.' T8 m6 R4 D, E4 k
可变参数的相关定义在TC2.0的名为"STDARG.H"的头文件中.# k# `6 K2 x( }' ]8 v4 s
此文件为:" M+ {- L/ g/ L& i
/* stdarg.h8 H/ h6 L$ u5 N% R
: F, X: x- i. x& d+ s9 R
Definitions for ACCESSing parameters in functions that accept
a variable number of arguments.
! u( \% \" Z5 j/ N7 ?
Copyright (c) Borland International 1987,1988
All Rights Reserved.
*/
#if __STDC__
#define _Cdecl
#else1 I' E% w$ C" p" J6 ^1 I% y
#define _Cdecl cdecl0 P2 ^( A3 s1 o
#endif
: P) M8 ?; B5 S. P/ Y( E
#if !defined(__STDARG)$ [; q; [4 _7 ~
#define __STDARG
9 n- X0 ]! O4 |; n* A
typedef void *va_list;3 [4 z( {( M4 |& k- d& ^8 N& t

#define va_start(ap, parmN) (ap = ...)
#define va_arg(ap, type) (*((type *)(ap))++)
#define va_end(ap)
#define _va_ptr (...)
#endif! r+ i  Z% |9 `& C. j: p/ I

以上为"STDARG.H"的内容.8 @! ^) n4 I8 T. W6 x' U+ O
该文件定义了使用可变参数所用到的数据类型:typedef void  *va_list;
va_start(ap,parmN)起到初始化,使用得ap指向可变参数的第一个参数.ap的类型为va_list,
parmN为可变参数的前面一个固定参数.
va_arg(ap,type)获得当前ap所指向的参数,并使ap指向可变参数的下一个参数,type为需要获得的参数的类型.
va_end(ap) 结束可变参数获取.' S8 T3 P$ U+ V+ C( q5 L8 z3 Z
" J/ g; r: G8 ^7 w/ O: N2 x
3)可变参数的使用实例
. }/ s. e6 o9 N
实例目的:用可变参数来实现个数不定的字符串的传递,并显示传递过来的字符串.; H; Y7 x- f& `( d5 D
: W: W; a! U# w+ F  Y$ T
#include<stdio.h>
#include<conio.h>. b6 X& T' q& j; [& h# M3 T$ T
#include<stdarg.h>6 {9 l6 e9 `, [
void tVarArg(int num,...);/*num为可变参数的个数*/
int main(void)
{
clrscr();
tVarArg(5,"Hello! ","My ","name ","is ","neverTheSame.\n");% e% G+ _  K3 W% h/ q) P% B
tVarArg(8,"This ","is ","an ","example ","about ","variable-argument ","in ","funtion");
getch();7 L, O6 Z4 H' L0 }. J! B; y
return 0;
}& u6 b+ K+ s9 R1 I5 D( b+ G! ]6 F
void tVarArg(int num,...)% _% M8 ~" k9 D
{
va_list argp;  /*定义一个指向可变参数的变量*/8 O6 p1 B. V1 U) N
va_start(argp,num); /*初始化,使用argp指向可变参数的第一个参数*/
while(--num>=0)1 y2 k; q2 X$ X" n: @/ o7 v
  printf("%s",(va_arg(argp,char*)));/*va_arg(argp,char*)获得argp所指向的参数,/ J. I4 ~3 ]! ?4 _( E1 _
并使用argp指向下一个参数,char*使用所获得的参数的类型转换为char*型.*/: W. h$ o. i! i5 g) N
va_end(argp);  /*结束可变参数获取*/
return ;: p% P- h2 i* x+ c9 V
}
+ f& V' O1 H) b: M4 [
4)可变参数的使用需要注意的问题

1.每个函数的可变参数至多有一个.
2.va_start(ap,parmN)中parmN为可变参数前的一个固定参数.9 E, y. I  A. q
3.可变参数的个数不确定,完全由程序约定.
4.可变参数的类型不确定,完全由va_arg(ap,type)中的type指定,然后就把参数的类型强制转换.$ }; D* e+ I+ W1 }5 \
而printf()中不是实现了识别参数吗?那是因为函数 , k8 d# J- v$ G" j# ]( W3 K
printf()是从固定参数format字符串来分析出参数的类型,再调用va_arg 9 n& H; s9 ^6 M' @- C2 ]
的来获取可变参数的.也就是说,你想实现智能识别可变参数的话是要通 ! z  l: |' D1 b" b* k
过在自己的程序里作判断来实现的.
5.编译器对可变参数的函数的原型检查不够严格,对编程人员要求很高.

返回列表

函数的可变参数详谈

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

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