va_list arg_list va_start(arg_list, format) va_end( arg_list ) 原理的理解
阿新 • • 發佈:2018-12-08
void log( int log_level, const char* file_name, int line_num, const char* format, ... ) { ............. .............. va_list arg_list; va_start( arg_list, format ); memset( arg_buffer, '\0', LOG_BUFFER_SIZE ); vsnprintf( arg_buffer, LOG_BUFFER_SIZE - 1, format, arg_list ); printf("%s\n", arg_buffer ); fflush( stdout ); va_end( arg_list ); }
1.在C中,當我們無法列出傳遞函式的所有實參的型別和數目時,可以用省略號指定引數表
void foo(...);void foo(parm_list,...); 這種方式和我們以前認識的不大一樣,但我們要記住這是C中一種傳參的形式,在後面我們就會用到它。
2.函式引數的傳遞原理
函式引數是以資料結構:棧的形式存取,從右至左入棧。
首先是引數的記憶體存放格式:引數存放在記憶體的堆疊段中,在執行函式的時候,從最後一個開始入棧。因此棧底高地址,棧頂低地址,舉個例子如下:void func(int x, float y, char z);
那麼,呼叫函式的時候,實參 char z 先進棧,然後是 float y,最後是 int x,因此在記憶體中變數的存放次序是 x->y->z,因此,從理論上說,我們只要探測到任意一個變數的地址,並且知道其他變數的型別,通過指標移位運算,則總可以順藤摸瓜找到其他的輸入變數。 下面是 <stdarg.h> 裡面重要的幾個巨集定義如下:
typedef char* va_list;
void va_start ( va_list ap, prev_param ); /* ANSI version */
type va_arg ( va_list ap, type );
void va_end ( va_list ap );
va_list 是一個字串指標,可以理解為指向當前引數的一個指標,取參必須通過這個指標進行。
<Step 1> 在呼叫引數表之前,定義一個 va_list 型別的變數,(假設va_list 型別變數被定義為ap);
<Step 2> 然後應該對ap 進行初始化,讓它指向可變引數表裡面的第一個引數,這是通過 va_start 來實現的,第一個引數是 ap 本身,第二個引數是在變參表前面緊挨著的一個變數,即“...”之前的那個引數;
<Step 3> 然後是獲取引數,呼叫va_arg,它的第一個引數是ap,第二個引數是要獲取的引數的指定型別,然後返回這個指定型別的值,並且把 ap 的位置指向變參表的下一個變數位置;
<Step 4> 獲取所有的引數之後,我們有必要將這個 ap 指標關掉,以免發生危險,方法是呼叫 va_end,他是輸入的引數 ap 置為 NULL,應該養成獲取完引數表之後關閉指標的習慣。說白了,就是讓我們的程式具有健壯性。通常va_start和va_end是成對出現。 例如 int max(int n, ...); 其函式內部應該如此實現:
#include <iostream.h>
void fun(int a, ...)
{
int *temp = &a; temp++;
for (int i = 0; i < a; ++i)
{
cout << *temp << endl;
temp++;
}
}
int main()
{
int a = 1;
int b = 2;
int c = 3;
int d = 4;
fun(4, a, b, c, d);
system("pause");
return 0;
}
Output::
1
2
3
4
在函式體中宣告一個va_list,然後用va_start函式來獲取引數列表中的引數,使用完畢後呼叫va_end()結束。像這段程式碼:
void TestFun(char* pszDest, int DestLen, const char* pszFormat, ...)
{
va_list args;
va_start(args, pszFormat); //一定要“...”之前的那個引數
_vsnprintf(pszDest, DestLen, pszFormat, args);
va_end(args);
}
4.演示如何使用引數個數可變的函式,採用ANSI標準形式
#include<iostream>
#include<stdlib.h>
#include<stdio.h>
#include <string.h>
#include <stdarg.h>
/*函式原型宣告,至少需要一個確定的引數,注意括號內的省略號*/
int demo( const char*, ... );
int main( void )
{
demo("DEMO", "This", "is", "a", "demo!", "");
return 0;
}
/*ANSI標準形式的宣告方式,括號內的省略號表示可選引數*/
int demo( const char* msg, ... )
{
/*定義儲存函式引數的結構*/
const char* c = "";
va_list argp;//va_list type is a (char*)
int argno = 0;
const char *para = NULL;
/*argp指向傳入的第一個可選引數,msg是最後一個確定的引數*/
va_start( argp, msg );
while (1){
para = va_arg( argp, char*);
if ( strcmp( para, c) == 0 )
break;
printf("Parameter #%d is: %s\n", argno, para);
argno++;
}
/*將argp置為NULL*/
va_end( argp );
return 0;
}
Parameter #0 is: This
Parameter #1 is: is
Parameter #2 is: a
Parameter #3 is: demo!
函式原型:int vsnprintf(char *str, size_t size, const char *format, va_list ap);
#include <stdio.h> #include <stdarg.h> void SYSTEM(const char * format, ...) { char buff[4069]; va_list list; va_start(list, format); vsnprintf(buff, 4069, format, list); va_end(list); printf("%s\n", buff); } void main() { SYSTEM("%d_%s", 6, "abc"); }
輸出:
6_abc