函数的可变参数详谈

可变参数的英文表示为:variable argument.
它在函数的定义时,用三个点号'.'表示,用逗号与其它参数分隔.
可变参数的特点:不像固定参数那样一一对应,也不像固定参数有固定的参数类型和参数名称;可变参数中个数不3 n6 r  ^! |6 |
定可是传入的是一个参数也可以是多个;可变参数中的每个参数的类型可以不同,也可以相同;可变参数的每个参数并没有! G7 u2 w7 K6 W& K# p5 @; ?( g
实际的名称与之相对应.( f7 c8 _: q; x7 @2 F8 U+ W6 n
由此可见,可变参数的形式非常自由而富有弹生.因些,它给那些天才程序员有更大地想象和发挥空间.. q3 J; ?; a2 j, A9 N
然而,更多地自由,同样也加大操作上的难度.5 p( l) }& p1 Z  A; \
以下就对可变参数的几个方面作一定的介绍.- F* A/ T. f9 [
1 p: e% ]& u( @! D, K
1)可变参数的存储形式.3 w3 ^+ ?+ B4 [9 \. B% H% G: |
1 K9 s# }# h3 v$ d2 V3 ^4 ^
大家都知道,一般函数的形参属于局部变量.而局部变量就是存储在内存的栈区(所谓的栈区:由编译器自动分配释放,3 N. |9 }- t- G- q" b) E* k
存放函数的参数值,局部变量的值等。其操作方式类似于数据结构中的栈。).可变参数也是存储在内存栈区.
在对函数的形参存储的时侯,编译器是从函数的形参的右边到左边逐一地压栈,
这样保证了栈顶是函数的形参的第一个参数(从左到右数).而80x86平台下的内存分配顺序是从高地址内存到低地址内存.
因此,函数的形参在内存的存储形式如下图(以fun(int var1,int var2,...,int var3,int var4)为例):" G# E- x2 b6 K
栈区:
  d& a' {  k  o9 V0 O" O
|栈顶          低地址
8 `  z* b2 u# ~# o4 S9 [
|第一个固定参数var1
|可变参数前的第一个固定参数var2( ?  e) x( {2 q! i8 s" i% \
|可变参数的第一个参数$ [$ g4 N0 |+ B# m) a3 K# S! I2 p
|...
|可变参数的最后一个参数
|函数的倒数第二个固定参数var30 A6 s5 H( p. Z# S+ V/ B
|函数的最后一个固定参数var41 V! G2 i9 [0 d6 ~, _0 w, C8 {" e
|...
|函数的返回地址- N4 [7 N$ t( F0 w, G
|...
|栈底高地址

2)使用可变参数所用到头文件和相关宏说明7 J0 E+ E0 a1 t3 g; W" F. Q

在此,以TC2.0编译器为参考对象来说明.
可变参数的相关定义在TC2.0的名为"STDARG.H"的头文件中.
此文件为:
/* stdarg.h

Definitions for ACCESSing parameters in functions that accept# j1 j. C- J, R: P& R
a variable number of arguments." g4 j' d, g/ ^

Copyright (c) Borland International 1987,1988
All Rights Reserved.( ^" S4 b* E$ `8 A/ l4 f$ `$ r
*/
#if __STDC__
#define _Cdecl
#else
#define _Cdecl cdecl
#endif# l5 B$ O6 k* A5 M) u, v
3 ^6 v1 d9 R" ~1 |8 z) s
#if !defined(__STDARG)
#define __STDARG' I& }  L3 h" |0 L- Z* |3 U

typedef void *va_list;

#define va_start(ap, parmN) (ap = ...)
#define va_arg(ap, type) (*((type *)(ap))++)
#define va_end(ap)4 L) v# _5 K; e& k2 C* ^- v
#define _va_ptr (...)
#endif& `' @9 }* }9 A5 y! Y8 F  P# ]
& I- L+ r3 ^& y' d8 E
以上为"STDARG.H"的内容.+ ^, p7 B/ V* w% H( a
该文件定义了使用可变参数所用到的数据类型:typedef void  *va_list;& j) H  X! Y* a$ l- l- s
va_start(ap,parmN)起到初始化,使用得ap指向可变参数的第一个参数.ap的类型为va_list,
parmN为可变参数的前面一个固定参数.9 q" ^* G$ p- x& ?; v. f
va_arg(ap,type)获得当前ap所指向的参数,并使ap指向可变参数的下一个参数,type为需要获得的参数的类型.
va_end(ap) 结束可变参数获取., C  B3 W- K1 H1 f! s( i

3)可变参数的使用实例

实例目的:用可变参数来实现个数不定的字符串的传递,并显示传递过来的字符串.7 f; \+ {$ Y1 p1 G! O
  F3 t) y0 T, B( T2 i: h- P+ i
#include<stdio.h>
#include<conio.h>1 l9 ?# S9 F& A* @5 H' ~
#include<stdarg.h>4 e# Q, |1 ~- o9 ]8 I: i
void tVarArg(int num,...);/*num为可变参数的个数*/
int main(void)4 {) n- ]3 y2 c6 [, J
{! n# ^" _1 Q( {5 r' R
clrscr();
tVarArg(5,"Hello! ","My ","name ","is ","neverTheSame.\n");( \( S3 M1 P6 [( t( ?1 \' L$ {% ~
tVarArg(8,"This ","is ","an ","example ","about ","variable-argument ","in ","funtion");$ {$ a. N% T. b) j& k7 M" `. }4 U
getch();' m0 d# u9 H( U& ]- n, ~
return 0;4 ?# C; h! l( G! v3 I! c
}
void tVarArg(int num,...)
{7 W6 ]) ~, |8 Q' H' u! j7 w
va_list argp;  /*定义一个指向可变参数的变量*/
va_start(argp,num); /*初始化,使用argp指向可变参数的第一个参数*/: J- T( N4 J9 O/ U
while(--num>=0)
  printf("%s",(va_arg(argp,char*)));/*va_arg(argp,char*)获得argp所指向的参数,
并使用argp指向下一个参数,char*使用所获得的参数的类型转换为char*型.*/
va_end(argp);  /*结束可变参数获取*/
return ;& i$ |5 A- U  J) e, s6 O. g
}
9 U& B3 ^) C; p8 I& W" O2 ^. x7 A
4)可变参数的使用需要注意的问题
% e" B7 c( G% p8 K3 ?% w
1.每个函数的可变参数至多有一个.
2.va_start(ap,parmN)中parmN为可变参数前的一个固定参数.
3.可变参数的个数不确定,完全由程序约定.2 A1 E4 E: l% n/ p6 u$ D
4.可变参数的类型不确定,完全由va_arg(ap,type)中的type指定,然后就把参数的类型强制转换.
而printf()中不是实现了识别参数吗?那是因为函数
printf()是从固定参数format字符串来分析出参数的类型,再调用va_arg " ~+ B2 p- W% {4 x3 }) j
的来获取可变参数的.也就是说,你想实现智能识别可变参数的话是要通 - V5 w- h$ l) b2 f& g4 ^
过在自己的程序里作判断来实现的.
5.编译器对可变参数的函数的原型检查不够严格,对编程人员要求很高.

返回列表

函数的可变参数详谈

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

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