C++17折叠表达式怎么用 变参模板简化写法

C++17折叠表达式是一种简化变参模板操作的新语法。它允许开发者以更直观的方式对参数包执行运算，如求和、求积、逻辑判断等，显著提升了代码的可读性和维护性。其主要有四种形式：一元右折叠 (pack op ...)，从右向左依次应用运算符；一元左折叠 (... op pack)，从左向右依次应用运算符；二元右折叠 (pack op ... op init)，带初始值且从右向左计算；二元左折叠 (init op ... op pack)，带初始值且从左向右计算。常见应用场景包括参数求和、逻辑判断、打印参数、构建复杂对象等。使用时需注意空参数包可能导致未定义行为、运算符选择要符合语义、类型推导可能引发意外结果以及避免过度使用影响可读性。

折叠表达式，说白了就是C++17给变参模板提供了一个更简洁的语法，让你可以对参数包进行各种操作，比如求和、求积、逻辑运算等等。它让代码更清晰，也更易于维护。

折叠表达式，变参模板的福音。

什么是C++17折叠表达式？

简单来说，折叠表达式就是一种简化变参模板的语法，允许你用更简洁的方式对参数包进行操作。在C++17之前，处理变参模板通常需要递归或者使用逗号运算符等技巧，代码可读性较差。折叠表达式的出现，让这些操作变得更加直观和易于理解。

例如，假设你需要计算一个参数包中所有参数的和。在C++17之前，你可能会这样做：

template
T sum() {
    return 0;
}

template
T sum(T first, Args... rest) {
    return first + sum(rest...);
}

现在，有了折叠表达式，你可以这样写：

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

是不是简洁了很多？这就是折叠表达式的魅力。

折叠表达式的几种形式？

折叠表达式有四种形式，理解它们对于灵活运用折叠表达式至关重要：

1. 一元右折叠 (Unary Right Fold): (pack op ...)

   这种形式会将参数包 pack 中的参数从右向左依次应用二元运算符 op。例如，(args + ...) 表示将 args 中的参数从右向左依次相加。

2. 一元左折叠 (Unary Left Fold): (... op pack)

   与一元右折叠相反，这种形式会将参数包 pack 中的参数从左向右依次应用二元运算符 op。例如，(... + args) 表示将 args 中的参数从左向右依次相加。

3. 二元右折叠 (Binary Right Fold): (pack op ... op init)

   这种形式与一元右折叠类似，但它会指定一个初始值 init。参数包 pack 中的参数从右向左依次与 init 应用二元运算符 op。例如，(args + ... + 0) 表示将 args 中的参数从右向左依次相加，初始值为 0。

4. 二元左折叠 (Binary Left Fold): (init op ... op pack)

   与二元右折叠相反，这种形式也会指定一个初始值 init。参数包 pack 中的参数从左向右依次与 init 应用二元运算符 op。例如，(0 + ... + args) 表示将 args 中的参数从左向右依次相加，初始值为 0。

理解这四种形式的关键在于明确运算符的应用方向和初始值的存在与否。

折叠表达式能解决哪些实际问题？

折叠表达式的应用场景非常广泛，它可以简化很多与变参模板相关的代码。以下是一些常见的应用场景：

• 求和、求积： 正如前面的例子所示，折叠表达式可以很方便地计算参数包中所有参数的和或积。

• 逻辑运算： 折叠表达式可以用于对参数包中的参数进行逻辑运算，例如判断是否所有参数都为真。

  template
  bool allTrue(Args... args) {
      return (args && ...);
  }

• 打印参数： 折叠表达式可以用于将参数包中的参数打印到控制台。

  #include 
  
  template
  void print(Args... args) {
      (std::cout << ... << args) << std::endl;
  }

  这个例子可能有点tricky，它依赖于逗号运算符的特性。std::cout << ... << args 会依次将 args 中的参数输出到 std::cout，最后再输出一个换行符。

• 构建复杂对象： 折叠表达式可以用于构建复杂的对象，例如将参数包中的参数传递给构造函数。

  #include 
  
  template
  std::vector createVector(Args... args) {
      return std::vector{args...};
  }

  这个例子使用了花括号初始化列表和参数包展开，将 args 中的参数传递给 std::vector 的构造函数。

总而言之，折叠表达式可以简化很多与变参模板相关的代码，提高代码的可读性和可维护性。

使用折叠表达式时需要注意什么？

虽然折叠表达式很强大，但在使用时也需要注意一些问题：

• 空参数包： 当参数包为空时，一元折叠表达式的行为是未定义的。因此，在使用一元折叠表达式时，需要确保参数包不为空，或者使用二元折叠表达式指定一个初始值。
• 运算符的选择： 选择合适的运算符对于折叠表达式的正确性至关重要。例如，如果需要计算参数包中所有参数的最小值，应该使用 std::min 而不是 +。
• 类型推导： 折叠表达式的类型推导可能会导致一些意想不到的结果。在使用折叠表达式时，需要仔细考虑类型推导的规则，或者显式指定返回类型。
• 可读性： 虽然折叠表达式可以简化代码，但过度使用可能会降低代码的可读性。在使用折叠表达式时，需要权衡代码的简洁性和可读性。

总之，在使用折叠表达式时，需要仔细考虑各种因素，确保代码的正确性和可读性。