函数的可变参数详谈

可变参数的英文表示为:variable argument.. T) M% W! U5 p, {2 G
它在函数的定义时,用三个点号'.'表示,用逗号与其它参数分隔.1 r4 Z8 q- m2 g0 P/ @
可变参数的特点:不像固定参数那样一一对应,也不像固定参数有固定的参数类型和参数名称;可变参数中个数不$ P: R8 O' |, q/ h: |
定可是传入的是一个参数也可以是多个;可变参数中的每个参数的类型可以不同,也可以相同;可变参数的每个参数并没有
实际的名称与之相对应.
由此可见,可变参数的形式非常自由而富有弹生.因些,它给那些天才程序员有更大地想象和发挥空间.1 n8 K; c1 O: d8 \
然而,更多地自由,同样也加大操作上的难度.
以下就对可变参数的几个方面作一定的介绍.

1)可变参数的存储形式.
. `9 _+ k* N5 s* q
大家都知道,一般函数的形参属于局部变量.而局部变量就是存储在内存的栈区(所谓的栈区:由编译器自动分配释放,
存放函数的参数值,局部变量的值等。其操作方式类似于数据结构中的栈。).可变参数也是存储在内存栈区.9 Y; D3 j3 W7 i5 v1 z1 P6 b
在对函数的形参存储的时侯,编译器是从函数的形参的右边到左边逐一地压栈,, b! s8 F- l( W5 D; q
这样保证了栈顶是函数的形参的第一个参数(从左到右数).而80x86平台下的内存分配顺序是从高地址内存到低地址内存.7 n* b2 ?/ l8 s( f5 D) x" ]
因此,函数的形参在内存的存储形式如下图(以fun(int var1,int var2,...,int var3,int var4)为例):) Q9 g; s) }. o( @+ }2 x
栈区:

|栈顶          低地址( [, @( x. f9 u0 S& O4 D# u" p1 z
6 g4 o2 U% _6 @! ~8 ^
|第一个固定参数var1
|可变参数前的第一个固定参数var2
|可变参数的第一个参数; x) W4 h$ w- F
|...
|可变参数的最后一个参数
|函数的倒数第二个固定参数var3
|函数的最后一个固定参数var47 h- F. J; P9 ]; U
|...
|函数的返回地址2 b& M- Q: H/ K6 M: o
|...
|栈底高地址

2)使用可变参数所用到头文件和相关宏说明
7 u3 g2 [2 g' T8 R
在此,以TC2.0编译器为参考对象来说明." H$ Z& c; W! O' d2 E
可变参数的相关定义在TC2.0的名为"STDARG.H"的头文件中.
此文件为:. ~6 h# Z* U$ U! |' {: R3 F
/* stdarg.h
+ u2 C# F/ ?; B/ {+ q- o
Definitions for ACCESSing parameters in functions that accept
a variable number of arguments.
1 L! T( D! N0 r4 P1 y, L6 b3 @' Y2 s& H
Copyright (c) Borland International 1987,1988
All Rights Reserved.1 e* |6 b1 M9 z, i* `4 m
*/, l2 G, k; {( g6 b  w
#if __STDC__
#define _Cdecl; ^2 b: F" {' v- i$ `8 m
#else
#define _Cdecl cdecl
#endif

#if !defined(__STDARG)) n  o6 Y, p# L% I
#define __STDARG- R+ z! Q9 i3 b- J8 T2 k

typedef void *va_list;
; R1 k3 c( t% }! A
#define va_start(ap, parmN) (ap = ...)
#define va_arg(ap, type) (*((type *)(ap))++)
#define va_end(ap)
#define _va_ptr (...)
#endif
7 E% V2 `, E# |
以上为"STDARG.H"的内容.$ Y' U3 g4 a. l  ?- ^4 r: T
该文件定义了使用可变参数所用到的数据类型:typedef void  *va_list;+ p4 b1 Y) }9 O' c
va_start(ap,parmN)起到初始化,使用得ap指向可变参数的第一个参数.ap的类型为va_list,
parmN为可变参数的前面一个固定参数.
va_arg(ap,type)获得当前ap所指向的参数,并使ap指向可变参数的下一个参数,type为需要获得的参数的类型.
va_end(ap) 结束可变参数获取.
# k; ]/ E. p7 S6 l5 Y! r5 D
3)可变参数的使用实例' Y! c( Y! o1 c
' E0 N# d6 u; X; N# b
实例目的:用可变参数来实现个数不定的字符串的传递,并显示传递过来的字符串.
5 m, q- o6 b, `  y& |
#include<stdio.h>
#include<conio.h>& s& |% I8 z/ d) u1 G4 u, _
#include<stdarg.h>
void tVarArg(int num,...);/*num为可变参数的个数*/
int main(void)1 c  e  B) r6 \5 Z0 i& o9 S# K( a/ v8 c
{
clrscr();1 L! k& B* C5 }3 H- O' r5 O# k% }5 g
tVarArg(5,"Hello! ","My ","name ","is ","neverTheSame.\n");
tVarArg(8,"This ","is ","an ","example ","about ","variable-argument ","in ","funtion");
getch();7 l. O! e& Z8 [4 r
return 0;* b  }/ ]2 ?, u, d
}
void tVarArg(int num,...)' `) V" G- D0 b2 b- v
{% R5 \5 u8 Y1 l+ _7 ~2 a
va_list argp;  /*定义一个指向可变参数的变量*/
va_start(argp,num); /*初始化,使用argp指向可变参数的第一个参数*/$ y6 X1 J9 u% [5 w( [
while(--num>=0)
  printf("%s",(va_arg(argp,char*)));/*va_arg(argp,char*)获得argp所指向的参数,; C5 |. ~! _$ V2 A: Y$ S* ^8 S
并使用argp指向下一个参数,char*使用所获得的参数的类型转换为char*型.*/* c- N; Z& k+ o' L( `# v
va_end(argp);  /*结束可变参数获取*/* ~) `. m( ~6 |: x
return ;% y( F& D! H9 ~! P9 X+ e/ c
}

4)可变参数的使用需要注意的问题0 J5 r* V) ]5 [6 f7 P: z

1.每个函数的可变参数至多有一个.
2.va_start(ap,parmN)中parmN为可变参数前的一个固定参数.
3.可变参数的个数不确定,完全由程序约定.
4.可变参数的类型不确定,完全由va_arg(ap,type)中的type指定,然后就把参数的类型强制转换.' a4 @% t0 G2 ]' ]  b: }9 u- g0 W
而printf()中不是实现了识别参数吗?那是因为函数
printf()是从固定参数format字符串来分析出参数的类型,再调用va_arg " E. o* B+ O0 h$ t0 ?
的来获取可变参数的.也就是说,你想实现智能识别可变参数的话是要通
过在自己的程序里作判断来实现的. * f- q: I5 x# N1 Z
5.编译器对可变参数的函数的原型检查不够严格,对编程人员要求很高.

返回列表

函数的可变参数详谈

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

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