可变参数模板 和 折叠表达式 (C++)
可变参数模板 和 折叠表达式
- 一、可变参数模板
- 二、折叠表达式
- 例子
- 三、总结
在 C++11 中引入的可变参数模板(Variadic Templates)让我们能够编写对任意数量模板参数进行操作的通用代码,但在实现上往往要借助递归展开,写法比较繁琐。C++17 则新增了折叠表达式(Fold Expressions),让对参数包的聚合操作变得极为简洁。
一、可变参数模板
可变参数模板本质是对“参数包”(parameter pack)的支持。你可以在模板参数列表中写
template<typename... Args>
表示 Args… 是一个类型包;同理,在函数参数列表中写
void func(Args... args)
表示 args… 是一个参数包。通过 sizeof…(Args) 可以在编译期获得包的大小。
如果你想对包里每一个元素做处理,在 C++11/14 中常用的做法是递归展开:
#include <iostream>// 递归终止函数
void print_all() {std::cout << "\n";
}// 递归展开:取第一个参数,打印后递归剩下的
template<typename First, typename... Rest>
void print_all(First&& first, Rest&&... rest) {std::cout << first << ' ';print_all(std::forward<Rest>(rest)...);
}int main() {print_all(1, 2.5, "hello", 'A');
}
上述代码中,print_all(1,2.5,“hello”,‘A’) 会先匹配带 First, Rest… 的版本,打印第一个,再 “剥离” 参数包递归调用,直到包为空时调用无参版本终止。虽然能用,但每增加一种功能往往还要改终止条件,对编译器和读者都是负担。
二、折叠表达式
C++17 引入的折叠表达式,能够将二元运算符直接“折叠”到参数包上,大大简化对包聚合运算的书写。语法格式主要有以下几种(op 表示运算符,init 表示初始值,可选):
- Unary left fold
(... op pack) // 相当于 ((arg1 op arg2) op arg3) ...
- Unary right fold
(pack op ...) // 相当于 (arg1 op (arg2 op (arg3 ...)))
- Binary left fold
(init op ... op pack) // 相当于 ((init op arg1) op arg2) ...
- Binary right fold
(pack op ... op init) // 相当于 (arg1 op (arg2 op ( ... op init)))
例子
- 以最常见的 “求和” 举例:
// 1. 最简单:对 args 求和
template<typename... Args>
auto sum(Args... args) {return (... + args); // 等价于 ( (arg1 + arg2) + arg3 ) + ...
}// 2. 带初始值 0
template<typename... Args>
auto sum_zero(Args... args) {return (0 + ... + args); // 相当于 ((0 + arg1) + arg2) + ...
}int main() {auto s1 = sum(1, 2, 3, 4); // 10auto s2 = sum_zero(1, 2, 3, 4); // 10
}
- 再比如,把一组布尔值做“或”运算:
template<typename... Bools>
bool any(Bools... bs) {return (... || bs); // 如果任一 bs 为 true,结果为 true
}
- 折叠表达式不仅限于算术或逻辑运算,任何支持的二元运算符都能用,比如逗号运算符(用于依次调用函数)、位运算、比较运算等。
#include <iostream>// 用逗号运算符依次调用 print
template<typename... Args>
void print_all(Args&&... args) {( (std::cout << args << ' '), ... ); std::cout << '\n';
}
上面这行 ( (std::cout << args << ’ ‘), … ); 就是对参数包做了逗号折叠:依次执行 std::cout<<arg1<<’ ‘, std::cout<<arg2<<’ ’ …,最后一个逗号表达式的值被忽略。
三、总结
C++17 的折叠表达式配合可变参数模板,让对任意数量参数进行聚合操作时,代码更加简洁、直观,完全摆脱了递归终止函数的模板噩梦。可以根据是否需要初始值,选择带或不带 init 的左折叠或右折叠形式;常见模式如下:
(... op pack) // 无初始值,左折叠
(pack op ...) // 无初始值,右折叠
(init op ... op pack) // 左折叠,带初始值
(pack op ... op init) // 右折叠,带初始值