可变参数模板未打印最后一个参数问题排查求助

我来帮你排查这个问题～你的可变参数日志函数没输出最后一个参数，核心原因大概率是递归终止阶段的函数匹配出现了小问题，或者编译器对老版本递归写法的支持有细节差异。

先拆解下你原代码的递归流程：

• 调用log("Logging", 1, 2, 3.2, 4) → 输出Logging ，接着调用log(1, 2, 3.2, 4)
• 第二次调用 → 输出1 ，调用log(2, 3.2, 4)
• 第三次调用 → 输出2 ，调用log(3.2, 4)
• 第四次调用 → 输出3.2 ，调用log(4)
• 第五次调用进入模板实例化的log(int)，执行cout << 4 << " ";，然后尝试调用log()终止递归

照理说这里应该触发你写的无参数log()函数输出换行，但你调试发现没进入，可能是编译器在模板内部调用log()时，优先尝试匹配模板版本（但模板要求至少一个参数，导致匹配失败），或者是输出缓冲的延迟让你误以为4没输出。不过不管怎样，我们可以换更可靠的写法避免这个坑。

方案1：用C++17的if constexpr优化递归终止 #

这种写法把终止逻辑直接整合到模板里，不需要单独写无参数的终止函数，从根源上避免函数匹配问题：

#include <iostream>

template<class T, class... Args>
void log(T t1, Args... args) {
    std::cout << t1;
    // 编译时判断是否还有剩余参数
    if constexpr (sizeof...(args) > 0) {
        std::cout << " ";
        log(args...);
    } else {
        std::cout << std::endl;
    }
}

int main() {
    log("Logging", 1, 2, 3.2, 4);
    return 0;
}

方案2：用C++17折叠表达式（更简洁高效） #

折叠表达式是专门为可变参数设计的语法，代码更简洁，还没有递归的栈开销，是现在的首选写法：

#include <iostream>

template<typename... Args>
void log(Args&&... args) {
    // 先逐个输出参数和空格
    auto print = [](const auto& val) { std::cout << val << " "; };
    (print(args), ...);
    // 删掉最后一个多余的空格再换行
    std::cout << "\b\n";
}

int main() {
    log("Logging", 1, 2, 3.2, 4);
    return 0;
}

补充一句：其实你的原代码在标准C++11及以上的编译器（比如GCC 11+、Clang 10+）上是可以正常输出最后一个参数的，可能是你使用的编译器版本较旧，或者调试断点设置的问题。不过上面两种优化后的写法兼容性更好，也更易维护。

内容的提问来源于stack exchange，提问作者Wander3r