C++ 11新特性之可变参数模板-Toy模板网

这篇具有很好参考价值的文章主要介绍了C++ 11新特性之可变参数模板。希望对大家有所帮助。如果存在错误或未考虑完全的地方，请大家不吝赐教，您也可以点击"举报违法"按钮提交疑问。

概述

随着C++ 11标准的发布，C++语言获得了许多强大的新特性，其中一项显著提升灵活性和实用性的创新便是可变参数模板。这一特性极大地扩展了模板在处理不定数量类型或值参数时的能力，为开发者提供了更为强大且灵活的泛型编程工具。

工作机制

在C++ 11之前，模板参数的数量必须是固定的。这意味着，对于那些需要处理任意数量参数的情况，程序员不得不采用一些间接手段，比如：重载函数或模板特化。然而，可变参数模板允许编译时传递任意数量的类型或对象到模板中。

学习C++的人应当对printf非常熟悉，printf的一个特点就是它的参数个数是可变的。而在C++ 11中，则允许模板的参数个数也是可变的。下面的示例代码是一个模板参数可变的函数模板，用于获取传入的参数的个数。

template<typename... Args>
void function(Args... args)
{
    // ...
}

在上面的示例代码中，Args...是一个类型参数包，它可以代表零个或多个未知类型的列表，函数function现在可以接受任意数量和类型的参数。

可变参数模板的工作机制依赖于“参数包”和“展开工厂”的概念。参数包是一个包含零个或多个模板参数的集合，而在函数体内部，我们需要通过某种方式将参数包展开成独立的元素。为了处理这些参数，通常使用递归技术结合折叠表达式。比如：在实现类似printf的格式化输出功能时，可以通过递归地调用自身来处理每一个参数。

#include <iostream>
using namespace std;

template<typename T, typename... Args>
void MyPrint(T first, Args... rest)
{
    cout << first;
    // 使用折叠表达式展开参数包
    (cout << ... << rest) << endl;
}

int main()
{
    MyPrint("Hello ");
    MyPrint("Hello ", "World");
    MyPrint("Hello ", "CSDN", "!");
    return 0;
}