如何定义参数为表达式的C语言宏表达式？

基础MAX宏实现 #

常规的MAX宏写法为：

#define MAX(a, b) ((a) > (b) ? (a) : (b))

这里的括号是必要的，用于避免运算符优先级导致的错误——比如当参数是x+2这类表达式时，能保证表达式整体被正确求值。

副作用问题：参数被多次求值 #

当传入带有副作用的参数（如x++、++x，或调用会修改外部状态的函数）时，这个宏会导致参数被求值两次。例如：

int x = 3, y = 5;
int max_val = MAX(x++, y);

宏展开后变为：

int max_val = ((x++) > (y) ? (x++) : (y));

此时x会被连续递增两次，最终值变为5（而非预期的4），同时计算出的max_val也会出错。

规避副作用的几种方案 #

1. 借助GNU C扩展的typeof关键字 #

利用GNU C的语句表达式和typeof，可以临时存储参数值，确保只求值一次：

#define MAX(a, b) ({ \
    typeof(a) _a = (a); \
    typeof(b) _b = (b); \
    _a > _b ? _a : _b; \
})

这个写法先将a和b的值存入临时变量_a、_b，仅求值一次后再比较返回最大值。注意这属于GNU扩展，不兼容标准C。

2. 使用inline函数（标准C） #

如果不需要跨类型的通用性，inline函数是更安全的选择——编译时会被展开，同时保证参数仅求值一次：

#include <stdint.h>

static inline int max_int(int a, int b) {
    return a > b ? a : b;
}

static inline uint64_t max_uint64(uint64_t a, uint64_t b) {
    return a > b ? a : b;
}

缺点是需要为每种用到的类型单独定义对应的函数。

3. 用C11的_Generic实现类型通用的安全宏 #

C11引入的_Generic关键字可以实现类型匹配的通用宏，结合inline函数即可兼顾通用性和安全性：

#include <stdint.h>

static inline int _max_int(int a, int b) { return a > b ? a : b; }
static inline long _max_long(long a, long b) { return a > b ? a : b; }
static inline uint32_t _max_uint32(uint32_t a, uint32_t b) { return a > b ? a : b; }

#define MAX(a, b) _Generic((a), \
    int: _max_int, \
    long: _max_long, \
    uint32_t: _max_uint32 \
)(a, b)

这种方式符合标准C，既保留了宏的类型适配能力，又彻底避免了参数重复求值的问题，不过需要预先为需要支持的类型定义对应的inline函数。

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