可变参数

最新推荐文章于 2025-12-09 18:25:52 发布

翻译最新推荐文章于 2025-12-09 18:25:52 发布 · 645 阅读

文章标签：

#list #编译器 #macros #behavior #function #windows

C/C++ 专栏收录该内容

74 篇文章

订阅专栏

C++函数参数中的省略号用法分析

C++允许定义形参个数和类型不确定的函数。例如，C语言中的标准函数printf便使用这种机制。在声明不确定形参的函数时，形参部分可以使用省略号“…”代替。“…”告诉编译器，在函数调用时不检查形参类型是否与实参类型相同，也不检查参数个数。

例如：void ConnectData(int i,...)

在上面的代码中，编译器只检查第一个参数是否为整型，而不对其他参数进行检查。

对于可变参数的函数，需要进行特殊的处理。首先需要引用头文件，然后利用va_list类型和va_start、va_arg、va_end 3个宏读取传递到函数中的参数值。

这几个宏的定义如下（在 ANSI C 中）：

type va_arg( va_list arg_ptr, type );void va_end( va_list arg_ptr );void va_start( va_list arg_ptr, prev_param );

说明如下：

va_start :sets arg_ptr to the first optional argument in the list of arguments passed to the function. The argument arg_ptr must have va_list type. The argument prev_param is the name of the required parameter immediately preceding the first optional argument in the argument list. If prev_param is declared with the register storage class, the macro’s behavior is undefined. va_start must be used before va_arg is used for the first time.

【 va_start函数将参数arg_ptr设置为可变参数列表的第一个参数。参数arg_ptr的类型必须为va_list。参数prev_param是在可变参数列表之前的那一个参数。（也就是说在 ANSI C 中，如果一个函数有可变参数，那么在该可变参数前必须有一个明确定义的参数，否则无法调用函数 va_start ，例如函数 int add(int i,...）是合法的，而函数 int add(...)是不合法的。）】

va_arg :retrieves a value of type from the location given by arg_ptr and increments arg_ptr to point to the next argument in the list, using the size of type to determine where the next argument starts. va_arg can be used any number of times within the function to retrieve arguments from the list.

【 va_arg函数将返回 arg_ptr 所指位置的值，并将 arg_ptr 指向下一个参数】

va_end

After all arguments have been retrieved, va_end resets the pointer to NULL.

示例代码：

#include<cstdarg>
#include<iostream>
using namespace std;

int add(int pre,...)  
//求和函数
{
    va_list arg_ptr;
    int sum=0;
    int nArgValue;
    sum+=pre;
    va_start(arg_ptr,pre);
    do
    {
        nArgValue=va_arg(arg_ptr,int);
        sum+=nArgValue;       
    }while(nArgValue!=0);   
//自定义结束条件是输入参数为0
   va_end(arg_ptr);
    return sum;
}
int main()
{
   cout<<add(1,2,3,0)<<endl;  
//必须以0结尾，因为参数列表结束的判断条件是读到0停止
   return 0;
}

看windows程序设计这本书的时候看到有这么个函数：
int CDECL MessageBoxPrintf (TCHAR * szCaption, TCHAR * szFormat, ...)
{
TCHAR szBuffer [1024] ;
va_list pArgList ;
// The va_start macro (defined in STDARG.H) is usually equivalent to:
// pArgList = (char *) &szFormat + sizeof (szFormat) ;
va_start (pArgList, szFormat) ;
// The last argument to wvsprintf points to the arguments
_vsntprintf ( szBuffer, sizeof (szBuffer) / sizeof (TCHAR),
    szFormat, pArgList) ;
// The va_end macro just zeroes out pArgList for no good reason
va_end (pArgList) ;
return MessageBox (NULL, szBuffer, szCaption, 0) ;
}

这个是可变参数的用法。 
va_list相关一般包含以下4个操作： 
va_list XX //设定传入的参数的指针 
va_start //初始化参数指针
va_arg //通过栈操作，根据偏移量读取参数值 
va_end //参数读取完毕 

va_start (pArgList, szFormat) ;
上面的szFormat就是初始的栈指针位置(第一个可变参数的首地址)，以他为基准，进行偏移
例如：
va_arg( pArgList, unsigned long ) ;
那就是指以偏移unsigned long的siz，将其中的值作为参数。

可变参数的实现，其实是通过栈来实现的。 

具体的细节原理，就不写了，你上网搜一下，挺多的。

参见：http://topic.youkuaiyun.com/t/20041124/09/3582660.html