C++可变参数模板log函数添加时间戳后编译错误问题

问题场景 #

原本实现的可变参数模板日志函数可正常运行：

template <bool Debug = debug_mode, typename... Arg>
void log_debug(const Arg&... args) {
    if constexpr(Debug) {
        (std::clog << ... << args) << '\n';
    } else {
        (..., (void)args);
    }
}

但为日志添加时间戳前缀后，代码触发编译错误：

template <bool Debug = debug_mode, typename... Arg>
void log_debug(const Arg&... args) {
    if constexpr(Debug) {
        std::time_t t = std::time(nullptr);
        (std::clog << "[" << std::put_time(std::gmtime(&t), "%F %T") << "]" << "[DEBUG] " << ... << args) << '\n';
    } else {
        (..., (void)args);
    }
}

编译错误信息：

error C2760: syntax error: '...' was unexpected here; expected 'expression'
error C2760: syntax error: '...' was unexpected here; expected ';'
error C3878: syntax error: unexpected token '...' following 'expression_statement'
note: error recovery skipped: '... <<'

错误原因 #

C++折叠表达式有严格的语法规则：

• 二元折叠必须遵循(包 运算符 ... 运算符 初始值)或(初始值 运算符 ... 运算符 包)的格式
• 你尝试将一长串前缀表达式直接与... << args组合，编译器无法识别这种非法的折叠结构

解决方案 #

方案1：拆分前缀输出与参数折叠（推荐，可读性更高） #

先打印时间戳和日志级别前缀，再用折叠表达式输出可变参数：

#include <iostream>
#include <iomanip>
#include <ctime>

constexpr bool debug_mode = true;

template <bool Debug = debug_mode, typename... Arg>
void log_debug(const Arg&... args) {
    if constexpr(Debug) {
        std::time_t t = std::time(nullptr);
        // 先输出时间戳与DEBUG标识
        std::clog << "[" << std::put_time(std::gmtime(&t), "%F %T") << "]" << "[DEBUG] ";
        // 折叠输出所有可变参数
        (std::clog << ... << args) << '\n';
    } else {
        (..., (void)args);
    }
}

// 测试示例
int main() {
    log_debug("Hello", " ", "World", 123);
    return 0;
}

方案2：调整为合法的二元折叠格式 #

将前缀部分赋值给临时变量，再基于该变量完成折叠：

template <bool Debug = debug_mode, typename... Arg>
void log_debug(const Arg&... args) {
    if constexpr(Debug) {
        std::time_t t = std::time(nullptr);
        auto prefix_stream = std::clog << "[" << std::put_time(std::gmtime(&t), "%F %T") << "]" << "[DEBUG] ";
        (prefix_stream << ... << args) << '\n';
    } else {
        (..., (void)args);
    }
}

两种方案均可通过编译，实现带时间戳的日志输出效果。

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