C++函数可变参数实现及原理_c++ 判断可变参数是否为空-CSDN博客

本文链接：https://blog.csdn.net/wasaiheihei/article/details/110947417

C++中的函数可变参数常用于字符串格式化，其原理基于参数在内存中的连续布局。通过`va_start()`、`va_arg()`和`va_end()`宏来操作这些参数。虽然无法直接获取参数个数和类型，但可以通过固定参数指示数量，或设定参数类型规则，如格式化函数中的`%s`、`%d`、`%f`。为了程序健壮性，使用后要调用`va_end()`释放资源。

std::string StringFormat(std::string format, ...)
{
	std::string str = format;

	va_list args;
	va_start(args, format);

	if (INVALID_HANDLE_VALUE != args)              //这个地址判断没有用
	{
		auto value1 = va_arg(args, int);
	}
	auto value2 = va_arg(args, char);              //不管有没有参数都能取到值

	va_end(args);

	str += value2;
	return str;
}

int main()
{
	std::string formatStr1 = StringFormat(str, 'a', 100);
	std::string formatStr2 = StringFormat(str, 100, 'a');
	std::string formatStr3 = StringFormat(str);
    return 0;
}

函数可变参数的实际使用如上，在C++中的字符串格式化函数中经常用到的基础功能，原理实际上也不算很复杂，首先函数调用参数是在一段连续的内存中，在va_start()调用时，通过可变参数...的前一个参数的地址偏移之后定位到下一个参数，也就是可变参数的第一个参数的起始地址，之后va_arg(args, type)通过参数的首地址和对应数据类型的大小获取出对应类型的参数值，同时参数首地址args进行相应长度的偏移，使其指向下一个参数的首地址，以此类推；最后为了程序健壮安全，调用va_end()置空参数指针args，失效该指针。

缺点：没法通过可变参数...自身判断实际调用的参数个数和参数类型，可能会获取到的值并非目标参数值

建议：使用时最好有固定的参数来指明可变参数个数，另外有一定的规则来方便确定参数类型（类似字符串格式化函数中的%s，%d，%f等）

为了给深入的理解，下面是可变参数涉及的宏的具体定义源代码

typedef char *  va_list;

#define va_start _crt_va_start
#define va_arg _crt_va_arg
#define va_end _crt_va_end

#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 )

#define _ADDRESSOF(v)   ( &reinterpret_cast<const char &>(v) )
#define _INTSIZEOF(n)   ( (sizeof(n) + sizeof(int) - 1) & ~(sizeof(int) - 1) )