函数的可变参数详谈

可变参数的英文表示为:variable argument.7 U) P! B1 i2 W$ O  U1 p. ^" s+ T
它在函数的定义时,用三个点号'.'表示,用逗号与其它参数分隔.
可变参数的特点:不像固定参数那样一一对应,也不像固定参数有固定的参数类型和参数名称;可变参数中个数不
定可是传入的是一个参数也可以是多个;可变参数中的每个参数的类型可以不同,也可以相同;可变参数的每个参数并没有; A. @: k' U& y/ a6 I
实际的名称与之相对应.
由此可见,可变参数的形式非常自由而富有弹生.因些,它给那些天才程序员有更大地想象和发挥空间.
然而,更多地自由,同样也加大操作上的难度.
以下就对可变参数的几个方面作一定的介绍." T* y/ N6 v$ F8 k) C' W6 E

1)可变参数的存储形式.
5 O5 y- N9 r3 g" C; F+ l( q
大家都知道,一般函数的形参属于局部变量.而局部变量就是存储在内存的栈区(所谓的栈区:由编译器自动分配释放,$ \" p9 K, D* N! ]; Y' ]4 z
存放函数的参数值,局部变量的值等。其操作方式类似于数据结构中的栈。).可变参数也是存储在内存栈区.- R0 w9 b6 l  \6 G) c- w* i5 H" n
在对函数的形参存储的时侯,编译器是从函数的形参的右边到左边逐一地压栈,
这样保证了栈顶是函数的形参的第一个参数(从左到右数).而80x86平台下的内存分配顺序是从高地址内存到低地址内存.1 v( V( D; F9 V9 @: \# p
因此,函数的形参在内存的存储形式如下图(以fun(int var1,int var2,...,int var3,int var4)为例):8 h0 ], i# W4 X. x5 e
栈区:' ?6 i% T) {2 _- B3 b9 F' Y# l
5 n0 K$ d# d2 ?! V& M# O- R1 p
|栈顶          低地址+ {; K3 e( m" _

|第一个固定参数var1
|可变参数前的第一个固定参数var2
|可变参数的第一个参数
|...
|可变参数的最后一个参数/ b0 F; m5 i  }+ R2 I; g! l
|函数的倒数第二个固定参数var35 }) h* b& K7 B7 b
|函数的最后一个固定参数var4& z$ v9 c* e% f# T
|...% J$ v. j/ w' s+ o9 s
|函数的返回地址& \; P; B) L1 n
|..." W8 `( Y) ]3 \9 N! Q% V4 U; e" _/ S
|栈底高地址* J% M/ C  ~) E8 S3 ~
/ v: E/ E7 X' |3 R. M+ o
2)使用可变参数所用到头文件和相关宏说明; x% _) u# c7 A" R3 x' m
. d4 e& o5 D% S, f
在此,以TC2.0编译器为参考对象来说明.
可变参数的相关定义在TC2.0的名为"STDARG.H"的头文件中.
此文件为:
/* stdarg.h
% A. J* k9 H( j1 m7 q2 `4 u# B
Definitions for ACCESSing parameters in functions that accept
a variable number of arguments.
5 v  _) j, k: n1 I# K& Q
Copyright (c) Borland International 1987,1988
All Rights Reserved.- {: g: W6 a: `( T1 `
*/
#if __STDC__3 V8 ?. ?9 c/ f, a! I
#define _Cdecl: R# N1 S! Z( Z" |4 f
#else
#define _Cdecl cdecl
#endif
: w. C( D8 Q$ G0 u
#if !defined(__STDARG)
#define __STDARG, o9 o1 t) G6 e) J! _
! d7 a# i- u% ]1 C) b
typedef void *va_list;- f, V9 S+ @7 \7 s+ R! s1 X
% \9 ^& G$ U6 g" O
#define va_start(ap, parmN) (ap = ...)
#define va_arg(ap, type) (*((type *)(ap))++)
#define va_end(ap)) f$ r" X; {% i' y
#define _va_ptr (...)7 r1 V- J+ q2 p! i) W; B) e+ e
#endif( x2 ]0 N- x2 c0 j' D1 S/ g
# T; O( z0 v" Z7 K1 I, |  y7 R
以上为"STDARG.H"的内容.: J; F8 p, d$ X; m" c
该文件定义了使用可变参数所用到的数据类型:typedef void  *va_list;
va_start(ap,parmN)起到初始化,使用得ap指向可变参数的第一个参数.ap的类型为va_list,
parmN为可变参数的前面一个固定参数.
va_arg(ap,type)获得当前ap所指向的参数,并使ap指向可变参数的下一个参数,type为需要获得的参数的类型.4 D/ ]) R/ H5 q6 R- E) ^
va_end(ap) 结束可变参数获取.4 b+ y# B( \$ X. d

3)可变参数的使用实例

实例目的:用可变参数来实现个数不定的字符串的传递,并显示传递过来的字符串.
# }/ E& W$ l: ?  ^1 x. J. a8 Z9 P* C
#include<stdio.h>
#include<conio.h># q6 F4 _2 z8 ^) c5 x3 m* |
#include<stdarg.h># |7 H4 f5 J( @
void tVarArg(int num,...);/*num为可变参数的个数*/% U* I- K3 _8 Y' t0 U2 B
int main(void)
{
clrscr();
tVarArg(5,"Hello! ","My ","name ","is ","neverTheSame.\n");
tVarArg(8,"This ","is ","an ","example ","about ","variable-argument ","in ","funtion");
getch();7 b5 Q* A  _$ c' v: B. p0 U9 x
return 0;
}3 y$ L' Q3 |  v& u9 ?# t
void tVarArg(int num,...)9 {0 ^. K+ m* ?
{
va_list argp;  /*定义一个指向可变参数的变量*/
va_start(argp,num); /*初始化,使用argp指向可变参数的第一个参数*/
while(--num>=0)
  printf("%s",(va_arg(argp,char*)));/*va_arg(argp,char*)获得argp所指向的参数,
并使用argp指向下一个参数,char*使用所获得的参数的类型转换为char*型.*/
va_end(argp);  /*结束可变参数获取*/
return ;
}

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

1.每个函数的可变参数至多有一个./ b: t8 N' p- n* {3 \3 y  E. d
2.va_start(ap,parmN)中parmN为可变参数前的一个固定参数., Z- S) [8 c0 \( c" s5 P
3.可变参数的个数不确定,完全由程序约定.* O0 d9 Y" s: ~# `/ l- k
4.可变参数的类型不确定,完全由va_arg(ap,type)中的type指定,然后就把参数的类型强制转换.
而printf()中不是实现了识别参数吗?那是因为函数
printf()是从固定参数format字符串来分析出参数的类型,再调用va_arg , s" B5 r) [& E2 b
的来获取可变参数的.也就是说,你想实现智能识别可变参数的话是要通
过在自己的程序里作判断来实现的.
5.编译器对可变参数的函数的原型检查不够严格,对编程人员要求很高.

返回列表

函数的可变参数详谈

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

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