C++可变参数

有时候我们向函数传递的参数数量不是固定的,这个时候就需要函数能处理不同数量的参数。

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;
}
©著作权归作者所有,转载或内容合作请联系作者
平台声明:文章内容(如有图片或视频亦包括在内)由作者上传并发布,文章内容仅代表作者本人观点,简书系信息发布平台,仅提供信息存储服务。

推荐阅读更多精彩内容