类型不安全源于printf依赖运行时格式字符串，编译器无法校验参数；变参模板+左折叠表达式可在编译期检查类型，如template<typename... Args> void print(Args&&... args) { (std::cout << ... << args) << '\n'; }。
为什么不能直接用 printf 实现类型安全？
因为 printf 依赖格式字符串（如 "%d %s"）在运行时解析参数，编译器无法检查参数数量、顺序或类型是否匹配。传错类型（比如把 std::string 传给 %d）不会报错，只会在运行时导致未定义行为。
变参模板 + 折叠表达式能将参数展开过程移到编译期，配合 std::cout 或自定义输出逻辑，让每个参数的类型在实例化时就被检查。
如何用变参模板 + 折叠表达式写一个类型安全的 print
核心是：递归展开参数包 → 改为左折叠（((os ），保证从左到右依次输出，且每个 <code> 操作符都经过重载检查。
- 必须使用左折叠（
...在右侧），否则输出顺序可能错乱（右折叠会先处理最右参数） - 不能直接对
std::cout折叠（它不是左值），需先绑定到引用或用 lambda 封装 - 支持自定义分隔符时，要避免首尾多出分隔符 —— 折叠本身不提供索引，得用辅助函数或索引包
template<typename... Args>
void print(Args&&... args) {
((std::cout << std::forward<Args>(args)), ...);
std::cout << '\n';
}
调用 print("hello", 42, 3.14) 安全：如果某个类型没重载 operator（比如裸数组或未导出的类），编译直接失败。
立即学习“C++免费学习笔记（深入）”；
怎么加空格分隔又不污染接口？
简单折叠无法控制分隔逻辑，但可以借助一个带状态的辅助函数，或用索引包 + if constexpr。更轻量的做法是用「首项单独输出，其余带前缀」模式：
template<typename T, typename... Args>
void print_spaced(T&& first, Args&&... rest) {
std::cout << std::forward<T>(first);
((std::cout << ' ' << std::forward<Args>(rest)), ...);
std::cout << '\n';
}
- 这个版本要求至少一个参数，否则模板推导失败（可加零参特化补全）
- 所有参数仍走
std::cout 路径，类型安全不变 - 比运行时拼接字符串快，无
std::string临时对象开销
折叠表达式里哪些操作符能用？
只有 32 个二元运算符支持折叠（如 +, &&, , <code>==），且语义必须满足结合性要求。对输出来说，只有 和 <code>,（逗号运算符）常用：
左折叠：适合流式输出，依赖 <code>operator 重载-
,左折叠：执行副作用，返回最右表达式结果，可用于日志计数、断言等，但不适用于构造返回值 -
+或+=折叠：仅当所有类型支持该运算且语义合理（如std::string拼接），但要注意隐式转换风险
别用 && 或 || 做输出——短路求值会让部分参数根本不会被求值，失去“全部打印”的意图。
真正难的不是写出来，而是想清楚：你到底要“保证每个参数都被求值并输出”，还是“允许跳过某些参数”。前者必须用 或 <code>, 折叠；后者就得换思路，比如用 std::tuple 配合 std::apply + 索引包 —— 但那就脱离了折叠表达式的本意。
