?采用C語言編程的時(shí)候，函數(shù)中形式參數(shù)的數(shù)目通常是確定的，在調(diào)用時(shí)要依次給出與形式參數(shù)對應(yīng)的所有實(shí)際參數(shù)。但在某些情況下希望函數(shù)的參數(shù)個(gè)數(shù)可以根據(jù)需要確定。典型的例子有大家熟悉的函數(shù)printf()、scanf()和系統(tǒng)調(diào)用execl()等。那么它們是怎樣實(shí)現(xiàn)的呢？

? ? C編譯器通常提供了一系列處理這種情況的宏，以屏蔽不同的硬件平臺造成的差異，增加程序的可移植性。這些宏包括va_start、va_arg和va_end等。在講解以上宏之前我們先了解一下調(diào)用函數(shù)時(shí)傳入?yún)?shù)的處理過程。

一、函數(shù)傳入?yún)?shù)過程

? ? 一個(gè)函數(shù)包括函數(shù)名、傳入?yún)?shù)、返回參數(shù)以及函數(shù)體，函數(shù)體編譯后的二進(jìn)制代碼儲存在程序代碼區(qū)。當(dāng)用戶調(diào)用某個(gè)函數(shù)時(shí)，系統(tǒng)會通過函數(shù)名（C++中會涉及到mangled命名處理）查找函數(shù)體入口指針并壓入棧中，之后將傳入?yún)?shù)以從右至左的順序壓入棧中（棧空間是往低地址方向增長的，也即棧底對應(yīng)高地址，棧頂對應(yīng)低地址），示例如下：

#include <iostream>
using?namespace?std;

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_start、va_arg和va_end宏定義

? 接著我們再來看看va_start、va_arg和va_end等宏的具體定義。

#define?_INTSIZEOF(n)? ( (sizeof(n) + sizeof(int) - 1) & ~(sizeof(int) - 1) )?//?此句宏的作用是將類型n的大小向上取成4的倍數(shù)，如n為char型的話結(jié)果即為4

#ifdef? __cplusplus
#define?_ADDRESSOF(v)? ( &reinterpret_cast<const char &>(v) )?//?vs2015中此句高亮，作用是將v的地址重新解釋成char*型
#else
#define?_ADDRESSOF(v)? ( &(v) )
#endif

#define?_crt_va_start(ap,v)? ( ap = (va_list)_ADDRESSOF(v) + _INTSIZEOF(v) )
#define?_crt_va_arg(ap,t)? ? ( *(t *)((ap += _INTSIZEOF(t)) - _INTSIZEOF(t)) )
#define?_crt_va_end(ap)? ? ? ( ap = (va_list)0 )

#ifndef _VA_LIST_DEFINED
#ifdef _M_CEE_PURE
typedef System::ArgIterator va_list;
#else
typedefchar?*? va_list;? ? ??//?vs2015中此句高亮
#endif?/* _M_CEE_PURE */
#define?_VA_LIST_DEFINED
#endif
//?以上宏定義出現(xiàn)在vadef.h，通過stdio.h即可使用

#define va_start _crt_va_start #define va_arg _crt_va_arg #define va_end _crt_va_end // 以上宏定義出現(xiàn)在stdarg.h中，若要使用則需加上 #include <stdarg.h>

三、va_start、va_arg和va_end使用示例

? ? 容易看出，以上宏定義主要涉及地址操作，va_start獲取第二個(gè)傳入?yún)?shù)的地址給va_list類型變量（假設(shè)為arg_ptr），va_arg用于獲取當(dāng)前參數(shù)值并將指針arg_ptr往后移，va_end則是將arg_ptr置為空。va_start、va_arg、va_end具體用法示例如下：

#include <stdio.h>
#include<stdarg.h>

int?fun(int?x,?int?y) {
? ?return?x -?y;
}

int?fun(int?count, ...) {
? ? va_list arg_ptr;? ? ??//?等同于 char *arg_ptr;
? ??int?nArgValue =?count;
? ?int?nArgCout =?0;?
? ? va_start(arg_ptr, count);?//?使arg_ptr指向第二個(gè)參數(shù)的地址

? ? printf("The 1 th arg: %d\n", nArgValue);? ??//?輸出第一個(gè)參數(shù)的值
? ??int?sum =?0;
? ?for?(int?i =?0; i < count; i++)
? ? {
? ? ? ?++nArgCout;
? ? ? ? nArgValue= va_arg(arg_ptr,?int);//?將arg_ptr所指參數(shù)返回成int并移動(dòng)arg_ptr使其指向后一個(gè)參數(shù)，這里假設(shè)傳入?yún)?shù)均是int型
? ? ? ? printf("The %d th arg: %d\n", i+2, nArgValue);??//?輸出各參數(shù)的值
? ? ? ? sum +=?nArgValue;
? ? }

? ? va_end(arg_ptr);? ?//?將arg_ptr置為空
? ??return?sum;
}

int?main() {
? ? cout<< fun(0) <<?endl;
? ? cout<< fun(1,?1) << endl;??//?優(yōu)先匹配到函數(shù)int fun(int, int), 輸出0
? ? cout << fun(2,?3,?4) <<?endl;
? ?system("pause");



? ? return?0;

}

// Output: // 0 // 0 // The 1 th arg: 2 // The 2 th arg: 3 // The 3 th arg: 4 // 7

? ? 注意：以上宏操作并不提供參數(shù)個(gè)數(shù)獲取操作，這需要用戶在函數(shù)中獲取，如第二個(gè)fun函數(shù)使用count指明個(gè)數(shù)，printf通過解析第一個(gè)傳入?yún)?shù)來確定參數(shù)個(gè)數(shù)與類型等。

總結(jié)

以上是生活随笔為你收集整理的深度探索va_start、va_arg、va_end的全部內(nèi)容，希望文章能夠幫你解決所遇到的問題。

如果覺得生活随笔網(wǎng)站內(nèi)容還不錯(cuò)，歡迎將生活随笔推薦給好友。