C++折叠表达式（Fold Expression）

折叠表达式(Fold Expression)

折叠表达式是C++17新引进的语法特性。使用折叠表达式可以简化对C++11中引入的参数包的处理，从而在某些情况下避免使用递归。

支持的操作符

折叠表达式支持 32 个操作符:

+, -, *, /, %, ^, &, |, =, <,

>, <<, >>, +=, -=, *=, /=, %=, ^=, &=, |=, <<=,

>>=,==, !=, <=, >=, &&, ||, ,, .*, ->*.

语法形式

折叠表达式共有四种语法形式。分别为一元的左折叠和右折叠，以及二元的左折叠和右折叠。

1、一元右折叠(unary right fold)
　　( pack op ... )
　　一元右折叠(E op ...)展开之后变为 E1 op (... op (EN-1 op EN))
2、一元左折叠(unary left fold)
　　( ... op pack )
　　一元左折叠(... op E)展开之后变为 ((E1 op E2) op ...) op EN
3、二元右折叠(binary right fold)
　　( pack op ... op init )
　　二元右折叠(E op ... op I)展开之后变为 E1 op (... op (EN?1 op (EN op I)))
4、二元左折叠(binary left fold)
　　( init op ... op pack )

　　二元左折叠(I op ... op E)展开之后变为 (((I op E1) op E2) op ...) op EN

语法形式中的op代表运算符，pack代表参数包，init代表初始值。
初始值在右边的为右折叠，展开之后从右边开始折叠。而初始值在左边的为左折叠，展开之后从左边开始折叠。
不指定初始值的为一元折叠表达式，而指定初始值的为二元折叠表达式。
当一元折叠表达式中的参数包为空时，只有三个运算符（&& || 以及逗号）有缺省值，其中&&的缺省值为true,||的缺省值为false，逗号的缺省值为void()。

下面看看具体应用

求和

假设我们想写一个能接受一个及以上参数的求和函数，

 1 #include 
 2 using namespace std;
 3  
 4 template  
 5 First sum1(First&& value)  
 6 {  
 7     return value;  
 8 }
 9  
10 template  
11 First sum1(First&& first, Second&& second, Rest&&... rest)  
12 {  
13     return sum1(first + second, forward(rest)...);  
14 }
15  
16 template
17 First sum2(First&& first, Rest&&... rest)
18 {
19     return (first + ... + rest);
20 }
21  
22 int main()
23 {
24     cout << sum1(1) << sum1(1, 2) << sum1(1, 2, 3) << endl; // 136
25     cout << sum2(1) << sum2(1, 2) << sum2(1, 2, 3) << endl; // 136
26 }

  • 在C++17之前，求和函数sum1的实现必须分成两个部分。其中4到8行的sum1函数用于处理一个参数的情况。而10到14行的sum1函数用于处理两个及以上参数的情况。当参数个数大于一个时，10到14行的sum1函数将前两个参数相加，然后递归调用自身。当参数个数只有一个时，4到8行的sum1函数将此参数返回，完成求和。sum1(1, 2, 3) = sum1(1+2, 3) = sum1(3, 3) = sum1(3+3) = sum1(6) = 6

  • 而在C++17之后，由于有了折叠表达式这个新特性，求和函数sum2不再需要处理特殊情况，实现大为简化。
    sum2(1, 2, 3) = (1 + ... + pack(2, 3)) = (1+2) + 3 = 6
    这里sum2的实现所采用的是二元左折叠。

 

“与”和“或”

 1 #include 
 2 using namespace std;
 3  
 4 template
 5 bool all(Args... args) {return (... && args);}
 6 template
 7 bool any(Args... args) {return (... || args);}
 8  
 9 int main() 
10 {
11     cout << boolalpha << all(true, false, true) << endl; // false
12     cout << boolalpha << any(true, false, true) << endl; // true
13     cout << boolalpha << all() << endl; // true
14     cout << boolalpha << any() << endl; // false
15 }

  •  在这里all和any函数分别实现了不特定多数布尔值的与和或的运算。这两个函数的实现均采用了一元左折叠。

    all(true, false, true) = (... && pack(true, false, true)) = (true && false) && true = false
any(true, false, true) = (... || pack(true, false, true)) = (true || false) || true = true
  • 当一元折叠表达式中的参数包为空时，&&的缺省值为true，而||的缺省值为false。 
    all() = (... && pack()) = true
any() = (... || pack()) = false

“打印”和“调用”

 1 #include 
 2 using namespace std;
 3  
 4 template
 5 void printAll(Ts&&... mXs)
 6 {
 7     (cout << ... << mXs) << endl;
 8 }
 9  
10 template
11 void forArgs(TF&& mFn, Ts&&... mXs)
12 {
13     (mFn(mXs), ...);
14 }
15  
16 int main() 
17 {
18     printAll(3, 4.0, "5"); // 345
19     printAll(); // 空行
20     forArgs([](auto a){cout << a;}, 3, 4.0, "5"); // 345
21     forArgs([](auto a){cout << a;}); // 空操作
22 }
  •  printAll函数实现了对不特定多数值的打印输出。该函数的实现采用了二元左折叠。 
    printAll(3, 4.0, "5")
= (cout << ... << pack(3, 4.0, "5")) << endl
= ((cout << 3) << 4.0) << "5" << endl
= 打印345并换行
  • 当二元折叠表达式的参数包为空时，其计算结果为该二元折叠表达式中所预设的初始值。 
    printAll()
= (cout << ... << pack()) << endl
= cout << endl
= 空行
  • forArgs函数实现了依次使用多个参数调用某个单参数函数的功能。该函数的实现采用了一元右折叠。 
    forArgs([](auto a){cout << a;}, 3, 4.0, "5")
= ([](auto a){cout << a;}(pack(3, 4.0, "5")), ...)
= [](auto a){cout << a;}(3), ([](auto a){cout << a;}(4.0), ([](auto a){cout << a;}("5")))
= 打印345
  • 当使用逗号的一元折叠表达式中的参数包为空时，其计算结果为标准规定的缺省值void()。 
    forArgs([](auto a){cout << a;})
= ([](auto a){cout << a;}(pack()), ...)
= void()

 转自：(19条消息) C++17尝鲜：fold expression（折叠表达式）_zwvista的专栏-CSDN博客_fold




c++template

相关

标签