MSVC下C++可变参数断言宏AL_ASSERT展开分发异常问题

你遇到的展开错误是两个问题叠加导致的：

1. MSVC默认预处理器不符合标准C++可变参数宏展开规则
   你写的GET_MACRO宏的核心逻辑是：传入N个参数时，可变参数部分会把后面的两个候选宏名挤到对应形参位置，最终取第3位NAME对应的宏名。但MSVC默认使用的传统预处理器不会正确拆分__VA_ARGS__的多参数到GET_MACRO的形参列表，会直接把你传入的2个参数整体识别为_1，最终选中AL_ASSERT_NO_MSG宏，再把false, "Test"整体传入AL_ASSERT_NO_MSG的形参x，就形成了你看到的逗号表达式if (!(false, "Test"))的错误展开，此时断言条件变成永远为真的字符串地址，断言完全失效。
2. 现有宏写法存在悬空else隐患
   你直接在宏里写裸if语句，没有做包裹，会在和外层if/else搭配时出现逻辑配对错误，是C语言多行宏的典型写法问题。

按以下步骤修改即可：

• 给MSVC开启标准符合预处理器：在你的CMakeLists.txt中给对应目标添加编译选项target_compile_options(你的项目目标名 PRIVATE /Zc:preprocessor)，开启后MSVC预处理器的可变参数展开行为会和GCC、Clang保持一致，GET_MACRO的参数选择逻辑可以正常工作。
• 用do { ... } while(0)结构包裹所有多行断言宏，彻底避免悬空else问题。

修正后的完整宏代码如下：

#define AL_ASSERT_NO_MSG(x)                                 \
    do {                                                    \
        if (!(x)) {                                         \
            assertDialog(__LINE__, __FILE__);               \
            __debugbreak();                                 \
        }                                                   \
    } while (0)

#define AL_ASSERT_MSG(x, msg)                               \
    do {                                                    \
        if (!(x)) {                                         \
            assertDialog(msg, __LINE__, __FILE__);          \
            __debugbreak();                                 \
        }                                                   \
    } while (0)

#define GET_MACRO(_1, _2, NAME, ...) NAME
#define AL_ASSERT(...) GET_MACRO(__VA_ARGS__, AL_ASSERT_MSG, AL_ASSERT_NO_MSG)(__VA_ARGS__)

修复后验证：

• 传入1个参数AL_ASSERT(ptr != nullptr)会正确分发到AL_ASSERT_NO_MSG
• 传入2个参数AL_ASSERT(ptr != nullptr, "空指针异常")会正确分发到AL_ASSERT_MSG，不会再出现逗号表达式的错误展开。

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