可变参数函数模板

// Args称为模板参数包，rest称为函数参数包
template <typename T, typename ... Args>
void fun(T t, const Args & ... rest) {
}

可变参数类模板

// Args称为模板参数包，rest称为函数参数包
template <typename T, typename ... Args>
class A {
};

int main() {
    A<int, int, double> a;
    return system("pause");
}

可变参数函数模板的使用

// Args称为模板参数包，rest称为函数参数包
template <typename T, typename ... Args>
void fun(T t, const Args & ... rest) {
    // 获取模板参数包中的参数个数
    std::cout << sizeof...(Args) << std::endl;
    // 获取函数参数包中的参数个数
    std::cout << sizeof...(rest) << std::endl;

    // 可以利用递归处理每一个函数参数包中的参数
    // 相比上面的函数参数少了一个参数，可以知道函数参数包里的参数会一个一个减少
    fun(rest...);                          // rest...代表函数包拓展，代表着拓展为函数实参列表
//    fun(change(rest)...);                  // 更复杂的函数包拓展，每个参数都先用change函数处理一下并返回
};

// 巧妙点：上述的递归中，当最后一个参数时会调用更特例化版本，避免了模板参数包为0的报错
template <typename LastOne>
void fun(const LastOne & lastOne) {
    std::cout << "The End!" << std::endl;
}

template <typename T>
int change(T t) {
    return 0;               // 想作为包拓展的模式，必须要有返回值
}

int main() {
    int i1 = 0;
    double i2 = 0;
    char i3 = 0;
    float i4 = 0;
    // 备注：模板参数包的参数个数不可以为0，以下调用模板参数包的个数为4
    fun(i1, i2, i3, i4);    // fun<int, double, char, float>
    return system("pause");
}

转发参数包

// 转发参数包
template <typename ... Args>
void fun1(Args && ... rest) {
    // 转发参数包给fun2()，此处非递归调用只是将所有的参数包简单地转发了一下
    fun2(std::forward<Args>(rest)...);             // 同时应用了模板参数包拓展和函数参数包拓展
}

template <typename T, typename ... Args>
void fun2(T t, Args ... rest) {
    fun2(rest...);                              // 递归调用，函数参数包会一个一个减少
};

// 当只有一个参数时，会调用这个更特例化的版本
template <typename T>
void fun2(T t) {
    std::cout << "The End!" << std::endl;
}