C++基础：折叠表达式（C++17）

本文主要是介绍C++基础：折叠表达式（C++17），希望对大家解决编程问题提供一定的参考价值，需要的开发者们随着小编来一起学习吧！

简介

C++17 引入了一种新的语法特性，叫做折叠表达式，它允许编译器在模板参数包展开时进行元编程操作。折叠表达式的引入极大地简化了元编程代码，使其变得更为直观和简介。

语法

折叠表达式，简单来说，就是以二元运算符对形参包进行折叠，总共有以下四种类型：

1. 一元右折叠
2. 一元左折叠
3. 二元右折叠
4. 二元左折叠

其对应的语法如下：

(args op ...) 		// 1
(... op args)		// 2
(args op ... op 初始值)	// 3
(初始值 op ... op args)	// 4

• op : 下列的32个二元运算符之一 + - * / % ^ & | = < > << >> += -= = /= %= ^= &= |= <<= >>= == != <= >= && || , . ->*。在二元的折叠表达式中，两个运算符必须相同。
• args: 未展开的形参包

注意：开闭的括号也是折叠表达式的一部分

展开

折叠表达式当实例化时，会被按照一定的规则展开为表达式，展开规则如下：
(args op …) => (args₁ op (…(args_n-1 op args_n)))
(… op args) => (((args₁ op args₂) op …) op args_n)
(args op … op 初值) => (args₁ op (… op (args_n-1 op (args_n op 初值))))
(初值 op … op args) => ((((初值 op args₁ ) op args₂ ) op …) op args_n)

这样看貌似很抽象，我举个例子就会发现这其实非常简单，如下：

// 一元右折叠， 假设args为{1， 2， 3， 4}
(args + ...) 展开为 (1 + (2 + (3 + 4))) 等价于 1 + 2 + 3 + 4// 二元右折叠
(args + ... + 99) 展开为 (1 + (2 + (3 + (4 + 99)))) 

未演示的类型与上述类似，这里不做赘述。

示例

#include <iostream>
#include <vector>template <typename... Args>
int sum(Args... args) {return (args + ... + 1);
}template <typename... Args>
void print(Args... args) {(std::cout << ... << args) << std::endl;
}template <typename... Args>
void push_back(std::vector<int>& v, Args... args) {(v.push_back(args), ...);
}int main() {std::cout << sum(1, 2, 3) << std::endl;print(1, 2, 3);std::vector<int> v;push_back(v, 1, 2, 3);for (auto x : v) {print(x);}return 0;
}

这篇关于C++基础：折叠表达式（C++17）的文章就介绍到这儿，希望我们推荐的文章对编程师们有所帮助！

---