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;
}