函数的可变参数详谈

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

1)可变参数的存储形式.
( K8 A' @. S1 x- ]0 n
大家都知道,一般函数的形参属于局部变量.而局部变量就是存储在内存的栈区(所谓的栈区:由编译器自动分配释放,: _0 A; ]- r1 k/ t4 x/ \+ P
存放函数的参数值,局部变量的值等。其操作方式类似于数据结构中的栈。).可变参数也是存储在内存栈区.% u. p: u+ A: u
在对函数的形参存储的时侯,编译器是从函数的形参的右边到左边逐一地压栈,6 ]% l) Z/ c8 s: e/ k  N+ U
这样保证了栈顶是函数的形参的第一个参数(从左到右数).而80x86平台下的内存分配顺序是从高地址内存到低地址内存.8 T0 z7 ~8 S! u' c: T, I* A6 v
因此,函数的形参在内存的存储形式如下图(以fun(int var1,int var2,...,int var3,int var4)为例):/ P# `$ u/ v7 o, a
栈区:$ F  C; x2 w4 Y  ^; ]

|栈顶          低地址
% k+ `: u$ W4 C% `( [9 v
|第一个固定参数var17 v1 V  N& ?5 l9 x( |4 G
|可变参数前的第一个固定参数var2: N& }5 R5 R7 ~# x- ^
|可变参数的第一个参数2 P1 u: k$ D2 |! h7 G0 S
|...0 }0 q- G* U0 r$ W$ Y+ X
|可变参数的最后一个参数7 c! c/ x$ @8 \) J( q! G
|函数的倒数第二个固定参数var3
|函数的最后一个固定参数var40 ?5 q% Y& n2 ?7 ?
|...
|函数的返回地址% g" r$ v! C# \. @' _" \8 h
|...
|栈底高地址. a# s& W3 G" x  W& C6 d: s

2)使用可变参数所用到头文件和相关宏说明
- N9 e, }8 _( [* Y6 d
在此,以TC2.0编译器为参考对象来说明.
可变参数的相关定义在TC2.0的名为"STDARG.H"的头文件中.. }3 O9 F' `" w- }
此文件为:
/* stdarg.h

Definitions for ACCESSing parameters in functions that accept4 X. s( P+ H5 J6 {
a variable number of arguments.
$ }/ }& g/ g/ ~, b: A
Copyright (c) Borland International 1987,19885 t, j; g; {: i) P* {7 y( h
All Rights Reserved.
*/' R. q3 l. L* G! P  y- t9 T
#if __STDC__
#define _Cdecl
#else
#define _Cdecl cdecl9 e! t' R/ T( P
#endif+ ~# l: @- Z: |1 I# X3 j# R0 e

#if !defined(__STDARG)! \! A2 J9 i: W3 X
#define __STDARG0 i: k" `7 |9 Q6 Z: `* {: ^5 \

typedef void *va_list;" o5 p) b' l% Q, }9 g" ?2 F4 R
! w& `8 g, E( D1 Q9 N4 M
#define va_start(ap, parmN) (ap = ...)
#define va_arg(ap, type) (*((type *)(ap))++)/ v6 C9 [. D0 X+ A/ e* T6 Z
#define va_end(ap)( p2 a+ l) c- u& e% @) [$ T' N
#define _va_ptr (...)
#endif9 R7 a( l5 ^! g8 v

以上为"STDARG.H"的内容.8 C, |, q1 G# c; K
该文件定义了使用可变参数所用到的数据类型:typedef void  *va_list;0 q6 r5 u, p3 W5 p
va_start(ap,parmN)起到初始化,使用得ap指向可变参数的第一个参数.ap的类型为va_list,
parmN为可变参数的前面一个固定参数.
va_arg(ap,type)获得当前ap所指向的参数,并使ap指向可变参数的下一个参数,type为需要获得的参数的类型.
va_end(ap) 结束可变参数获取.

3)可变参数的使用实例

实例目的:用可变参数来实现个数不定的字符串的传递,并显示传递过来的字符串.
' z+ v4 U2 L! q1 s( s& |9 J
#include<stdio.h>
#include<conio.h>
#include<stdarg.h>7 q* {! `; u8 R0 p  y
void tVarArg(int num,...);/*num为可变参数的个数*/
int main(void)  {# P, g1 k$ v) p- b/ _: D
{; a7 f$ N  d, c$ N+ E
clrscr();
tVarArg(5,"Hello! ","My ","name ","is ","neverTheSame.\n");
tVarArg(8,"This ","is ","an ","example ","about ","variable-argument ","in ","funtion");
getch();/ H! u; e1 x8 @5 m. t
return 0;4 A$ u( y# L4 A' U: N  M
}. T! l$ \( H8 e, D/ O0 y
void tVarArg(int num,...)
{
va_list argp;  /*定义一个指向可变参数的变量*/
va_start(argp,num); /*初始化,使用argp指向可变参数的第一个参数*/
while(--num>=0)& _$ c6 U: u6 m' S
  printf("%s",(va_arg(argp,char*)));/*va_arg(argp,char*)获得argp所指向的参数,/ D. g4 D' g; X- r: j
并使用argp指向下一个参数,char*使用所获得的参数的类型转换为char*型.*/  T2 i1 A- u8 M4 f
va_end(argp);  /*结束可变参数获取*/7 R2 y4 d2 ^) \. r. r
return ;
}( [' X3 f' K. O6 o2 i( S& k% E
1 V9 k  c* d3 j; w7 |3 E
4)可变参数的使用需要注意的问题

1.每个函数的可变参数至多有一个.
2.va_start(ap,parmN)中parmN为可变参数前的一个固定参数.# ^8 u% Y$ q2 k1 x3 `  f
3.可变参数的个数不确定,完全由程序约定." W) q- F2 m/ I
4.可变参数的类型不确定,完全由va_arg(ap,type)中的type指定,然后就把参数的类型强制转换.4 s) r, t4 F/ l+ i* M( t& ^
而printf()中不是实现了识别参数吗?那是因为函数 / s6 i. Q' u3 |1 ]4 J
printf()是从固定参数format字符串来分析出参数的类型,再调用va_arg , @, o$ B3 ^5 G9 Y
的来获取可变参数的.也就是说,你想实现智能识别可变参数的话是要通
过在自己的程序里作判断来实现的.
5.编译器对可变参数的函数的原型检查不够严格,对编程人员要求很高.

返回列表

函数的可变参数详谈

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

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