C++11 30-可变参数模板 Variadic Templates

于 2024-10-26 07:00:00 发布
阅读量1k 收藏 29
点赞数 15
CC 4.0 BY-SA版权
分类专栏： C++ 文章标签： c++ java 开发语言
版权声明：本文为博主原创文章，遵循 CC 4.0 BY-NC-SA 版权协议，转载请附上原文出处链接和本声明。
本文链接：https://blog.csdn.net/wesigj/article/details/143245161

系列文章目录

点击直达——文章总目录

Overview

1.可变参数模板 Variadic Templates

C++11 引入了可变参数模板（Variadic Templates），它允许开发者编写可以接受任意数量模板参数的模板。这项特性极大地增强了模板的表达能力和灵活性，使得编写泛型代码更加强大和通用。

1.1.基本语法

可变参数模板的基本语法如下：

template <typename... Ts>  // 'Ts' 是一个模板参数包（Template Parameter Pack）
class MyClass {
    // ...
};

这里，typename... 表示参数包，可以有零个或多个类型参数。

1.2.参数包展开

可以使用递归模板特化来展开参数包：

template<typename T>
void print(T t) {
    std::cout << t << std::endl;
}

template<typename T, typename... Rest>
void print(T t, Rest... rest) {
    std::cout << t << ", ";
    print(rest...);  // 递归展开参数包
}

1.3.示例

以下是一个使用可变参数模板的示例，它定义了一个计算任意数量参数之和的模板函数：

#include <iostream>

template <typename... Ts>
int sum(Ts... args) {
    return (args + ... + 0);  // 使用折叠表达式计算总和
}

int main() {
    std::cout << "Sum: " << sum(1, 2, 3, 4) << std::endl;  // 10
    std::cout << "Sum: " << sum(1.5, 2.5, 3.5) << std::endl;  // 7.5
    return 0;
}

在这个例子中，使用了折叠表达式（Fold Expression）来计算参数的总和。

1.4.常用技术

  1. 参数包转发：
    在模板中，可以将参数包转发给其他函数：

    template <typename... Ts>
void wrapper(Ts... args) {
    someFunction(std::forward<Ts>(args)...);  // 使用 std::forward 完美转发参数
}

  2. 参数包构建其他模板：
    可以将参数包作为构建其他模板的一部分：

    template <typename... Ts>
struct Wrapper {
    using Type = std::tuple<Ts...>;  // 构建一个类型元组
};

  3. 参数包与静态数组：
    可以将参数包与静态数组结合使用：

    template <typename... Ts>
void printValues(const Ts&... args) {
    constexpr int values[sizeof...(Ts)] = {args...};
    // ...
}

可变参数模板是 C++11 中最强大和最灵活的特性之一，它使得模板元编程更加强大，也为标准库中的许多新功能提供了基础，如 std::tuple、std::variant 和 std::any。

2.C++11 中的可变参数模板和旧版本的模板有什么区别？

C++11 之前的模板系统与 C++11 引入的可变参数模板（Variadic Templates）相比，有以下主要区别：

2.1.C++11 之前的模板

  1. 固定参数数量：
    旧版本的模板需要预先指定一个固定数量的模板参数。例如，如果你想要定义一个模板类或函数，你需要明确指出它接受一个参数、两个参数还是更多。

    template <typename T>
class MyClass;

template <typename T1, typename T2>
class MyPair;

  2. 不支持参数包：
    无法定义接受任意数量参数的模板。每个模板必须明确知道它将要处理的参数数量。

  3. 模板特化：
    需要为每种特定情况手动编写模板特化版本，这在处理多种类型时可能导致代码冗余。

2.2.C++11 的可变参数模板

  1. 不定数量的参数：
    可变参数模板允许模板类或函数接受任意数量的模板参数。

    template <typename... Ts>
class MyClass;

  2. 参数包：
    引入了参数包（Parameter Pack）的概念，可以对模板参数进行递归展开和处理。

  3. 递归模板特化：
    可以使用递归模板特化来处理参数包，从而编写出可以接受任意数量参数的模板。

  4. 完美转发：
    可变参数模板与 std::forward 一起使用，可以实现参数的完美转发，保留参数的lvalue/rvalue特性。

  5. 折叠表达式：
    引入了折叠表达式（Fold Expressions），允许对参数包进行初始化、累加等操作。

  6. 更简洁的语法：
    可变参数模板的语法比旧版本模板更加简洁，可以更直观地表达意图。

2.3.示例对比

C++11 之前的模板：

template <typename T1, typename T2, typename T3>
void process(T1& a, T2& b, T3& c) {
    // ...
}

C++11 的可变参数模板：

template <typename... Ts>
void process(Ts&... args) {
    // 使用参数包 args
}

在 C++11 之前的版本中，如果需要处理不同数量的参数，你需要为每种情况编写不同的模板。而在 C++11 中，你可以使用单个可变参数模板来处理所有这些情况。

总的来说，C++11 的可变参数模板提供了更强大的表达能力，允许开发者编写出更通用、更灵活的代码。

3.C++11 中的可变参数模板在实际项目中有哪些应用场景？

C++11 中的可变参数模板在实际项目中的应用场景非常广泛，它们提供了极大的灵活性和通用性。以下是一些典型的应用场景：

  1. 通用数据结构：
    可变参数模板可以用于实现如 std::tuple 这样的通用数据结构，它可以存储不同类型和数量的数据项。这种数据结构在需要将多个数据项组合成一个单一对象时非常有用。

  2. 泛型编程：
    在泛型编程中，可变参数模板允许开发者编写可以接受任意数量参数的函数或类模板。例如，可以实现一个函数，它可以接受任意数量的参数并将它们相加。

  3. 类型安全的函数封装：
    可变参数模板可以用于创建类型安全的函数封装器，这些封装器可以接受任意数量和类型的参数，并将其转发给另一个函数。这在实现中间件、日志记录机制或任何需要动态参数处理的层时非常有用。

  4. 初始化列表和参数转发：
    可变参数模板可以与初始化列表和参数转发结合使用，以实现如 std::make_tuple 这样的函数，它们可以根据输入参数构造元组。

  5. 递归模板特化：
    通过递归模板特化，可变参数模板可以用于处理参数包的展开，这在需要对参数进行逐个处理时非常有用。

  6. 模板元编程：
    可变参数模板可以与其他编译时编程技术结合使用，如模板特化、SFINAE（Substitution Failure Is Not An Error）等，以实现编译时的复杂计算和类型检查。

  7. 通用迭代器：
    可变参数模板可以用于创建可以迭代不同类型对象的通用迭代器，这在处理异构数据集合时非常有用。

  8. 类型萃取和类型安全的函数：
    可变参数模板可以用于实现类型安全的函数，这些函数在处理多种参数类型时可以确保类型正确。

  9. 函数包装和高阶函数：
    可变参数模板可以用于创建函数包装器，这些包装器可以接受任意数量的参数，并将它们转发给另一个函数，这在实现高阶函数时非常有用。

  10. 实现 emplace_back 类似的功能：
    可变参数模板可以用于实现类似于 emplace_back 的功能，直接在容器中构造对象，避免额外的拷贝或移动操作。

这些应用场景展示了可变参数模板在现代 C++ 编程中的多样性和实用性。通过使用这些特性，开发者可以编写出更加通用、灵活和高效的代码。

4.如何使用可变参数模板实现一个函数，它可以处理任意数量的参数？

使用可变参数模板实现一个函数，使其能够处理任意数量和类型的参数，可以通过递归模板展开和折叠表达式来完成。以下是实现这样一个函数的步骤：

4.1. 基础案例

首先，定义一个基础案例，处理当参数包为空时的情况：

template<typename... Ts>
void process(Ts... /*args*/) {
    // 基础案例：当没有参数时，什么也不做
}

注意：由于基础案例不处理任何参数，参数可以用 /*args*/ 来忽略。

4.2. 递归展开

然后，定义一个带有至少一个参数的模板重载，它将处理一个参数，并递归调用自身来处理剩余的参数：

template<typename T, typename... Rest>
void process(T first, Rest... rest) {
    handle(first); // 处理第一个参数
    process(rest...); // 递归调用以处理剩余参数
}

template<typename T>
void process(T first) {
    handle(first); // 处理第一个参数，没有更多的参数
}

这里，handle 是一个假定的函数，用于处理单个参数。

4.3. 使用折叠表达式

使用 C++17 的折叠表达式（如果你使用的是 C++11 或 C++14，需要使用不同的递归展开方法）：

template<typename... Ts>
void process(Ts... args) {
    (std::cout << ... << args) << '\n';
}

这个例子使用了左折叠表达式（left fold）来展开参数包 args 并将它们发送到标准输出。

4.4.示例实现

以下是一个更完整的示例，它展示了如何使用可变参数模板来实现一个函数，该函数将计算任意数量整数参数的总和：

#include <iostream>

// 基础案例
template<typename... Ts>
int sum(Ts... /*args*/) {
    return 0;
}

// 递归展开
template<typename T, typename... Rest>
int sum(T first, Rest... rest) {
    return first + sum(rest...);
}

int main() {
    std::cout << "Sum: " << sum(1, 2, 3, 4, 5) << std::endl; // 输出 15
    return 0;
}

在这个示例中，sum 函数通过递归调用自身来处理参数包，直到参数包为空，触发基础案例。

4.5.注意事项

  • 可变参数模板在使用时需要谨慎，以避免无限递归。
  • 在 C++11 和 C++14 中，通常需要使用递归模板展开来处理参数包。
  • C++17 引入的折叠表达式为处理参数包提供了更简洁的方式。

通过这种方式，你可以实现一个函数，它可以接受任意数量和类型的参数，并执行相应的操作。

5.在C++11中，除了可变参数模板，还有哪些其他类型的模板值得学习？

在 C++11 中，除了可变参数模板，还有许多其他重要的模板特性和相关概念值得学习和掌握：

  1. 类型萃取（Type Traits）：
    类型萃取是模板元编程的基础，它使用模板特化来在编译时提取或计算类型信息。例如，std::is_same, std::add_const, std::remove_reference 等。

  2. 模板特化（Template Specialization）：
    特化允许为特定类型或类型组合定制模板的实现。这可以用于优化通用模板类或函数对特定类型的行为。

  3. SFINAE（Substitution Failure Is Not An Error）：
    SFINAE 是一种模板元编程技巧，允许在重载决策中使模板替换失败成为一个可接受的结果，而不是一个错误。

  4. 完美转发（Perfect Forwarding）：
    完美转发涉及到使用模板和 std::forward 来保留参数值类别（lvalue/rvalue）的转发技术。

  5. 尾置返回类型（Trailing Return Type）：
    尾置返回类型语法为模板函数提供了更清晰和优雅的返回类型定义方式。

  6. 继承构造函数（Inherited Constructors）：
    允许派生类继承基类的构造函数，简化模板类的构造函数定义。

  7. 静态_assert：
    static_assert 是一个编译时断言，它使用类型萃取来在编译时检查条件。

  8. decltype：
    decltype 关键字用于推导表达式的类型，常用于模板元编程。

  9. constexpr：
    constexpr 用于定义在编译时可以计算的常量表达式，它与模板一起使用可以生成编译时的常量。

  10. 模板别名（Template Aliases）：
    使用 using 关键字可以创建模板别名，它提供了一种简洁的方式来表示复杂的模板类型。

  11. 嵌套模板（Nested Templates）：
    如 std::vector<T>::iterator，它允许在类模板内部定义另一个模板。

  12. 递归模板：
    递归模板是递归函数的一种模板形式，它们可以用于实现复杂的编译时计算。

  13. 模板元编程（Template Metaprogramming）：
    使用模板进行编译时计算和代码生成，这在标准库中广泛使用，如 std::tuple。

  14. auto 关键字：
    auto 关键字可以用于类型推断，它与模板结合使用可以简化代码。

  15. Lambda 表达式与模板：
    Lambda 表达式经常与模板一起使用，尤其是在算法实现中。

  16. std::enable_if：
    这是一个条件编译时的 if，它使用模板特化来启用或禁用某些函数重载。

这些特性和概念是现代 C++ 模板编程的基础，掌握它们可以提高编写高效、灵活和可重用代码的能力。

关于作者

这就是传说中的C++11可变模板参数，再也不用害怕模板参数列表过长！
Lion_Long的博客
02-13 1024
C++11的新特性–可变模版参数（variadic templates）是C++11新增的最强大的特性之一，它对参数进行了高度泛化，它能表示0到任意个数、任意类型的参数。C++11的可变模板参数是一项强大的特性，它使得模板编程更加灵活和高效。通过使用可变参数模板，我们可以轻松地处理不同长度的参数列表，在编写泛型代码时更具通用性。无需担心参数列表过长，可变模板参数可以让我们在编写模板时更加灵活，并且能够应对各种不同的情况，从而提高代码的复用性和可读性。
c++ Variadic Templates（可变参数列表）
A_Bo的博客
02-17 1163
写在前面 在c++11中新引入了Variadic Templates（可变参数列表），和initialize_list不同的是，Variadic Templates可以支持不同类型的参数，而initialize_list只支持同一种类型的参数，并且在vector、max等容器或者函数中内部已经实现了initialize_list，那么Variadic Templates的用法更加广泛，其中体现最...
C++ －－ variadic template （可变参数模板）
weixin_30902251的博客
04-13 358
作者：唐风 主页：http://www.cnblogs.com/muxue C++11 语言核心的改进中，最为关注的有 rvalue reference （这里有一篇拙作），lambda，variadic template。rvalue 规则稍微复杂，但一旦理解和记住了，应用上就没有什么困难。lambda 其实是一个“很自然”的语言设施，除了语法稍显诡异之外，习惯了就能马上用上，而且是能广...
C++11: variadic template
love1937的专栏
12-18 550
#include <iostream> #include <string>template <typename T, typename... Args> void foo(const T &t, const Args& ... rest) { std::cout << sizeof...(Args) << std::endl; std::cout << sizeof.
C++11——variadic template
ShenHang_的博客
07-22 298
例1： //例1： void print()//递归出口 { cout << "递归出口" << endl; } template<typename T, typename... Types>//版本1 void print(const T&firstArg, const Types&...args) { cout << firstArg << endl; print(args...); } template<ty
C++11的模板，VariadicTemplate
zym1348010959的博客
09-03 418
C++11的模板基于之前有了很大的特性增强，今天我们介绍一些关于与它的特性，也是我在学习这些部分的一些总结。 void print() {} template <typename T, typename...Types> void print(const T&firstArg, const Types&... args) { cout << siz...
C++ 11 可变模板参数 variadic template
conimade的博客
02-23 180
template<typename T,typename... Type> void Print(const T& firstArg,const Types&... args) { cout<<firstArg<<endl; Print(args...); } //最后一次使用 void Print() { } //siz...
可变参数模板 Variadic Templates
Dong_HFUT的博客
06-26 2725
从 C++11 开始，模板可以有任意个模板参数，也即所谓的可变参数模板。定义一个函数 如下，用于接收不同类型的不同参数。 被称为模板参数包（template parameter pack）， 被称为函数参数包（function parameter pack）。模板函数 首先打印第一个参数，然后递归调用自己打印剩余参数。为了结束递归，需要提供一个非模板类型重载函数，用于处理最后的空参数包。为了更直观地感受可变参数模板地递归处理过程，可以在以上 中插入 ，打印出函数的调用。 当发生 调用时，输出如下：
C++ 11（2.0）新特性 02（可变参数模板Variadic Templates）
Unity3d 攻城师一枚
09-07 583
可变参数模板说明 在使用C++标准库的时候，里面大量使用了模板函数；比如printf(…），Tuple(…）； 在2.0之前，函数不支持可变参数模板； 可变参数模板的作用是方便递归可变数据； 代码示例 void print() { //cout << "empty" << endl; } //... 是可变参数声明包 //typename...是模板可变参数包 //Types... 是函数类型可变参数包 //args... 是函数参数包 // &
深入探讨C++中的可变参数列表（Variadic Templates）
qq_46017342的博客
03-08 2081
深入探讨C++中的可变参数列表（Variadic Templates）
C++11新特性(68)- 可变参数模板(variadic template)
面向对象思考
09-03 3850
可变参数函数 C语言中，可变参数函数可以说是一个比较神奇的存在。例如最常用的printf函数，它的原型如下： 它的第一个参数是const char*类型的format，后面参数的类型和名称都没有定义，只有三个点。   虽然从C语言编译的角度来讲，在这个位置程序员可以写任意个数，任意类型的参数，实际上printf函数根据format指定的格式字符串来使用后面指定的 实参值，个数少了或者类...
c++11新特性--variadic templates（详细）
weixin_44570263的博客
09-19 617
可以应用这个技巧，改变参数个数逐一减少，实现递归1）template模板代表的有函数模板和成员模板；variadic是参数，参数数量和参数类型；（2）新的关键字就是…,template；注意…在三个不同位置；
C++11——Variadic Templates（可变模板）
qq_45311905的博客
01-06 1414
引入可变模板用于函数模板例1:打印一组数例2：一组数比大小可变模板用于类模板 引入 可变模板是C++11中非常重要也是非常值得探讨的一个语法。首先它是一个模板，可以是函数模板，也可以是类模板；其次可变也有两层含义，一方面是指模板参数的个数可变，另一方面是指模板参数的类型可变。 实现可变模板的关键字说起来非常简单，就是三个点（即…，我在后面将其统一称为可变模板关键字），和汉语中的省略号很相似，都有数量不定的意思，而且可变模板本身其实也就只有这一个意思，只是用户通过递归的技巧可以设计出让人惊诧的应用。 可变模.
C++中的可变模板（Variadic Templates）详解
YRB0127的博客
08-19 1160
可变模板是指模板可以接受任意数量的模板参数，这些参数可以是类型参数（如typename T）或非类型参数（如int N可变模板使得编写处理多个参数的泛型代码更加简洁和高效。可变模板的关键在于使用了模板参数包（template parameter pack），它是一个包含任意数量模板参数的包。通过展开模板参数包，可以处理这些参数。可变模板是C++11引入的强大特性，极大地增强了C++的泛型编程能力。通过可变模板，程序员可以编写更加灵活和通用的代码，处理任意数量的模板参数和函数参数。
C++之变参模板(Variadic template)
qq_37857689的博客
02-23 270
C++变参模板
C++新特性之Variadic Template
u013635579的博客
09-21 418
可变参数模板的定义 可变参数模板是至少有一个参数宝的模板，参数包则是可以接受零个或者更多模板实参的模板形参，其格式如下： template &lt;class ...T&gt; class classname; template &lt;class ...T&gt; void func(T ...args); 其中T为模板参数包，args为函数参数包。 可变参数模板可以用任意数量的模板参数实例...
【C/C++】Variadic Template
最新发布
YZJincsdn的博客
09-13 345
两种形式可以并存，但是谁更泛化/特化？
C++可变参数模板(variadic template)详细介绍及代码举例
weixin_34061042的博客
07-03 285
2019独角兽企业重金招聘Python工程师标准>>> ...
C++ Variadic Templates（可变参数模板）
T_T233333333的博客
12-13 618
本文参考侯捷老师的视频：https://www.youtube.com/watch?v=TJIb9TGfDIw&list=PL-X74YXt4LVYo_bk-jHMV5T3LHRYRbZoH 以及C++ primer第五版 相关内容。 可变参数模板函数 //递归的终止条件 void print() {} //Variadic Templates //一般用于递归处理 template <typename T, typename... Types> void print(const T&a
评论
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

当前余额3.43元 前往充值 >
需支付：10.00元
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包

打赏作者

WeSiGJ

你的鼓励将是我创作的最大动力

¥1 ¥2 ¥4 ¥6 ¥10 ¥20
扫码支付：¥1
获取中
扫码支付

您的余额不足，请更换扫码支付或充值

打赏作者

实付元
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明：

1.余额是钱包充值的虚拟货币，按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载，可以购买VIP、付费专栏及课程。

余额充值