函数的可变参数详谈

可变参数的英文表示为:variable argument.
它在函数的定义时,用三个点号'.'表示,用逗号与其它参数分隔.
可变参数的特点:不像固定参数那样一一对应,也不像固定参数有固定的参数类型和参数名称;可变参数中个数不/ m2 L' c" K7 z# D# ^, C" B
定可是传入的是一个参数也可以是多个;可变参数中的每个参数的类型可以不同,也可以相同;可变参数的每个参数并没有/ m; ^9 j' {$ g
实际的名称与之相对应.
由此可见,可变参数的形式非常自由而富有弹生.因些,它给那些天才程序员有更大地想象和发挥空间.
然而,更多地自由,同样也加大操作上的难度.! A6 F( k" f1 p- h0 h3 [
以下就对可变参数的几个方面作一定的介绍.

1)可变参数的存储形式.

大家都知道,一般函数的形参属于局部变量.而局部变量就是存储在内存的栈区(所谓的栈区:由编译器自动分配释放,7 S" ^1 x. b8 P. I4 z4 H
存放函数的参数值,局部变量的值等。其操作方式类似于数据结构中的栈。).可变参数也是存储在内存栈区.
在对函数的形参存储的时侯,编译器是从函数的形参的右边到左边逐一地压栈,: b) B' M/ e' b  n6 G4 z- d$ u4 h1 n
这样保证了栈顶是函数的形参的第一个参数(从左到右数).而80x86平台下的内存分配顺序是从高地址内存到低地址内存.3 }! ]' Y8 Y2 \% C* q1 Q  s
因此,函数的形参在内存的存储形式如下图(以fun(int var1,int var2,...,int var3,int var4)为例):
栈区:
- p8 s; ]' j, r' _( r2 ]
|栈顶          低地址' B- Q  I9 `, _+ p/ k6 V
' I- T+ c4 @7 S
|第一个固定参数var1; f; M8 b7 g. x- y% i& s9 j
|可变参数前的第一个固定参数var2: q. W' b! _. L* S+ ^$ Q! n
|可变参数的第一个参数
|...
|可变参数的最后一个参数
|函数的倒数第二个固定参数var3) j3 Z2 p" ?' S% Z
|函数的最后一个固定参数var4$ q% O, x9 ]- h, A- Z
|.... _: |$ w6 Q' `: i
|函数的返回地址" `+ v& m& P( P
|...% m6 `/ ~9 \% m6 n4 }
|栈底高地址7 i8 ^* ?+ R+ }6 J- B
$ M& u/ p* }" ]" K3 e7 f; q
2)使用可变参数所用到头文件和相关宏说明
8 o* P9 W4 e9 c* p# B
在此,以TC2.0编译器为参考对象来说明.
可变参数的相关定义在TC2.0的名为"STDARG.H"的头文件中.
此文件为:( B+ w+ ^7 U% @% K/ E; g& l3 [4 r
/* stdarg.h* v- i- s  l. X: L% A

Definitions for ACCESSing parameters in functions that accept
a variable number of arguments.
, M8 T. }4 w( o( W: V6 O% ?
Copyright (c) Borland International 1987,1988! q$ R: v0 f' F# g" E
All Rights Reserved.9 f" Y& v4 ~  C! d1 P5 ^3 _. [8 a
*/5 ]; ^- P$ j* M+ r4 t, h% k+ t
#if __STDC__  M) S( z9 j  y' E* p* r
#define _Cdecl( k9 ~* ]! U" `$ D8 Q" e
#else1 D0 x9 N4 j! ]2 q* Z# `
#define _Cdecl cdecl
#endif$ r8 H4 o; ?! r

#if !defined(__STDARG)5 F4 D0 q! q" l2 E- `4 C
#define __STDARG

typedef void *va_list;

#define va_start(ap, parmN) (ap = ...)
#define va_arg(ap, type) (*((type *)(ap))++)
#define va_end(ap)
#define _va_ptr (...)
#endif7 A+ F# M% H/ v1 j
$ l/ s5 e  |3 X) q1 g1 E8 Q
以上为"STDARG.H"的内容.
该文件定义了使用可变参数所用到的数据类型:typedef void  *va_list;# H8 k% W4 T5 @1 M0 Y, X! L
va_start(ap,parmN)起到初始化,使用得ap指向可变参数的第一个参数.ap的类型为va_list,
parmN为可变参数的前面一个固定参数.
va_arg(ap,type)获得当前ap所指向的参数,并使ap指向可变参数的下一个参数,type为需要获得的参数的类型.
va_end(ap) 结束可变参数获取.

3)可变参数的使用实例+ K3 e9 k' N1 w& R

实例目的:用可变参数来实现个数不定的字符串的传递,并显示传递过来的字符串.6 W6 W- O! P; h. S0 c, v
5 W) K4 A" W4 [7 n
#include<stdio.h>1 c  m6 Z. `2 t* v6 M: A
#include<conio.h>
#include<stdarg.h>) w5 ]' b8 I+ P( H
void tVarArg(int num,...);/*num为可变参数的个数*/
int main(void)
{
clrscr();1 r  X1 Z' V/ h3 m2 q7 A2 I" q5 C
tVarArg(5,"Hello! ","My ","name ","is ","neverTheSame.\n");6 n; c6 n5 j2 x% _/ V1 C' N
tVarArg(8,"This ","is ","an ","example ","about ","variable-argument ","in ","funtion");
getch();' x: G0 W" s& l) B4 @
return 0;5 m7 Z! ]& x2 b3 l& Y, S
}8 M4 }7 E3 H8 l" j
void tVarArg(int num,...)/ K' L& }7 c; ]  W3 ?  r7 p7 X
{
va_list argp;  /*定义一个指向可变参数的变量*/
va_start(argp,num); /*初始化,使用argp指向可变参数的第一个参数*/0 |$ V; T" {4 }3 D0 K
while(--num>=0)( M/ c9 b; L# Z& p9 _  b$ y
  printf("%s",(va_arg(argp,char*)));/*va_arg(argp,char*)获得argp所指向的参数,: ?; u5 f( T# U. P: X
并使用argp指向下一个参数,char*使用所获得的参数的类型转换为char*型.*/
va_end(argp);  /*结束可变参数获取*/
return ;/ T9 K- v% _; z3 P# d
}4 M) p1 d8 Y4 ?# Z& I

4)可变参数的使用需要注意的问题- x  m" G) s. x. I/ N9 R4 C4 t
4 [3 S( [. ^4 Q$ X* }7 o. B
1.每个函数的可变参数至多有一个.
2.va_start(ap,parmN)中parmN为可变参数前的一个固定参数.2 j: C' o  U$ t3 A4 m
3.可变参数的个数不确定,完全由程序约定.
4.可变参数的类型不确定,完全由va_arg(ap,type)中的type指定,然后就把参数的类型强制转换.; E; c# l5 p6 @+ e
而printf()中不是实现了识别参数吗?那是因为函数
printf()是从固定参数format字符串来分析出参数的类型,再调用va_arg . m- d9 t( x$ `: q7 e
的来获取可变参数的.也就是说,你想实现智能识别可变参数的话是要通 # X8 l& ^) o3 n8 p' \
过在自己的程序里作判断来实现的.
5.编译器对可变参数的函数的原型检查不够严格,对编程人员要求很高.

返回列表

函数的可变参数详谈

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

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