函数的可变参数详谈

可变参数的英文表示为:variable argument.
它在函数的定义时,用三个点号'.'表示,用逗号与其它参数分隔.. c; d% d$ `3 u7 b- O
可变参数的特点:不像固定参数那样一一对应,也不像固定参数有固定的参数类型和参数名称;可变参数中个数不0 B4 [% g  ~9 d
定可是传入的是一个参数也可以是多个;可变参数中的每个参数的类型可以不同,也可以相同;可变参数的每个参数并没有
实际的名称与之相对应.3 m3 D. N; H1 h" h) }" P
由此可见,可变参数的形式非常自由而富有弹生.因些,它给那些天才程序员有更大地想象和发挥空间.
然而,更多地自由,同样也加大操作上的难度.
以下就对可变参数的几个方面作一定的介绍.
6 R9 C( S1 R# Y7 [1 f8 ~, T- w+ {
1)可变参数的存储形式.1 }* G9 l. a2 ]1 y" |

大家都知道,一般函数的形参属于局部变量.而局部变量就是存储在内存的栈区(所谓的栈区:由编译器自动分配释放,
存放函数的参数值,局部变量的值等。其操作方式类似于数据结构中的栈。).可变参数也是存储在内存栈区.
在对函数的形参存储的时侯,编译器是从函数的形参的右边到左边逐一地压栈,
这样保证了栈顶是函数的形参的第一个参数(从左到右数).而80x86平台下的内存分配顺序是从高地址内存到低地址内存.
因此,函数的形参在内存的存储形式如下图(以fun(int var1,int var2,...,int var3,int var4)为例):8 O; G4 [4 o8 s" n0 z- k
栈区:
! R( J1 B3 X' B1 Q
|栈顶          低地址( T+ a! W, j9 [+ Y
. a3 `) {: w/ w$ @/ U  C+ r- w
|第一个固定参数var1
|可变参数前的第一个固定参数var26 J2 i  u  R# l2 L; P& V
|可变参数的第一个参数/ `& f4 ?6 h5 ?! B- g5 g5 [# L
|...; \- t2 K3 s: |
|可变参数的最后一个参数  f+ B1 d! L" E& A
|函数的倒数第二个固定参数var3
|函数的最后一个固定参数var4
|...
|函数的返回地址3 d+ b7 j4 D$ D2 _$ i. p) L
|...- P7 I- c' f1 T5 K$ B% z/ B
|栈底高地址

2)使用可变参数所用到头文件和相关宏说明
0 s$ N: `! T, Q% ^. O
在此,以TC2.0编译器为参考对象来说明.+ p- @2 A" e' h+ ~
可变参数的相关定义在TC2.0的名为"STDARG.H"的头文件中.
此文件为:
/* stdarg.h
, h1 g& m' M/ {& [: Q9 u$ m. |
Definitions for ACCESSing parameters in functions that accept
a variable number of arguments.

Copyright (c) Borland International 1987,1988
All Rights Reserved.$ G+ ?1 O/ C' E  p
*/
#if __STDC__5 `+ Z. J" h3 s: `
#define _Cdecl
#else
#define _Cdecl cdecl
#endif

#if !defined(__STDARG)
#define __STDARG

typedef void *va_list;
+ s- P0 m' i1 x0 M; R" I
#define va_start(ap, parmN) (ap = ...)
#define va_arg(ap, type) (*((type *)(ap))++)& l' R2 x6 L: m# \$ V) z6 P
#define va_end(ap)1 p7 ~. t% ]$ p% F# h% Y
#define _va_ptr (...)
#endif
4 G: p3 c. V/ s! z
以上为"STDARG.H"的内容.( M" s* H, L: _! @8 d0 P' M/ I
该文件定义了使用可变参数所用到的数据类型:typedef void  *va_list;- @5 }7 C6 j) P7 c* Y: }
va_start(ap,parmN)起到初始化,使用得ap指向可变参数的第一个参数.ap的类型为va_list,; U! V2 G& L# k7 G# Y" _" Y8 N
parmN为可变参数的前面一个固定参数.7 p/ ]9 K, q% ~" R6 t+ a9 i
va_arg(ap,type)获得当前ap所指向的参数,并使ap指向可变参数的下一个参数,type为需要获得的参数的类型.; _: z. v1 R6 T+ t
va_end(ap) 结束可变参数获取.

3)可变参数的使用实例
* ], B+ v/ {- G) \8 Z# c: m3 N3 ]
实例目的:用可变参数来实现个数不定的字符串的传递,并显示传递过来的字符串.- @+ \  l$ Y& W7 C
" o: Q3 [- X- l' o0 T' p
#include<stdio.h>5 K% Z/ F7 K) W1 D
#include<conio.h>
#include<stdarg.h>
void tVarArg(int num,...);/*num为可变参数的个数*/
int main(void)
{, {/ ]+ m7 e' W
clrscr();
tVarArg(5,"Hello! ","My ","name ","is ","neverTheSame.\n");
tVarArg(8,"This ","is ","an ","example ","about ","variable-argument ","in ","funtion");
getch();: w1 I+ R$ f& o" A; i
return 0;. s6 q. R9 Z$ c2 d
}. s8 v  j/ |" |8 a6 A9 ]
void tVarArg(int num,...)
{7 I4 E, g1 w2 u- r1 ?8 b
va_list argp;  /*定义一个指向可变参数的变量*/
va_start(argp,num); /*初始化,使用argp指向可变参数的第一个参数*/6 ^+ |+ Q8 z- c* I: o
while(--num>=0), a2 F6 o. k: ?7 d& G
  printf("%s",(va_arg(argp,char*)));/*va_arg(argp,char*)获得argp所指向的参数,  ?9 q6 v* j) n/ x+ G8 M7 ^$ v
并使用argp指向下一个参数,char*使用所获得的参数的类型转换为char*型.*/
va_end(argp);  /*结束可变参数获取*/
return ;
}
5 k( ~9 B; T5 ^2 I: C, d
4)可变参数的使用需要注意的问题

1.每个函数的可变参数至多有一个.) Y# N* D2 s2 F5 b) S: p+ w) A
2.va_start(ap,parmN)中parmN为可变参数前的一个固定参数." a* ^% B9 q! O: t; E
3.可变参数的个数不确定,完全由程序约定.
4.可变参数的类型不确定,完全由va_arg(ap,type)中的type指定,然后就把参数的类型强制转换.. L7 e! |( @$ X9 W0 v' O5 T
而printf()中不是实现了识别参数吗?那是因为函数 $ z0 Q1 n, X" _; [
printf()是从固定参数format字符串来分析出参数的类型,再调用va_arg
的来获取可变参数的.也就是说,你想实现智能识别可变参数的话是要通 . C( k7 h6 B" S8 ~3 P6 |) {1 U
过在自己的程序里作判断来实现的.
5.编译器对可变参数的函数的原型检查不够严格,对编程人员要求很高.

返回列表

函数的可变参数详谈

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

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