高端知识点：折叠表达式（我也是第一次知道）

 不知道大家以前了解折叠表达式不，这里介绍一下！我也是最近才知道这个知识点，在C++中通过折叠表达式可以更容易的在可变参数模板中处理可变参数。

不知道大家以前了解折叠表达式不，这里介绍一下!

我也是最近才知道这个知识点，在C++中通过折叠表达式可以更容易的在可变参数模板中处理可变参数。

先看一下传统的使用递归方式来处理可变参数的代码：

1. #include <iostream> 

2. void print(int i) { 

3.     std::cout << i << " "; 

4. } 

5. void func() {} 

6. template<typename T1, typename... Tn> 

7. void func(T1 arg1, Tn... args) { 

8.     print(arg1); 

9.     func(args...); 

10. } 

11. int main() { 

12.    func(2, 3, 4); 

13.     std::cout << "Hello World \n"; 

14. } 

注意看代码里还需要有个不带参数的func()来停止递归。很麻烦!

而使用折叠表达式，通过单个函数模板就可以实现上述功能，不需要多余的函数，看代码：

1. #include <iostream> 

2. void print(int i) { 

3.     std::cout << i << " "; 

4. } 

5. template<typename... T> 

6. void func(const T&... args) { 

7.     (print(args), ...); 

8.     std::cout << "\n"; 

9. } 

10. int main() { 

11.     func(1, 2, 3); 

12.     std::cout << "Hello World \n"; 

13. } 

函数体中的三个点触发折叠。它会针对可变参数中的每个参数调用print()，对print()的每个调用用逗号分隔。

例如对于func(1, 2, 3)，函数内的折叠表达式会展开成这样：

1. (print(1), (print(2), print(3))); 

再用一个例子巩固下：

1. #include <iostream> 

2. template<typename... T> 

3. void func(const T&... args) { 

4.     ((std::cout << args << " "), ...); 

5.     std::cout << "\n"; 

6. } 

7. int main() { 

8.     func(1, 2, 3); 

9.     std::cout << "Hello World \n"; 

10. } 

下面是折叠表达式展开后的形式：

1. ((std::cout << 1<< " "), ((std::cout << 2 << " "), (std::cout << 3 << " "))); 

上面的示例中都是与逗号运算符结合使用，但实际上折叠可以和任何类型的运算符结合使用。例如与加号结合使用来计算所有值的和：

1. #include <iostream> 

2. template<typename T, typename... Tn> 

3. int sum(const T& v, const Tn&... values) { 

4.     return (v + ... + values); 

5. } 

6. template<typename... Tn> 

7. int sum2(const Tn&... values) { 

8.     return (... + values); 

9. } 

10. int main() { 

11.     std::cout << sum(1, 2, 3, 4) << "\n"; 

12.     std::cout << sum2(1, 2, 3, 4) << "\n"; 

13.     std::cout << "Hello World \n"; 

14. } 

对于sum(1, 2, 3, 4)，展开的形式如下：

1. return (((1 + 2) + 3) + 4); 

但这里有个问题，该函数的使用一定需要至少一个参数，否则将无法通过编译：

1. #include <iostream> 

2. template<typename T, typename... Tn> 

3. int sum(const T& v, const Tn&... values) { 

4.     return (v + ... + values); 

5. } 

6. int main() { 

7.     sum(); 

8.     std::cout << "Hello World \n"; 

9. } 

报错如图：

长度为0其实也可以使用折叠表达式，但不能和加减这种运算符结合使用，只能和逻辑与、逻辑或和逗号结合使用。例如：

1. #include <iostream> 

2. template <typename... Values> 

3. double allTrue(const Values&... values) {  

4.     return (... && values);  

5. } 

6. template <typename... Values> 

7. double anyTrue(const Values&... values) {  

   <360>

8.     return (... || values);  

9. } 

10. int main() { 

11.     std::cout << allTrue(1, 1, 0) << allTrue(1, 1) << allTrue() << "\n"; // 011 

12.     std::cout << anyTrue(1, 1, 0) << anyTrue(0, 0) << anyTrue() << "\n"; // 100 

13. } 

关于折叠表达式的介绍就到这里，打完收工!希望对大家有所帮助!

参考资料：

《Professional C++》