有时候我们向函数传递的参数数量不是固定的,这个时候就需要函数能处理不同数量的参数。
initializer_list
如果函数的参数数量未知但是全部参数的类型都相同,我们可以使用initializer_list类型的形参。initializer_list是一种标准库类型,用于表示某种特定类型的值的数组。
和vector一样,initializer_list也是一种模板类型,但是initializer_list对象中的元素永远是常量值,其中begin()返回指向列表首部元素的指针,end()返回指向列表尾部元素的指针。
#include <initializer_list>
void printString(const std::string& tag, std::initializer_list<std::string> strings)
{
std::cout << tag<<":";
for (auto item = strings.begin(); item != strings.end(); item++) {
std::cout << *item << " ";
}
std::cout << std::endl;
}
int main(void)
{
printString("xy", { "hello","world" });//xy:hello world
system("pause");
return 0;
}
因为initializer_list包含begin和end成员,所以我们也可以使用范围for循环处理其中的元素。
#include <initializer_list>
void printString(const std::string& tag, std::initializer_list<std::string> strings)
{
std::cout << tag<<":";
for (const auto& item:strings) {
std::cout << item << " ";
}
std::cout << std::endl;
}
int main(void)
{
printString("xy", { "hello","world" });//xy:hello world
system("pause");
return 0;
}
将initializer_list换成vector也可以达到同样的目的。
void printString(const std::string& tag, std::vector<std::string>&& strings)
{
std::cout << tag<<":";
for (const auto& item:strings) {
std::cout << item << " ";
}
std::cout << std::endl;
}
int main(void)
{
printString("xy", { "hello","world" });//xy:hello world
system("pause");
return 0;
}
同样类型的对象放在花括号中会隐式转换为initializer_list,所在在发生重载时,这种表达式会优先匹配initializer_list而不是vector。
int main(void)
{
auto list = { "hello","world" };
std::cout << typeid(list).name() << std::endl;//class std::initializer_list<char const *>
system("pause");
return 0;
}
initializer_list对象在发生拷贝时,拷贝的是指向元素的指针,里面的元素不会被拷贝,而vector则会发生拷贝。
#include <initializer_list>
int main(void)
{
std::initializer_list<std::string> list1{ "hello","world" };
std::initializer_list<std::string> list2= list1;//拷贝初始化
std::cout << list1.begin()<< std::endl;//001FFE54
std::cout << list2.begin() << std::endl;//001FFE54
std::vector<std::string> vector1{ "hello","world" };
std::vector<std::string> vector2 = vector1;//拷贝初始化
printf("%08x,%s\n", vector1.begin(), (*vector1.begin()).c_str());//005af920, hello
printf("%08x,%s\n", vector2.begin(), (*vector2.begin()).c_str());//005af388, hello
system("pause");
return 0;
}
省略符形参
如果函数的参数数量未知但是参数的类型有可能不同,则可以使用省略符形参或者可变参数模板,省略符形参是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,则结果为未定义。
#include <stdio.h>
#include <stdarg.h>
void printStr(const char *format, ...)
{
va_list vl;
char buf[1000]{0};
va_start(vl, format);
vsprintf_s(buf, format, vl);
va_end(vl);
std::cout << buf << std::endl;
}
void printFloats(int n, ...)
{
int i;
va_list vl;
va_start(vl, n);
for (i = 0; i < n; i++)
{
double val = va_arg(vl, double);
std::cout << val<<" ";
}
va_end(vl);
std::cout << std::endl;
}
int main(void)
{
printStr("my height:%d",111);
printFloats(2,3.14,5.12);
system("pause");
return 0;
}
省略符前面的逗号可以省略
void printStr(const char *format...)
{
va_list vl;
char buf[1000]{0};
va_start(vl, format);
vsprintf_s(buf, format, vl);
va_end(vl);
std::cout << buf << std::endl;
}
void printFloats(int n...)
{
int i;
va_list vl;
va_start(vl, n);
for (i = 0; i < n; i++)
{
double val = va_arg(vl, double);
std::cout << val<<" ";
}
va_end(vl);
std::cout << std::endl;
}