C语言如何判断函数内是否存在指定变量 实现自适应日志打印

标准ISO C（C99/C11/C17）原生不支持在预处理阶段检测函数作用域内的局部变量是否存在，你最初尝试的#if EXIST(bar)思路无法实现：C预处理器的执行时机早于编译器语法分析、作用域解析阶段，仅做纯文本替换和文件级条件判断，完全感知不到函数内部定义的局部变量，不可能按单个函数的作用域切换宏行为。

根据你使用的编译器兼容要求，二选一即可： #

方案1：GCC/Clang 扩展实现（零代码侵入，无需修改现有函数逻辑） #

如果你的代码库使用GCC 4.9+、Clang 3.5+（绝大多数服务端、嵌入式场景均满足），可以利用GNU弱符号扩展实现自动检测，不需要改动现有函数的任何代码：

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

// 你业务里的通用结构体定义
typedef struct {
    int data;
} foo;

// 定义全局弱符号作为兜底：局部作用域不存在bar变量时，符号会自动指向该全局变量
__attribute__((weak)) foo bar = {.data = 0};

static inline void __log_impl(int bar_exist, int bar_data, const char* fmt, ...) {
    va_list args;
    va_start(args, fmt);
    vprintf(fmt, args);
    va_end(args);
    if (bar_exist) {
        printf(" %d", bar_data);
    }
    printf("\n");
}

// 日志宏：通过地址判断当前作用域是否存在局部bar变量
// 原理：局部变量优先级高于全局弱符号，若存在局部bar，其栈地址必然和全局数据段的弱符号地址不同
#define Log(fmt, ...) do { \
    int _exist_local_bar = (&bar != &(foo){0}); \
    __log_impl(_exist_local_bar, _exist_local_bar ? bar.data : 0, fmt, ##__VA_ARGS__); \
} while(0)

// 测试用例1：带bar参数的函数
void func1(foo bar) {
    bar.data = 111;
    Log("First"); // 输出：First 111
}

// 测试用例2：无bar变量的函数
void func2(void) {
    Log("First"); // 输出：First
}

int main() {
    foo test = {.data = 222};
    func1(test);
    func2();
    return 0;
}

注意：该方案要求需检测的变量名固定为bar，若函数内存在同名但类型不匹配的bar变量会直接编译报错，刚好符合你要检测特定类型结构体的需求。该方案不兼容MSVC编译器。

方案2：轻量标记宏（全编译器兼容，改造成本极低） #

如果需要兼容MSVC或其他不支持GNU扩展的编译器，可以用线程局部变量配合极简标记实现，仅需在存在目标变量的函数开头加一行标记即可，几百个函数的代码量可以写个简单脚本批量扫描插入，几分钟就能完成改造：

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

typedef struct {
    int data;
} foo;

// 线程局部变量存储当前作用域的目标结构体指针，多线程环境安全
static _Thread_local foo* __cur_ctx_bar = NULL;

// 函数开头调用：标记当前作用域存在目标变量，传入变量名即可
#define LOG_BIND_CTX(var) do { __cur_ctx_bar = &(var); } while(0)
// 函数返回前调用：清理标记，避免污染其他函数
#define LOG_UNBIND_CTX() do { __cur_ctx_bar = NULL; } while(0)

static inline void __log_impl(const char* fmt, ...) {
    va_list args;
    va_start(args, fmt);
    vprintf(fmt, args);
    va_end(args);
    if (__cur_ctx_bar) {
        printf(" %d", __cur_ctx_bar->data);
    }
    printf("\n");
}

#define Log(fmt, ...) __log_impl(fmt, ##__VA_ARGS__)

// 测试用例1：带bar的函数
void func1(foo bar) {
    LOG_BIND_CTX(bar);
    bar.data = 111;
    Log("First"); // 输出：First 111
    LOG_UNBIND_CTX();
}

// 测试用例2：无bar的函数
void func2(void) {
    Log("First"); // 输出：First
}

该方案没有编译器限制，不管变量名是不是bar都能支持，稳定性更高。

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