关于特殊宏定义foreach_nat_det_in2out_error写法的疑问

写法归属 #

这是C/C++生态中存在数十年的经典预处理器技巧，名为X宏（X Macro），核心作用是批量生成代码、消除重复定义的维护成本。

代码逻辑说明 #

你贴出的代码转义后实际内容如下：

#define foreach_nat_det_in2out_error                    \
_(UNSUPPORTED_PROTOCOL, "Unsupported protocol")         \
_(NO_TRANSLATION, "No translation")                     \
_(BAD_ICMP_TYPE, "unsupported ICMP type")               \
_(OUT_OF_PORTS, "Out of ports")                         \
_(IN2OUT_PACKETS, "Good in2out packets processed")

其中_是占位宏，在使用foreach_nat_det_in2out_error之前，你可以自定义_的展开规则，预处理器会遍历列表中的每一项，按照你定义的规则批量生成代码。

举两个最常见的使用场景示例：

1. 批量生成错误码枚举

// 定义占位宏的展开规则：取第一个参数作为枚举项
#define _(err_code, err_msg) err_code,
// 展开生成枚举
typedef enum {
    foreach_nat_det_in2out_error
    NAT_DET_IN2OUT_ERR_MAX // 额外追加的错误总数统计项
} nat_det_in2out_err_t;
// 用完立即取消占位宏定义，避免污染其他代码
#undef _

预处理器展开后得到的实际代码：

typedef enum {
    UNSUPPORTED_PROTOCOL,
    NO_TRANSLATION,
    BAD_ICMP_TYPE,
    OUT_OF_PORTS,
    IN2OUT_PACKETS,
    NAT_DET_IN2OUT_ERR_MAX
} nat_det_in2out_err_t;

2. 批量生成错误码到错误信息的映射表

// 定义占位宏的展开规则：生成数组的键值对映射
#define _(err_code, err_msg) [err_code] = err_msg,
const char *nat_det_in2out_err_str[] = {
    foreach_nat_det_in2out_error
};
#undef _

展开后得到的实际代码：

const char *nat_det_in2out_err_str[] = {
    [UNSUPPORTED_PROTOCOL] = "Unsupported protocol",
    [NO_TRANSLATION] = "No translation",
    [BAD_ICMP_TYPE] = "unsupported ICMP type",
    [OUT_OF_PORTS] = "Out of ports",
    [IN2OUT_PACKETS] = "Good in2out packets processed",
};

实际作用 #

你贴出的这段是NAT（网络地址转换）模块的入方向转发出错统计项定义，用X宏的优势非常明显：

• 所有错误/统计项仅需维护这一份列表，增删改都只需要修改这个宏定义，后续的枚举、映射表、统计变量定义、统计结果展示逻辑都会自动同步，完全避免了多位置修改漏项导致的不一致问题
• 大幅减少重复手写的模板代码，降低维护成本

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