C++可变参数模板

使用可变参数模板可以生成可变个数参数的模板函数。

模板参数包和函数参数包

c++提供省略号来声明模板参数包的标识符。用“...”声明的标识符，将可以与多个类型匹配。用法如下：

template<typename... Args>
void foo(Args... args){}

foo(2, 4, "c++", 'c', std::string("java"));

Args就是一个模板参数包，用来匹配多个类型。而args是一个函数参数包。上述代码中，Args包含类型int、int、const char*、char、std::string。而函数参数包args包含的值为2、4、“c++”，’c‘，std::string("java")

使用递归展开参数包

对于参数包，我们使用递归来进行展开，每次读取有限个参数。

template<typename T, typename... Args>
void show_list(T value, Args... args){
    std::cout << value << std::endl;
    show_list(args...);
}

使用上述递归的方法就可以每次对一个参数进行读取。

可变参数模板示例

下面的示例，将添加一个但参数模板来处理最后一个参数，并且采用引用传参。

#include <iostream>
#include <string>

void show_list(){}

template <typename T>
void show_list(const T& value){
    std::cout << value << '\n';
}

template <typename T, typename... Args>
void show_list(const T& value, const Args&... args){
    std::cout << value << ", ";
    show_list(args...);
}

int main(){
    show_list(1, 2, "c++");
    return 0;
}