如何让带警告抑制的自定义可变参数函数支持返回值？

我想实现一类类似printf的可变参数函数，核心要求是所有参数能隐式转换为uint64_t后传入函数，不用手动逐个加(uint64_t)强制转换。

目前已经实现了非指针类型的处理，但为了支持指针参数，添加了-Wint-conversion警告抑制宏后，因为#pragma无法嵌入表达式，导致函数没法直接返回uint64_t，只能通过指针参数传递返回值。现在想找办法让函数直接返回uint64_t。

现有代码 #

// 可变参数函数
void _f ( char c , uint64_t arg_count , uint64_t* args );

// 用于生成参数数量和参数数组的宏
#define ARGS(...) \
    sizeof ( ( uint64_t[] ){ __VA_ARGS__ } ) / sizeof ( uint64_t ) \
  , ( uint64_t[] ){ __VA_ARGS__ }

// 带警告抑制的调用宏
#define PRAGMA(args) \
    _Pragma ( #args )

#define DISABLE_WARNING(warning)   \
    PRAGMA ( GCC diagnostic push ) \
    PRAGMA ( GCC diagnostic ignored #warning )

#define REENABLE_WARNING() \
    PRAGMA ( GCC diagnostic pop )

#define f(c,...) \
({ \
    DISABLE_WARNING ( -Wint-conversion ) \
    _f ( (c) , ARGS ( __VA_ARGS__ ) ); \
    REENABLE_WARNING () \
})

解决方案 #

方法1：调整复合语句结构，保留返回值 #

GNU C的复合语句({ ... })会返回最后一个表达式的结果，当前宏的问题是REENABLE_WARNING()是#pragma指令，不属于表达式，导致复合语句没有有效返回值。可以通过引入中间变量存储函数返回值，让变量作为复合语句的最后表达式：

1. 先修改_f的返回类型为uint64_t：

uint64_t _f(char c, uint64_t arg_count, uint64_t* args);

2. 调整f宏的结构：

#define f(c,...) \
({ \
    uint64_t ret_val; \
    DISABLE_WARNING(-Wint-conversion) \
    ret_val = _f((c), ARGS(__VA_ARGS__)); \
    REENABLE_WARNING() \
    ret_val; \
})

这样复合语句最终返回ret_val，既实现了警告抑制，又能直接拿到_f的返回值。

方法2：将警告抑制嵌入参数生成宏 #

把警告抑制逻辑移到ARGS宏内部，让f宏直接调用_f并返回结果：

1. 修改ARGS宏：

#define ARGS(...) \
    DISABLE_WARNING(-Wint-conversion) \
    sizeof((uint64_t[]){__VA_ARGS__})/sizeof(uint64_t), \
    (uint64_t[]){__VA_ARGS__} \
    REENABLE_WARNING()

2. 简化f宏：

#define f(c,...) _f((c), ARGS(__VA_ARGS__))

这种方式下，_f的返回值会直接作为宏调用的结果返回，同时警告抑制只作用于参数转换为uint64_t数组的过程。

注意事项 #

• 两种方案都依赖GNU C扩展（复合语句表达式、_Pragma），如果需要兼容标准C，需另行调整。
• 指针转换为uint64_t需确保平台指针宽度为64位，否则会有截断风险，可添加#ifdef __LP64__这类条件判断保证安全性。

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