C++ 可变参数的函数

C++ 中可变参数的函数有两种类型：

type func(...)

type func(type,...)

可变参数顾名思义就是函数的参数数目或者类型是不确定的，对于这种该如何获取传递的参数的值，这就需要对C，C++的函数栈结构有一定的了解。下面就直接进入实战分析：

#include<iostream>  
#include<cstdarg>  
using namespace std;  
   
void func(...);  
void func2(intnfirst,...);  
   
void main()  
{  
         cout<<"Thisis func:"<<endl;  
         func(1,2,3,5,6,-1);  
         cout<<"Thisis func2:"<<endl;  
         func2(0,7,4,-1);  
}  
   
void func(...)  
{  
         va_list list;  
         va_start(list,list);  
         list = list + 12;  //只?所¨´以°?加¨®12的Ì?原-因°¨°从ä¨®临¢¨´时º¡À变À?量¢?地Ì?址¡¤到Ì?第Ì¨²一°?个?参?数ºy之?间?有®D12个?字Á?节¨²。¡ê  
         int n =0;  
         std::cout<<n<<endl;  
         while(n!= -1)  
         {  
                   n = va_arg(list,int);  
                   std::cout<<n<<endl;  
         }  
         va_end(list);  
}  
   
void func2(intnfirst,...)  
{  
         va_list list;  
         va_start(list,nfirst);  
         int n =0;  
         while(n!=-1)  
         {  
                   n = va_arg(list,int);  
                   std::cout<<n<<endl;  
         }  
}

函数的运行结果：

关于可变参数的剖析，步骤

头文件 #include<cstdarg>

宏定义 va_list，va_start，va_arg，va_end

步骤：

1 va_list ap

标识一个数据结构，ap用来存放可变参数信息。

2 va_start(ap,v);

这个宏用来初始化可变参数列表。ap表示初始化的数据结构，它里面存放着后面的可变参数信息。 v标识函数声明中最后一个具有名字的参数，也就是...之前的那个参数。

3 va_arg(ap,t);

获取可变参数，t是参数的类型。用这个函数来获取后面的可变参数的值。

int xx;

xx = va_arg(ap,int);

4 va_end(ap);

这个宏用来宣告可变参数调用的结束，要用在最后面。

再来看宏的解释：

1 typedef char * va_list;

说明va_list 是一个char*类型的。

2 #define va_start _crt_va_start

#define_crt_va_start(ap,v) ( ap =(va_list)_ADDRESSOF(v) + _INTSIZEOF(v) )

#define _ADDRESSOF(v) ( &reinterpret_cast<constchar&>(v) )

#define _INTSIZEOF(n) ( (sizeof(n)+sizeof(int) -1) & ~(sizeof(int)- 1) )

这个是为了内存对齐。什么叫做内存对齐呢？我们知道任何正整数都可以表达为

x = n*q + r , ( 0≤r＜q ),

对齐就是要当r = 0 时，x = n*q。当 r＞0 时候，x = ( n + 1 )*q

所以对于最终要求的结果 x ，我们可以得出这样的表达式：

x = n*q + r , ( -q＜r≤0 )

方程的两边都加上 q-1 得：

x + q - 1 = n*q + (r + q - 1), ( 0≤r + q - 1＜q )

其中的n*q 就是我们最终要求的结果，那么n*q的结果就可以表示为：

(x + q - 1)/q*q = n*q.

如果 q是2进制的整数次幂，事情就更加好办了. 假设 q = 2^k,那么只需要把(x + q - 1)的0-m-1次位清零即可。即：

(x + q -1 )&~(q-1).

从以上可以得出va_list 是为了得出可变参数中第一个元素的地址，从这里也可以看出，参数v必须是命名参数中的最后一个参数。

3 #define va_arg _crt_va_arg

#define_crt_va_arg(ap,t) ( *(t *)((ap +=_INTSIZEOF(t)) - _INTSIZEOF(t)) )

(ap +=_INTSIZEOF(t)) //实现ap的值偏移

(ap +=_INTSIZEOF(t)) - _INTSIZEOF(t)) //实现把地址定位到参数的指向地址

(t *)((ap +=_INTSIZEOF(t)) - _INTSIZEOF(t)) //强制类型转换成参数的类型

( *(t*)((ap += _INTSIZEOF(t)) - _INTSIZEOF(t)) ) //取出参数的值

4 #defineva_end _crt_va_end

#define_crt_va_end(ap) ( ap = (va_list)0 )

最后这个简单了，就是清理门户，让ap不再指向栈中内存。

补充：软件开发 , C++ ,