C++17编程之 折叠表达式

当在C++17中使用模板或变参模板时，您可能需要将模板参数包中的多个值组合为单个值，例如求和、平均值、最大值等等。在这种情况下，您可以使用C++17中引入的折叠表达式。

折叠表达式是一种新的语言特性，它使得可以对包含若干个参数的可变参数模板进行操作，同时将其所有参数合并成一个值。这个新特性的语法形式是((pack op)… )，其中pack是一个参数包，op是一个二元操作符。这个语法形式可以用于多种操作符，例如加、乘、逗号等。 例如，如果您有一个求和函数模板，可以像这样定义它：

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

在这里，表达式 (args + …) 称为折叠表达式，其中+是一个二元操作符。这个函数将参数包args中的所有参数相加，并返回它们的总和。 您可以使用折叠表达式在变量模板中计算一个参数包的大小，例如：

template<typename... Args> 
constexpr std::size_t size_of_pack = (sizeof(Args) + ...); 

这个变量模板可以用来计算参数包args中所有类型的大小之和，并将其作为一个std::size_t类型的常量返回。

语法形式

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

一元左折叠（unary left fold）
( ... op pack )
一元左折叠(... op E)展开之后变为 ((E1 op E2) op ...) op En

一元右折叠（unary right fold）
( pack op ... )
一元右折叠<