可变参数模板与完美转发

可变参数模板是 C++11 引入的一种特性，它允许函数接受可变数量的参数。通过使用省略号(...) 和模板参数包（template parameter pack），可以在函数中定义接受任意数量和任意类型参数的参数列表。

下面是一个使用可变参数模板的示例：

#include <iostream>

// 递归终止条件
void printArgs() {
    std::cout << "No more arguments" << std::endl;
}

// 打印传入的参数，并递归调用自身处理剩余参数
template<typename T, typename... Args>
void printArgs(T arg, Args... args) {
    std::cout << arg << std::endl;
    printArgs(args...);
}

int main() {
    printArgs(1, "hello", 3.14, true); 
    return 0;
}

输出结果：

1
hello
3.14
1
No more arguments

完美转发是 C++11 引入的另一个重要特性，它解决了在函数模板中正确传递参数的问题。在 C++中，函数传递参数时会进行类型匹配，有时可能会导致类型推导错误，或者丢失参数的引用性质。完美转发通过使用引用折叠规则（reference collapsing rules）和 std::forward 来解决这些问题。

下面是一个使用完美转发的示例：

#include <iostream>
#include <utility>

// 接受任意类型参数，并将其转发给其他函数
template<typename F, typename... Args>
void callFunc(F&& func, Args&&... args) {
    std::forward<F>(func)(std::forward<Args>(args)...);
}

// 测试函数
void printArg(int arg) {
    std::cout << "Argument: " << arg << std::endl;
}

int main() {
    int x = 10;
    callFunc(printArg, x); // 传递参数x给printArg函数
    return 0;
}

输出结果：

Argument: 10

在这个示例中，我们使用 `callFunc` 函数模板来接受任意类型的参数，并使用完美转发将这些参数传递给其他函数。在 `main` 函数中，我们将参数 `x` 传递给了 `printArg` 函数，并成功打印了参数的值。

通过使用可变参数模板和完美转发，我们可以更加灵活地处理任意数量和任意类型的参数，并确保类型推导的正确性和参数引用性质的保持。这是 C++ 中非常强大的语言特性之一。