函数的可变参数详谈

可变参数的英文表示为:variable argument.
它在函数的定义时,用三个点号'.'表示,用逗号与其它参数分隔., Z0 r0 B) ~# G% k5 c: X
可变参数的特点:不像固定参数那样一一对应,也不像固定参数有固定的参数类型和参数名称;可变参数中个数不* V- B+ E" g( o8 d
定可是传入的是一个参数也可以是多个;可变参数中的每个参数的类型可以不同,也可以相同;可变参数的每个参数并没有
实际的名称与之相对应.
由此可见,可变参数的形式非常自由而富有弹生.因些,它给那些天才程序员有更大地想象和发挥空间.5 F/ d4 E  T2 q4 P
然而,更多地自由,同样也加大操作上的难度.
以下就对可变参数的几个方面作一定的介绍.  T6 H9 y! l# n* q* d

1)可变参数的存储形式.
0 o/ z# k4 O# P. O  j. `  }! ~4 k+ r0 I
大家都知道,一般函数的形参属于局部变量.而局部变量就是存储在内存的栈区(所谓的栈区:由编译器自动分配释放,5 B: J  G: W2 J$ d6 i1 r" P
存放函数的参数值,局部变量的值等。其操作方式类似于数据结构中的栈。).可变参数也是存储在内存栈区.  _+ v2 ~4 C9 O' ~; J, c
在对函数的形参存储的时侯,编译器是从函数的形参的右边到左边逐一地压栈,
这样保证了栈顶是函数的形参的第一个参数(从左到右数).而80x86平台下的内存分配顺序是从高地址内存到低地址内存.4 z" M" v" _9 {
因此,函数的形参在内存的存储形式如下图(以fun(int var1,int var2,...,int var3,int var4)为例):
栈区:
$ h4 G7 A8 U& z" R) W
|栈顶          低地址

|第一个固定参数var1" z( i, W: ]2 V( x; y8 T- V
|可变参数前的第一个固定参数var2! ]  l- B2 O) t
|可变参数的第一个参数
|...
|可变参数的最后一个参数
|函数的倒数第二个固定参数var3! n! k& I# U4 o9 p2 b" X; F+ ?7 [0 h6 i
|函数的最后一个固定参数var4  A* G2 v  W" E1 E
|...
|函数的返回地址
|..., ~4 g1 y% q1 B9 Z' P
|栈底高地址
6 g; j/ [' N" p  f
2)使用可变参数所用到头文件和相关宏说明, R& v- z1 V$ q& i' K7 }

在此,以TC2.0编译器为参考对象来说明.6 a8 M: i9 U  A+ a. B
可变参数的相关定义在TC2.0的名为"STDARG.H"的头文件中.
此文件为:% o5 a& \' `  x# c7 G
/* stdarg.h+ g7 B& v' h6 d
* s) Q$ Y8 Q# O1 I) M
Definitions for ACCESSing parameters in functions that accept7 Y2 z! _4 M! E9 J' v+ n
a variable number of arguments.3 S8 l* O8 }: t; A3 f. Q

Copyright (c) Borland International 1987,1988
All Rights Reserved.
*/
#if __STDC__; X( f, i# y2 ?" W- |: J
#define _Cdecl, m- m+ T) }, A1 x' ~
#else* t+ e, K, @0 z  W) \; G
#define _Cdecl cdecl
#endif
* p0 Z6 M; O$ l! M6 e0 w8 _6 x, C
#if !defined(__STDARG)/ M2 Q; F! z' F4 \& p. ~
#define __STDARG

typedef void *va_list;

#define va_start(ap, parmN) (ap = ...)
#define va_arg(ap, type) (*((type *)(ap))++)3 ]; B% ~+ H. a3 c# H+ U6 C
#define va_end(ap)! u2 G, T/ r/ e, L9 t5 U0 l1 l
#define _va_ptr (...)2 a( ~; d( A& H) T: ^' E
#endif8 x% P/ k4 U" `4 _
$ n9 ^& B, ]0 D. ^& n
以上为"STDARG.H"的内容.! ^! f* i+ J* O5 j4 Q
该文件定义了使用可变参数所用到的数据类型:typedef void  *va_list;" b& Q" a3 a0 p
va_start(ap,parmN)起到初始化,使用得ap指向可变参数的第一个参数.ap的类型为va_list,+ |  {; T* b. o1 B6 B
parmN为可变参数的前面一个固定参数.2 G# w5 N3 T7 a$ h
va_arg(ap,type)获得当前ap所指向的参数,并使ap指向可变参数的下一个参数,type为需要获得的参数的类型.; M' {1 P6 C4 p  t1 }& {. r
va_end(ap) 结束可变参数获取.
2 V  T2 e; g$ O# m' J0 r- t& ?0 v. G8 z
3)可变参数的使用实例
" o0 r% u, \+ t! l" d0 s: t0 l
实例目的:用可变参数来实现个数不定的字符串的传递,并显示传递过来的字符串.9 Y& p$ a# C3 n% R; a

#include<stdio.h>( e& X* O, J! {- f9 K
#include<conio.h>+ I$ O* J, |7 |6 P
#include<stdarg.h>
void tVarArg(int num,...);/*num为可变参数的个数*/. e% P3 s! T* w. _
int main(void)
{9 p8 w/ C3 b' s
clrscr();
tVarArg(5,"Hello! ","My ","name ","is ","neverTheSame.\n");! \8 ]. z" w6 l; L3 i% ]
tVarArg(8,"This ","is ","an ","example ","about ","variable-argument ","in ","funtion");/ j; X$ d3 B6 a) G9 x7 U) d/ X& U
getch();; V* Y8 M6 Q' i
return 0;0 Q2 w( i; t: a0 R  V  p6 g6 l( K3 [
}
void tVarArg(int num,...)  h5 i/ Q) n3 H8 q/ w  k" o! @
{
va_list argp;  /*定义一个指向可变参数的变量*/
va_start(argp,num); /*初始化,使用argp指向可变参数的第一个参数*/, r; x7 I; a: s; _8 Q
while(--num>=0)
  printf("%s",(va_arg(argp,char*)));/*va_arg(argp,char*)获得argp所指向的参数,! `. H9 h& b, H$ r* j
并使用argp指向下一个参数,char*使用所获得的参数的类型转换为char*型.*/
va_end(argp);  /*结束可变参数获取*/
return ;
}8 q: V) T  D! x* s' b

4)可变参数的使用需要注意的问题% L( ?1 F2 }1 H
+ ]2 p' ]" e4 q5 {: P
1.每个函数的可变参数至多有一个.! N% T" P+ L2 x5 j, B5 V  Q
2.va_start(ap,parmN)中parmN为可变参数前的一个固定参数.' Y' Y' S0 q- w" p
3.可变参数的个数不确定,完全由程序约定.
4.可变参数的类型不确定,完全由va_arg(ap,type)中的type指定,然后就把参数的类型强制转换.3 L% J, y8 ]4 o1 b
而printf()中不是实现了识别参数吗?那是因为函数 - e8 ]; b' y* H2 q% E
printf()是从固定参数format字符串来分析出参数的类型,再调用va_arg
的来获取可变参数的.也就是说,你想实现智能识别可变参数的话是要通 / R; v5 z3 d4 R1 }: n& s
过在自己的程序里作判断来实现的. ' v1 l5 T. q; u7 e+ u
5.编译器对可变参数的函数的原型检查不够严格,对编程人员要求很高.

返回列表

函数的可变参数详谈

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

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