C宏仅在预处理到文件时有效

我正在尝试为新的std :: optional< T>创建匹配机制.在C.我写了以下宏:

#define EXPAND(x) x
#define CAT_(x, y) x##y
#define CAT(x, y) CAT_(EXPAND(x), EXPAND(y))
#define if_opt__(xalt, bval, x, y)  \
auto xalt = y;                      \
bool bval = true;                   \
if (xalt.has_value())               \
for (auto x = xalt.value(); bval; bval = false)
#define if_opt_(xalt, x, y) if_opt__(xalt, CAT(xalt, _b), x, y)
#define if_opt(x, y) if_opt_(CAT(x, __LINE__), x, y)

我为它创建了以下示例程序:

std::optional<int> get(int a) {
    if (a < 0) {
        return {};
    }
    return a;
}

int main(void) {
    if_opt(a, get(0)) {
        std::cout << "optional matched!" << std::endl;
    }
    return 0;
}

但是,当我尝试编译程序时,我得到的错误就像’重新定义;不同的基本类型’.然后我将它预处理到一个文件,复制结果,它编译和工作就好了.该宏评估为:

auto a24 = get(0);
bool a24_b = true;
if (a24.has_value()) 
    for (auto a = a24.value(); a24_b; a24_b = false) {
        std::cout << "optional matched!" << std::endl;
    }

为什么不使用宏本身编译?我正在使用MSVC.

最佳答案 应更正CAT宏执行额外扩展的方式:

//#define EXPAND(x) x // not needed
#define CAT_(x, y) x##y
#define CAT(x, y) CAT_(x, y)

当它在某一点被展开时,它会产生表达式EXPAND(x)## EXPAND(y),这会打破进一步扩展,因为##只能使用普通标记,甚至不会尝试扩展EXPAND.

为什么它在预处理文件时有效?可能是因为VS有非常花哨(和不符合)的处理方式.即使在对文件进行预处理时,Gcc也能为您提供更好的诊断.

点赞