没问题，在标准C（C99及以后）里完全可以实现这个需求，核心是利用可变宏和va_list来处理可变参数的转发。我来帮你修正代码，同时解释清楚问题出在哪里。

首先，你原来的代码有两个关键问题：

1. 宏定义没有处理可变参数，导致调用时后面的参数无法传递给a_special；
2. a_special里直接用a(deb, str, ...)是语法错误——函数内部不能直接把...作为参数传递，必须用va_list来处理可变参数。

步骤1：重构核心逻辑，支持va_list转发 #

为了复用原函数a的逻辑，我们把它的核心功能提取到一个接收va_list的辅助函数（比如v_a），这样a和a_special都可以调用它，避免重复代码：

#include <stdio.h>
#include <stdarg.h>

// 核心逻辑：接收va_list，处理格式化输出
void v_a(int deb, const char *str, va_list args) {
    vprintf(str, args);
}

// 原函数的可变参数版本，调用核心逻辑
void a(int deb, const char *str, ...) {
    va_list args;
    va_start(args, str);
    v_a(deb, str, args);
    va_end(args);
}

步骤2：修改a_special函数，处理可变参数 #

a_special需要先打印带调用者名称的前缀，再调用核心逻辑。它自己也要接收可变参数，转换成va_list后传给v_a：

void a_special(int deb, const char *caller_name, const char *str, ...) {
    // 先打印带调用者名称的前缀
    printf("[%d] blablabla [%s] ", deb, caller_name);
    // 处理可变参数，转发给核心逻辑
    va_list args;
    va_start(args, str);
    v_a(deb, str, args);
    va_end(args);
}

步骤3：定义支持可变参数的宏 #

C99引入了可变宏，用...表示可变参数部分，__VA_ARGS__来指代这些参数。同时我们要把__func__（当前函数名的预定义宏）传入a_special：

#ifdef __STDC_VERSION__ >= 202311L
// C23标准写法，完美处理可变参数为空的情况
#define a(deb, str, ...) a_special(deb, __func__, str __VA_OPT__(,) __VA_ARGS__)
#else
// 兼容C99的写法，使用GNU扩展的##__VA_ARGS__来消除空参数时的多余逗号
#define a(deb, str, ...) a_special(deb, __func__, str, ##__VA_ARGS__)
#endif

这里的##__VA_ARGS__是GNU编译器的扩展，当可变参数为空时，它会自动去掉前面的逗号，避免语法错误。如果你用的是支持C23的编译器（比如GCC 13+、Clang 16+），推荐用__VA_OPT__(,)，这是标准写法，兼容性更好。

完整可运行代码 #

把上面的部分整合起来，测试代码如下：

#include <stdio.h>
#include <stdarg.h>

void v_a(int deb, const char *str, va_list args) {
    vprintf(str, args);
}

void a(int deb, const char *str, ...) {
    va_list args;
    va_start(args, str);
    v_a(deb, str, args);
    va_end(args);
}

void a_special(int deb, const char *caller_name, const char *str, ...) {
    printf("[%d] blablabla [%s] ", deb, caller_name);
    va_list args;
    va_start(args, str);
    v_a(deb, str, args);
    va_end(args);
}

#ifdef __STDC_VERSION__ >= 202311L
#define a(deb, str, ...) a_special(deb, __func__, str __VA_OPT__(,) __VA_ARGS__)
#else
#define a(deb, str, ...) a_special(deb, __func__, str, ##__VA_ARGS__)
#endif

int main() {
    // 带可变参数的调用
    a(1, "mylog %d %s\n", 1, "param2");
    // 无可变参数的调用
    a(2, "just a simple log\n");
    return 0;
}

运行这段代码，你会得到如下输出：

[1] blablabla [main] mylog 1 param2
[2] blablabla [main] just a simple log

为什么不用backtrace？ #

你提到的-rdynamic结合backtrace的方案，确实可以获取调用栈，但它有几个缺点：

• 依赖平台相关的API（比如GNU的backtrace），跨平台性差；
• 需要额外的编译选项，而且获取的函数名可能是经过符号修饰的；
• 运行时开销比宏方案大得多，而__func__是编译期确定的，几乎没有开销。

所以宏方案是更轻量、可靠的选择。

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