可变参数列表
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则编译不通过，编译器无法自行推导