C++可变参数

initializer_list

如果函数的参数数量未知但是全部参数的类型都相同，我们可以使用initializer_list类型的形参。initializer_list是一种标准库类型，用于表示某种特定类型的值的数组。

和vector一样，initializer_list也是一种模板类型，但是initializer_list对象中的元素永远是常量值，其中begin()返回指向列表首部元素的指针，end()返回指向列表尾部元素的指针。

同样类型的对象放在花括号中会隐式转换为initializer_list，所在在发生重载时，这种表达式会优先匹配initializer_list而不是vector。

省略符形参

如果函数的参数数量未知但是参数的类型有可能不同，则可以使用省略符形参或者可变参数模板，省略符形参是C标准库的功能，所以对于参数类型不同但数量未知的情况，我们要尽量使用可变参数模板。

省略符形参只能出现在形参列表中的最后一个位置，且前面必须定义至少一个形参。

省略符形参相关的宏如下：

• void va_start(va_list ap, last_arg) 初始化 ap 变量，它与 va_arg 和 va_end 宏是一起使用的。last_arg 是最后一个传递给函数的已知的固定参数，即省略号之前的参数。这个宏必须在使用 va_arg 和 va_end 之前被调用。
• type va_arg(va_list ap, type) 检索函数参数列表中类型为 type 的下一个参数。它无法判断检索到的参数是否是传给函数的最后一个参数。
• void va_end(va_list ap) 允许使用了 va_start 宏的带有可变参数的函数返回。如果在从函数返回之前没有调用 va_end，则结果为未定义。

案例：

//initializer 参数化列表
void printStr(initializer_list<std::string> str)
{
	cout << "initializer=======" << endl;
	for (auto it = str.begin(); it != str.end(); it++)
	{
		cout << "printStr:"<<*it << endl;
	}
}

void printStr(vector<std::string> str)
{
	cout << "vector=======" << endl;
	for (auto it = str.begin(); it != str.end(); it++)
	{
		cout << "printStr:" << *it << endl;
	}
}

void printStr(string s,initializer_list<std::string> str)
{
	for (auto it = str.begin(); it != str.end(); it++)
	{
		cout << "s:" << s;
		cout << "printStr:" << *it << endl;
	}
}
//... 可变参数  C风格
#include <stdarg.h>
//省略符前面的逗号可以省略,下面两种写法都支持
//void printStrC(const char* format...)
void printStrC(const char* format, ...)
{
	va_list vlist;
	va_start(vlist, format);
	char buf[100];
	vsprintf_s(buf, format, vlist);
	va_end(vlist);
	std::cout << buf << endl;
}

//省略符前面的逗号可以省略,下面两种写法都支持
//void printFloatsC(int n...)
void printFloatsC(int n, ...)
{
	va_list vlist;
	va_start(vlist, n);
	for (size_t i = 0; i < n; i++)
	{
		double d = va_arg(vlist, double);
		cout << d << " ";
	}
	cout << endl;
	va_end(vlist);
}



int main()
{
	//initializer
	cout << "==initializer=="<<endl;
	printStr(std::vector<string>{"aaa","bbb","ccc"});
	printStr({"aaa", "bbb", "ccc"});
	printStr("222",{ "aaa","bbb","ccc" });

	//"C"
	cout << "==C==" << endl;
	printStrC("printStrC:%s,%d,%f", "1111", 222,33.123);
	printFloatsC(3, 1.123, 2.123, 3.123);

	return 0;
}

结果：

==initializer==
vector=======
printStr:aaa
printStr:bbb
printStr:ccc
initializer=======
printStr:aaa
printStr:bbb
printStr:ccc
s:222printStr:aaa
s:222printStr:bbb
s:222printStr:ccc
==C==
printStrC:1111,222,33.123000
1.123 2.123 3.123
请按任意键继续. . .

可变参数宏：...和__VA_ARGS__

#define PR(...) printf(__VA_ARGS__)

PR("Howdy");
PR("Weight = %d, shipping = $%.2f\n", wt, sp);

#include <stdio.h>
#include <math.h>
#define PR(X, ...) printf("Message " #X ": " __VA_ARGS__)

int main(void)
{
    double x = 48;
    double y;
    
    y = sqrt(x);
    PR(1, "x = %g\n", x);
    PR(2, "x = %.2f, y = %.4f\n", x, y);
    
    return 0;
}

该程序的输出如下：

Message 1: x = 48
Message 2: x = 48.00, y = 6.9282

加强版变参宏：##__VA_ARGS__

##__VA_ARGS__ 宏前面加上##的作用在于，当可变参数的个数为0时，这里的##起到把前面多余的","去掉的作用，否则会编译出错。使用如下：

#define edebug(format, ...) fprintf (stderr, format, ##__VA_ARGS__)

如果可变参数被忽略或为空，## 操作将使预处理器（preprocessor）去除掉它前面的那个逗号。

如果你在宏调用时，确实提供了一些可变参数，它会把这些可变参数放到逗号的后面。

#include <stdio.h>
#define LOGFUNC2(fmt,...) (printf(fmt" line:%d - %s/%s   \n",##__VA_ARGS__,__LINE__,__TIME__,__DATE__));

int main()
{
    //可变参数
    LOGFUNC2("i am C++ :%d name:%s age:%d",112,"C语言教程",18);// ok

    //字符串常量
    LOGFUNC2("i am C++ ");// ok
}

该程序的输出如下：

i am C++ :112 name:C语言教程 age:18 line:8 - 02:27:52/May 14 2022   
i am C++  line:11 - 02:27:52/May 14 2022  

//宏 可变参数
#define LOG(...)  printf(__VA_ARGS__);
#define LOGFUNC2(fmt,...) (printf(fmt" line:%d - %s/%s   \n",##__VA_ARGS__,__LINE__,__TIME__,__DATE__));
#define LOGFUNC3(fmt,...) printf("zhengheLINE:%d, " "<=>"fmt" zheng end%d\n",__LINE__,##__VA_ARGS__,__LINE__);
#define LOGFUNC4(fmt,...) printf("zhengheLINE:%d, " "<=>"fmt" zheng end%d\n",__LINE__,##__VA_ARGS__,__LINE__);


int main()
{
	//宏
	cout << "==__VA_ARGS__==" << endl;
	LOG("score is %d\n", 96);
	//可变参数
	LOGFUNC2("i am C++ :%d name:%s age:%d", 112, "C语言教程", 18);// ok
	//字符串常量
	LOGFUNC2("i am C++ ");// ok
	LOGFUNC3("==%s==", __FUNCTION__);
	LOGFUNC4("==%s==%s=", __FUNCTION__,__FILE__);
}

结果

==__VA_ARGS__==
score is 96
i am C++ :112 name:C语言教程 age:18 line:200 - 15:05:52/Jan 18 2023
i am C++  line:202 - 15:05:52/Jan 18 2023
zhengheLINE:203, <=>==main== zheng end203
zhengheLINE:204, <=>==main==d:\projects\consoleapplication1\consoleapplication1\consoleapplication1.cpp= zheng end204

模板可变参数

//模板可变参数

//递归终止函数
void ShowListArg()
{
	cout << "non arg:";
	cout <<   endl;
}
//展开函数
template<class T,class ...Args>
void ShowListArg(T value,Args... args)
{
	//cout << sizeof...(args) << endl; //获取参数包中参数的个数
	cout << "template:";
	cout << value<<" ";
	ShowListArg(args...);
}

//外部调用函数
template<class ...Args>
void ShowList(Args ...args)
{
	ShowListArg(args...);
}

int main()
{
	//模板可变参数
	cout << "==template==" << endl;
	ShowList();
	ShowList(1);
	ShowList(2, 'A');
	ShowList(3, 'A', string("hello"));
}

结果：

==template==
non arg:
template:1 non arg:
template:2 template:A non arg:
template:3 template:A template:hello non arg: