如何强制附加预处理器宏扫描

我有以下代码：

#define FOO_BAR x
#define FOO(x) FOO_BAR

我确实希望FOO(2)扩展到2，但我得到的是x。我试图使用EXPAND宏来强制进行额外的扫描：

#define FOO_BAR x
#define EXPAND(x) x
#define FOO(x) EXPAND(FOO_BAR)

注意，这是有意的，FOO_BAR不接受x作为参数。基本上，我不能将x传递给FOO_BAR。

但效果不太好。有什么想法吗？

我希望它能在任何编译器上运行(MSVC、gcc、clang)。

我到底在努力实现什么

我的最终目标是为OpenGL创建类型安全的枚举。所以，我需要做从安全枚举到不安全枚举的映射。所以我有这样的东西：

enum class my_enum {
foo,
bar
}
GLenum my_enum2gl(my_enum e) {
switch (e) {
case my_enum::foo: return GL_FOO;
case my_enum::bar: return GL_BAR;
}
return GL_NONE;
}

由于我很懒，我做了一些预处理器魔术。并将其实现为：

#define PP_IMPL_ENUM_VALUE(enum_pair) __PP_EVAL(__PP_IMPL_ENUM_VALUE enum_pair) 
#define __PP_IMPL_ENUM_VALUE(cpp_enum, gl_enum) cpp_enum,
#define PP_IMPL_CONVERT(enum_pair) __PP_EVAL(__PP_IMPL_CONVERT enum_pair) 
#define __PP_IMPL_CONVERT(cpp_enum, gl_enum) case name::cpp_enum: return gl_enum;
#define DEF_STATE_ENUM(name, ...)                       
enum name {                                         
PP_FOR_EACH(PP_IMPL_ENUM_VALUE, ##__VA_ARGS__)  
};                                                  
namespace detail {                                  
GLenum name ## 2gl(name e) {                        
switch(e) {                                     
__PP_EVAL(PP_FOR_EACH(PP_IMPL_CONVERT, ##__VA_ARGS__)) 
default:                                        
assert(!"Unknown value");                   
return GL_NONE;                             
}                                               
}                                                   
}
DEF_STATE_ENUM(my_enum,
(foo, GL_FOO),
(bar, GL_BAR)
)

问题是__PP_IMPL_CONVERT使用未扩展的name。将x传递给FOO_BAR意味着我将向PP_FOR_EACH的函子传递一些额外的参数。