函数的可变参数详谈

可变参数的英文表示为:variable argument.
它在函数的定义时,用三个点号'.'表示,用逗号与其它参数分隔.
可变参数的特点:不像固定参数那样一一对应,也不像固定参数有固定的参数类型和参数名称;可变参数中个数不* T) o( K: R$ ^  Q1 o# t- ?2 Z
定可是传入的是一个参数也可以是多个;可变参数中的每个参数的类型可以不同,也可以相同;可变参数的每个参数并没有
实际的名称与之相对应.
由此可见,可变参数的形式非常自由而富有弹生.因些,它给那些天才程序员有更大地想象和发挥空间.
然而,更多地自由,同样也加大操作上的难度.
以下就对可变参数的几个方面作一定的介绍.7 L+ [, [4 o, D6 x9 ~

1)可变参数的存储形式.% T. B# I' {1 Q0 q, j0 D" }
6 o  _# y! x" o
大家都知道,一般函数的形参属于局部变量.而局部变量就是存储在内存的栈区(所谓的栈区:由编译器自动分配释放," `6 P% U7 K) F4 _2 O+ i+ s
存放函数的参数值,局部变量的值等。其操作方式类似于数据结构中的栈。).可变参数也是存储在内存栈区.8 _3 N0 ^  A. q. D0 j/ V9 g
在对函数的形参存储的时侯,编译器是从函数的形参的右边到左边逐一地压栈,- d3 c$ @' ?5 S) c9 n7 ^; C
这样保证了栈顶是函数的形参的第一个参数(从左到右数).而80x86平台下的内存分配顺序是从高地址内存到低地址内存.
因此,函数的形参在内存的存储形式如下图(以fun(int var1,int var2,...,int var3,int var4)为例):
栈区:
, r9 L! h$ z; y; A
|栈顶          低地址# u4 ?: o7 Y4 f# ]

|第一个固定参数var1
|可变参数前的第一个固定参数var2
|可变参数的第一个参数
|...
|可变参数的最后一个参数
|函数的倒数第二个固定参数var3
|函数的最后一个固定参数var4
|...
|函数的返回地址, s6 S" ?1 G, G* Z* T6 w2 S. @1 g
|...
|栈底高地址. q/ a) s) x9 h$ l4 |5 h1 H! G2 I

2)使用可变参数所用到头文件和相关宏说明
" c" r5 R; ]5 Q
在此,以TC2.0编译器为参考对象来说明.
可变参数的相关定义在TC2.0的名为"STDARG.H"的头文件中.$ z/ F% C6 y$ X4 Q2 ?
此文件为:
/* stdarg.h

Definitions for ACCESSing parameters in functions that accept0 Y  [7 W) N! X; x: M. l; C, o9 D) J
a variable number of arguments.

Copyright (c) Borland International 1987,1988
All Rights Reserved.  |) L% @6 a' f* ?. r
*/
#if __STDC__
#define _Cdecl/ O4 @6 p3 R- d. T( g: x
#else
#define _Cdecl cdecl
#endif

#if !defined(__STDARG)
#define __STDARG& f4 {+ W) v2 z- K! d5 g- a
# t! p3 U, {2 i' Z$ j; [
typedef void *va_list;

#define va_start(ap, parmN) (ap = ...)# m$ z5 v$ S' Z3 z2 V9 Z8 m4 Q
#define va_arg(ap, type) (*((type *)(ap))++)7 V& F" {! r& ?9 \4 ^- S
#define va_end(ap)
#define _va_ptr (...)
#endif7 X$ s4 `* `3 H8 w% J6 C% H
; `5 I1 R7 |) \, U
以上为"STDARG.H"的内容.0 s9 D: O) K% g: l
该文件定义了使用可变参数所用到的数据类型:typedef void  *va_list;
va_start(ap,parmN)起到初始化,使用得ap指向可变参数的第一个参数.ap的类型为va_list,3 {9 I8 t7 G, j' q; w; v
parmN为可变参数的前面一个固定参数.
va_arg(ap,type)获得当前ap所指向的参数,并使ap指向可变参数的下一个参数,type为需要获得的参数的类型.
va_end(ap) 结束可变参数获取.4 o1 ?, f2 Z$ V$ f* @6 ^  ~
5 b" J/ R" b! {
3)可变参数的使用实例
; k' u! O8 A# ?2 s3 p% w  O* t
实例目的:用可变参数来实现个数不定的字符串的传递,并显示传递过来的字符串.
- v( }" G4 k( i) H5 @# G( x
#include<stdio.h>! {  _3 O! `) B+ q& j3 v% J
#include<conio.h># ]) `# C3 G* W
#include<stdarg.h>
void tVarArg(int num,...);/*num为可变参数的个数*/# F$ }2 U1 l+ f  E3 e
int main(void)
{
clrscr();* M- K" v2 X- C6 D/ p; j  D3 ]/ i
tVarArg(5,"Hello! ","My ","name ","is ","neverTheSame.\n");
tVarArg(8,"This ","is ","an ","example ","about ","variable-argument ","in ","funtion");. I! i% F7 h: [# K1 v# [# _
getch();. k3 i) F1 b% H/ b: ~1 |
return 0;4 a: k4 y: f- z+ N: u2 M# T
}
void tVarArg(int num,...)" L: o" W" q) N* E" s% U; ]
{
va_list argp;  /*定义一个指向可变参数的变量*/- A! H, v& Q% }/ C' M8 K/ X- P
va_start(argp,num); /*初始化,使用argp指向可变参数的第一个参数*/7 Z3 `3 ~, a1 s) _- X
while(--num>=0)
  printf("%s",(va_arg(argp,char*)));/*va_arg(argp,char*)获得argp所指向的参数,
并使用argp指向下一个参数,char*使用所获得的参数的类型转换为char*型.*/0 n$ U" ]8 W, Z; [# I
va_end(argp);  /*结束可变参数获取*/; F6 H2 {& `! u
return ;
}
; y0 ]: r7 R  L- C( A4 B
4)可变参数的使用需要注意的问题
1 p) R1 j5 W! Q  ^" G
1.每个函数的可变参数至多有一个.& a# ^, s6 O" @8 L  J7 O
2.va_start(ap,parmN)中parmN为可变参数前的一个固定参数.0 z6 b% T. V5 h, y- I1 G/ \/ p
3.可变参数的个数不确定,完全由程序约定.9 R% r, g$ X3 X  U  Z
4.可变参数的类型不确定,完全由va_arg(ap,type)中的type指定,然后就把参数的类型强制转换.
而printf()中不是实现了识别参数吗?那是因为函数
printf()是从固定参数format字符串来分析出参数的类型,再调用va_arg % H) \8 ?' J+ z- i: I/ S* T
的来获取可变参数的.也就是说,你想实现智能识别可变参数的话是要通
过在自己的程序里作判断来实现的.
5.编译器对可变参数的函数的原型检查不够严格,对编程人员要求很高.

返回列表

函数的可变参数详谈

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

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