在C++20模块中导出常量宏为constexpr值的方案问询

当用C++20模块封装包含#define常量的C库时，直接在模块的export块中包含头文件只能导出函数和类型，宏常量因模块设计特性无法被导出。以第三方头文件SuperLib.h为例：

#pragma once
struct super_lib_type {int field;};
extern void super_lib_function(int a);
#define SUPER_LIB_CONSTANT 42

我们需要在不硬编码宏值的前提下，导出同名的constexpr常量替代宏，以下是两种可行方案：

单参宏方案（无额外前缀） #

借助预处理展开技巧获取宏值，生成同名constexpr常量：

export module SuperLib;

// 先引入头文件，让目标宏生效
#include <SuperLib.h>

// 辅助宏：用于展开并获取宏的实际值
#define EXPAND(X) X
#define GET_MACRO_VALUE(MACRO) EXPAND(MACRO)

export
{
    // 导出原库的类型与函数
    struct super_lib_type;
    void super_lib_function(int a);

    // 导出同名constexpr常量，复用宏的原始值
    constexpr auto SUPER_LIB_CONSTANT = GET_MACRO_VALUE(SUPER_LIB_CONSTANT);
}

// 清理宏定义，避免污染模块外部
#undef SUPER_LIB_CONSTANT
#undef GET_MACRO_VALUE
#undef EXPAND

双参宏通用方案（适配批量处理） #

如果需要批量导出多个宏常量，可使用通用双参宏简化代码：

export module SuperLib;

#include <SuperLib.h>

// 通用宏：参数1为宏名，参数2为常量类型（也可改用auto自动推导）
#define EXPORT_MACRO_AS_CONSTEXPR(MACRO_NAME, TYPE) \
    export constexpr TYPE MACRO_NAME = MACRO_NAME;

export
{
    struct super_lib_type;
    void super_lib_function(int a);

    // 导出目标宏为constexpr常量
    EXPORT_MACRO_AS_CONSTEXPR(SUPER_LIB_CONSTANT, int)
}

// 清理宏定义
#undef SUPER_LIB_CONSTANT
#undef EXPORT_MACRO_AS_CONSTEXPR

注意事项 #

1. 必须先引入头文件让目标宏生效，再使用辅助宏生成constexpr常量
2. 最后务必#undef原宏，保证模块使用者只能访问到导出的constexpr常量，避免接口混淆
3. 若宏值为字符串，只需将类型改为const char*或用auto自动推导即可

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