C++可变参数模板的用法（附带实例）

在 C++11 之前，模板函数或类只能是固定数量的参数。这个约束在 C++11 中被放宽，这个新的特性显著地提高了模板参数的灵活性。

C++11 引入了可变参数模板的特性，允许定义可接受任意数量参数的模板。

模板中的可变参数使用省略号（...）来表示，它可以在模板参数列表的最后一个参数位置使用。这里需要注意，可变参是在最后一个模板参数中使用，这一点非常重要。

示例代码如下：

template<typename...Args>                     //正确
void printArgs(Args...args)
{
    std::cout<< "Number of arguments:"<< sizeof...(args)<< std::endl;
}

template<typename...Args,typename T>          //错误
void printArgs(const T&arg1,Args...args)
{
    std::cout<<arg1<<"Number of arguments:"<< sizeof...(args)<< std::endl;
}

template<typename T,typename...Args>          //正确
void printArgs(const T&arg1,Args...args)
{
    std::cout<<arg1<<"Number of arguments:"<< sizeof...(args)<< std::endl;
}

在上面的示例中，Args 是一个模板参数包（Template Parameter Pack），它可以接受任意数量的类型参数。args 是一个函数参数包（Function Parameter Pack），它接受与 Args 对应的参数。

利用模板的可变参数可以对参数包执行很多操作，例如扩展参数包的参数列表、递归地处理每个参数等，代码如下：

template<typename T,typename...Ts>
void printArgs(T head,Ts...rest)
{
    std::cout<< "Current argument:"<< head<< std::endl;
    printArgs(rest...);   //递归处理剩下的参数
}
//终止递归的函数模板定义,也是编译期模板展开的结束条件
void printArgs(){}

在上面的示例中使用递归的方式来处理参数包 Ts...rest，在每次递归的过程中打印出当前参数的值，并将剩余参数包传递给另一个递归调用。当参数包被处理完时，调用终止递归地定义函数模板。

通过模板的可变参数可以实现类型安全的可变数量的参数处理，使代码更加灵活、可扩展和易于维护。

C++可变参数模板的用法（附带实例）

相关文章