C++ 可变参数模板

可变参数列表

C语言中的可变参数列表

#include <iostream>int main(){    printf("%d %d %d", 1, 2, 3);    return 0;}

​ ***可变参数列表：***接受任意个数的参数，如 printf 。

int printf(const char* format, ...);

​ 函数定义形参部分带 … 。在 C 语言中，三个点并非必要。

C++中的可变参数列表

形参包

void f(int ...num);

​ 形参包： … 与形参名结合便是形参包。形参包可接受任意多个参数。

​ ***范式：***上述的 num 便是范式。… 在形参名之前。

void f(int ...num) {    int arr[] = {num...};    //假设传了五个参数，则展开后为    //int arr[] = {num1, num2, num3, num4, num5};}

​ ***形参包展开：***参数列表中创建的形参包在后续使用必须展开。… 在范式后即为形参包展开。只展开 … 之前的语句，语句必须带范式形参。展开后的语句以逗号隔开。

可变参数模板

类型形参包

template<typename ...T>

​ ***类型形参包：***与形参包类似，… 后带类型模板便是类型形参包。

template<typename ...T>std::common_type_t<T...> Add(T ...num) {    /*...*/}/*std::common_type_t<T...>：自动适配尖括号中类型形参包的公共类型。假设调用为：Add(1.2,3,5.5f,'\0',2ULL)：std::common_type_t<T...>展开后为：std::common_type_t<double, int, float, char, unsign long long>Add(T ...num)展开后为：Add(double num1, int num2, float num3, char num4, unsign long long num5)*/

​ ***类型形参包展开：***与形参包展开类似，… 在类型名后便是类型形参包展开。

***总结：***三个点在变量名或模板类型名前是创建形参包，三个点在变量名或模板类型名后是展开形参包。

形参包后续类型形参

#include <numeric>template<typename ...Args, typename RT = std::common_type_t<Args...>>RT Add(const Args& ...nums) {RT temp[] = { nums... };return std::accumulate(std::begin(temp), std::end(temp), RT{ 0 });}//std::accumulate 通过迭代器求和//std::accumulate(起始迭代器, 终止迭代器, 求和结果变量)

​ 后续类型形参无法手动指定，只能通过缺省类型进行指定或推导。

推导指引（C++17）

​ 推导指引只作用于类型模板。

template<typename T>struct test {private:T a;public:test(T n) :a{ n } {}void type() {std::cout << typeid(a).name() << std::endl;}};//推导指引，将int类型推导为double类型后调用模板test(int)->test<double>;

利用可变参数模板进行推导指引

//模板A，定义结构体arraytemplate<typename Ty, std::size_t size>struct array {Ty arr[size];};//模板B，用于推导指引template<typename T, typename ...Args>array(T, Args...) -> array<T, sizeof... (Args) + 1>;//sizeof...(形参包)：形参包参数个数

​ 如果没有模板B，多参数创建 array 必须指定模板类型。

array<int,5> a{ 1,2,3,4,5 };array a{ 1,2,3,4,5 };//没有模板B则编译不通过，编译器无法自行推导