C++中如何让函数同时打印变量名与变量值？附代码原理求解

这是一个C++实现的可变参数调试工具，核心作用是自动打印变量名和对应的值，不用手动写cout << "x=" << x这类重复代码，下面分部分拆解：

1. 宏定义部分 #

#define bug(...) __f (#__VA_ARGS__, __VA_ARGS__) 

• __VA_ARGS__：C/C++可变参数宏的关键字，用来接收bug宏后面的所有参数（比如bug(a,b,c)里的a,b,c）。
• #__VA_ARGS__：字符串化操作符，把传入的参数列表直接转成字符串字面量。比如调用bug(a,b,c)，这部分会被替换成"a,b,c"。
• 宏最终会展开成：__f("a,b,c", a,b,c)，把参数的字符串描述和实际变量一起传给__f函数。

2. 递归终止函数（单参数版本） #

template <typename Arg1>
void __f (const char* name, Arg1&& arg1){
    cout << name << " : " << arg1 << '\n'; 
}

这是递归的终止条件：当只剩最后一个参数时，直接打印变量名（此时name是最后一个参数的字符串）和对应的值，然后换行。比如处理到最后一个参数z时，name是" z"，输出 z : [z的值]。

3. 递归展开函数（多参数版本） #

template <typename Arg1, typename... Args>
void __f (const char* names, Arg1&& arg1, Args&&... args){
    const char* comma = strchr (names + 1, ',');
    cout.write (names, comma - names) << " : " << arg1 << " | "; 
    __f (comma + 1, args...);
}

这部分负责处理多个参数的递归拆解：

• strchr(names + 1, ',')：从names的第二个字符开始找第一个逗号（+1是为了避免匹配参数名里的逗号，虽然正常调试不会有这种情况），找到当前参数和下一个参数的分隔位置。
• cout.write(names, comma - names)：精准输出从names到逗号前的部分，也就是当前变量的名字（比如"a,b,c"里，第一次会输出"a"）。
• 打印当前变量的值，然后用|分隔，接着递归调用__f，把逗号后面的字符串（比如"b,c"）和剩下的参数（b,c）传进去，重复这个过程直到只剩最后一个参数。

实际调用示例 #

假设调用：

int x = 10;
double y = 3.14;
string z = "hello";
bug(x, y, z);

宏展开后是__f("x, y, z", x, y, z)，最终输出：

x : 10 |  y : 3.14 |  z : hello

额外细节 #

• 用了万能引用Arg1&& arg1，可以接收左值、右值等任意类型的变量，兼容性更强。
• __f用双下划线开头，属于C++标准保留的命名空间（仅供编译器/标准库使用），实际项目里建议改成debug_print这类合法名字，避免命名冲突。

内容的提问来源于stack exchange，提问作者Abdul Alim Khan