（1）先举一个不是很恰当的例子给大家看一下折叠表达式具体是怎么使用的：
int sum_1_to_5()
{
return (1 + 2 + 3 + 4 + 5);
}
sum_1_to_5();
我们使用
template<typename ...Args>
int sum(Args&&... args)
{
return (args + ... + 0);
}
sum(1, 2, 3, 4, 5);
也就是说折叠表达式能够自动的将指定的操作应用于形参包。(args + ... + 0) 等价于(1+2+3+4+5+0)。
折叠表达式在一定的程度上可以简化代码。
（2）语法
( pack op ... ) (1)
( ... op pack ) (2)
( pack op ... op init ) (3)
( init op ... op pack ) (4)
pack指的是参数包，op指的是具体的操作，init指的是具体的初始值。上述的语法等价于
(1) 称为一元右折叠：unary right fold
(2) 称为一元左折叠：unary left fold
(3) 称为二元右折叠：binary right fold
(4) 称为二元左折叠：binary left fold
上述的表达式等价于：
(E op ...) <=> (E1 op (... op (E N-1 op EN))) （1）
(... op E) <=> (((E1 op E2) op ...) op EN) （2）
(E op ... op I) <=> (E1 op (... op (EN−1 op (EN op I)))) （3）
(I op ... op E) <=> ((((I op E1) op E2) op ...) op EN) （4）
E 为有N个元素的参数包，op为具体的操作符，I为初始值。在（3），（4）中，两个op一定要是一样的。
需要比较值得重点关注的一点是，二元op的取值范围为
+，-，*， /， %， ^， &， |， =， <， >， <<， >>， +=， -=， *=， /=， %=， ^=， &=， |=， <<=， >>=， ==， !=， <=， >=， &&， || ，,， .*， ->*。
再给大家两个比较简单的例子
#include <iostream>
#include <vector>
//(1) ( pack op ... )
template<class T, class... Args>
void push_back_vec(std::vector<T>& v, Args&&... args)
{
static_assert((std::is_constructible_v<T, Args&> && ...));
(v.push_back(args), ...);
}
//(4) (init op ... op pack)
template<class ...Args>
void printer(Args&&... args)
{
(std::cout << ... << args) << '\n';
}
int main()
{
std::vector<int> v;
push_back_vec(v, 6, 2, 45, 12);
for (int i : v) std::cout << i << ' '; //6 2 45 12
std::cout << "\n";
printer(1, 2, 3, "abc"); //123abc
return 0;
}
几个需要注意的点：
- 只有三个运算符允许pack为空,
&&、||和,。&&为true，||为false，,为void()。
template <typename... Args>
auto empty_pack_unary_fold_operator_and(Args&&... args){
return (args && ...);
}
template <typename... Args>
auto empty_pack_unary_fold_operator_or(Args&&... args){
return (args || ...);
}
template <typename... Args>
auto empty_pack_unary_fold_operator_comma(Args&&... args){
return (args , ...);
}
TEST_CASE("a unary fold is used with a pack expansion of length zero", "fold expression"){
CHECK(true == empty_pack_unary_fold_operator_and());
CHECK(false == empty_pack_unary_fold_operator_or());
using void_type = decltype(empty_pack_unary_fold_operator_comma());
CHECK( std::is_void<void_type>::value );
}
- 注意运算符的优先级。
