如何理解C++17的折叠表达式变参模板的简化写法-C++-PHP中文网

如何理解C++17的折叠表达式变参模板的简化写法

P粉602998670

发布： 2025-07-03 11:18:02

原创

604人浏览过

c++++17折叠表达式是一种简化变参模板操作的新语法。它允许开发者以更直观的方式对参数包执行运算，如求和、求积、逻辑判断等，显著提升了代码的可读性和维护性。其主要有四种形式：一元右折叠 (pack op ...)，从右向左依次应用运算符；一元左折叠 (... op pack)，从左向右依次应用运算符；二元右折叠 (pack op ... op init)，带初始值且从右向左计算；二元左折叠 (init op ... op pack)，带初始值且从左向右计算。常见应用场景包括参数求和、逻辑判断、打印参数、构建复杂对象等。使用时需注意空参数包可能导致未定义行为、运算符选择要符合语义、类型推导可能引发意外结果以及避免过度使用影响可读性。

如何理解C++17的折叠表达式变参模板的简化写法

折叠表达式，说白了就是C++17给变参模板提供了一个更简洁的语法，让你可以对参数包进行各种操作，比如求和、求积、逻辑运算等等。它让代码更清晰，也更易于维护。

折叠表达式，变参模板的福音。

什么是C++17折叠表达式？

简单来说，折叠表达式就是一种简化变参模板的语法，允许你用更简洁的方式对参数包进行操作。在C++17之前，处理变参模板通常需要递归或者使用逗号运算符等技巧，代码可读性较差。折叠表达式的出现，让这些操作变得更加直观和易于理解。

立即学习“C++免费学习笔记（深入）”；

例如，假设你需要计算一个参数包中所有参数的和。在C++17之前，你可能会这样做：

template<typename T>
T sum() {
    return 0;
}

template<typename T, typename... Args>
T sum(T first, Args... rest) {
    return first + sum(rest...);
}

登录后复制

现在，有了折叠表达式，你可以这样写：

template<typename... Args>
auto sum(Args... args) {
    return (args + ...);
}

登录后复制

是不是简洁了很多？这就是折叠表达式的魅力。

折叠表达式的几种形式？

折叠表达式有四种形式，理解它们对于灵活运用折叠表达式至关重要：

一元右折叠 (Unary Right Fold): (pack op ...)

这种形式会将参数包 pack 中的参数从右向左依次应用二元运算符 op。例如，(args + ...) 表示将 args 中的参数从右向左依次相加。
一元左折叠 (Unary Left Fold): (... op pack)

与一元右折叠相反，这种形式会将参数包 pack 中的参数从左向右依次应用二元运算符 op。例如，(... + args) 表示将 args 中的参数从左向右依次相加。
二元右折叠 (Binary Right Fold): (pack op ... op init)

这种形式与一元右折叠类似，但它会指定一个初始值 init。参数包 pack 中的参数从右向左依次与 init 应用二元运算符 op。例如，(args + ... + 0) 表示将 args 中的参数从右向左依次相加，初始值为 0。
二元左折叠 (Binary Left Fold): (init op ... op pack)

与二元右折叠相反，这种形式也会指定一个初始值 init。参数包 pack 中的参数从左向右依次与 init 应用二元运算符 op。例如，(0 + ... + args) 表示将 args 中的参数从左向右依次相加，初始值为 0。

理解这四种形式的关键在于明确运算符的应用方向和初始值的存在与否。

折叠表达式能解决哪些实际问题？

折叠表达式的应用场景非常广泛，它可以简化很多与变参模板相关的代码。以下是一些常见的应用场景：

求和、求积： 正如前面的例子所示，折叠表达式可以很方便地计算参数包中所有参数的和或积。
逻辑运算： 折叠表达式可以用于对参数包中的参数进行逻辑运算，例如判断是否所有参数都为真。
```
template<typename... Args>
bool allTrue(Args... args) {
    return (args && ...);
}
```
登录后复制
打印参数： 折叠表达式可以用于将参数包中的参数打印到控制台。
```
#include <iostream>

template<typename... Args>
void print(Args... args) {
    (std::cout << ... << args) << std::endl;
}
```
登录后复制
这个例子可能有点tricky，它依赖于逗号运算符的特性。std::cout
构建复杂对象： 折叠表达式可以用于构建复杂的对象，例如将参数包中的参数传递给构造函数。
```
#include <vector>

template<typename T, typename... Args>
std::vector<T> createVector(Args... args) {
    return std::vector<T>{args...};
}
```
登录后复制
这个例子使用了花括号初始化列表和参数包展开，将 args 中的参数传递给 std::vector 的构造函数。