C/C++省略符形参原理和使用
前言
最近重新翻了一遍《C++ Primer》，看了一下省略符形参的相关内容，发现只有半页左右的内容（可能后面还有），只是提了一下有这种形参语法，作用是兼容C语言，但没有提及如何使用这种形参，以及要注意什么。个人也很好奇不定量形参的使用以及实现方法，不定形参在最近个人的使用中也比较常见，比如格式化输出，就测试了一下，说点粗陋的发现。
测试环境
测试基于window10环境，使用的编译器是VS2019，在32和64位的编译配置下都测试过。
省略符形参的实现
个人使用到的几个用到省略符形参的方法都有一套类似的结构， 函数的所有参数都是原变量被拷贝后赋值到新的内存中的，因而所有参数在内存中是连续的，这是可以使用省略符形参的前提。 参数a是形参列表中最后一个明确的参数，va_list是char*类型。
va_start
va_start的作用是获取参数a后面第一个未知参数的地址，并赋值给args参数。
#define _crt_va_start(ap,v) ( ap = (va_list)_ADDRESSOF(v) + _INTSIZEOF(v) ) #define _INTSIZEOF(n) ( (sizeof(n) + sizeof(int) - 1) & ~(sizeof(int) - 1) ) #define _ADDRESSOF(v) ( &reinterpret_cast<const char &>(v) )
在32位的编译环境中，va_start的底层实现如上。
_ADDRESSOF(v)
这个方法获取明确变量的地址并强制转换为char*类型处理，因为char类型的大小为1字节，等于字节大小单元，更方便寻址处理。
_INTSIZEOF(v)
这个宏定义用于获取不小于变量v（在实际使用中是参数a，亦即形参列表中最后一个明确类型的参数）类型大小的 4的 整数倍的字节长度，结果是4的整数倍。具体为什么这样设计我还在查询，但可能和指针以及内存地址有关，在32位的系统中，内存地址长度以及指针变量长度为4字节(int)；而在64位系统中，这一长度也随着内存地址大小扩展变成了8字节（__int64），并且，当实际数据大于指针大小时，转换为指针处理。
va_arg
#define _crt_va_arg(ap,t) ( *(t *)((ap += _INTSIZEOF(t)) - _INTSIZEOF(t)) )
va_arg宏定义用于获取未知参数存储内存中的第一个参数数据，提取时类型为t，同时，也让args指向这个参数后的位置，用于获取（可能存在的）下一个未知参数，可以通过可控的遍历安全获取实际参数列表。
如 假设省略符形参的实参为
int a, float b, TypeNameA* c
则，可以通过依次顺序调用以下语句获取实参数据：
va_arg(args,int);//返回结果为 a va_arg(args,float);//返回结果为 b va_arg(args,TypeNameA*);//返回结果为 c
但一旦使用了错误的类型或者顺序提取参数，可能会造成未知的错误。
va_end
va_end将参数列表清零
#define _crt_va_end(ap) ( ap = (va_list)0 )
省略符参数的使用
首先做个小实验，在函数的实现中不通过实参而获取它对应的值。
void show(int a, char b);
int main()
{
int a = 10;
char b = v;
show(a, b);
system("pause");
return 0;
}
void show(int a, char b)
{
int* aptr = &a;
char b_ = e;
#ifdef _M_X64
b_ = *(char*)((char*)aptr+sizeof(__int64));
#elif defined(_M_IX86)
b_ = *(char*)((char*)(aptr) + sizeof(int));
#endif
cout << b_ << endl;
}
在show方法中，我并没有显示的调用形参b，最终却依旧会输出显示b的值。 说回正题： 使用省略符形参的关键在于确定省略形参的数量和类型，因此你需要通过一定的标志去确定这两项数据。 通常使用的方法有， 1、在明确的参数中添加数量参数，让函数循环有限次数，省略参数的类型一般有默认要求 2、最后一个省略符参数显式标记为null或其他标志性数据，确保能在参数范围内停止。 3、格式化输出时，一般会明确类型为char*或者string的format参数，在format字符串中会有特殊字符标记嵌入位置、嵌入数量和嵌入类型。标准库中也有自带的vsnprintf函数，可用于代替处理va_arg的过程。
