c++17可变参函数模板详解

c语言中对于 可变参数的处理是用va_list等一系列宏去做的 他只会生成一个函数 但是理解起来非常麻烦 因为你不得不去了解很多关于汇编层面栈帧的知识

c++对于可变参数函数模板进行了改进 他会生成多个函数 而不是在一个函数里玩 个人觉得c++这种方式更加先进而且更好理解 接下来让我们看看c++对于可变参数是怎么处理的吧

1.参数类型固定 参数个数可变

可以直接使用c++11提供的initializer_list去实现 具体原理是开辟堆区空间生成对象来实现 实现方法如下

#include<initializer_list>
void test(std::initializer_list<int> list)
{
    for (auto i : list) {//do someting
    }
        for (auto it = list.begin(); it != list.end(); it++) { //do something
        }
}
int main()
{
    test({ 1,2,3,4 });
    test({ 5,6,7,9 });
}

2.参数类型可变 参数个数可变

参数类型可变 参数个数固定压根就没这种说法 如果有 那就使用和这种一样的方式

 c++使用函数模板来解决参数类型和个数均可变的情况 相比较于C的不同 他是在编译阶段会生成多个函数 加长了编译的时间 加大了可执行文件的大小 但是提高了程序的执行效率

void test()
{
    //当参数为0的时候 结束递归
}
template<typename T,typename... U>
void test(T&& first, U&&... others)
{
    //使用参数first去做一些事情后
    //继续递归剩下的参数
    std::cout << first;
    test(others...);
}

但是上面会有个明显的缺点 就说我们一定要去定义一个同名的test函数且参数为0的函数来结束递归 当用户传入0个参数的时候不就没有调用到我们真正的模板函数中来了嘛?

所以c++17加入了编译期if语句来支持这种写法 让你在编译期就可以对参数类型和个数做出判断 改进后的代码如下所示 

template<typename T,typename... U>
void test(T&& first, U&&... others)
{
    //使用参数first去做一些事情后
    //继续递归剩下的参数
    std::cout << first;
    if constexpr (sizeof...(others) > 0)
        test(others...);
}
int main()
{
    test(1,2,"string");
}

加入这种语句后 相当于指导了编译过程 不仅减少了编译后的函数个数 减小可执行文件的大小 而且代码可读性得到了极大的增强 代码运行后 结果如图所示: