如何在G++环境下检测UBSAN（未定义行为sanitizer）是否启用？

你的代码编译报错根源在于：G启用UBSAN时，对成员函数指针的非零检查会被判定为非常量表达式，而正常编译模式下允许这种写法。针对G环境下检测UBSAN是否启用，以下是几种可行方案：

1. 检查__SANITIZE_UNDEFINED__预定义宏 #

GCC 10及以上版本在启用-fsanitize=undefined时，会自动定义__SANITIZE_UNDEFINED__宏。可通过以下命令验证：

echo | g++ -fsanitize=undefined -dM -E - | grep SANITIZE_UNDEFINED

确认存在后，直接用条件编译分支：

#if defined(__SANITIZE_UNDEFINED__)
// UBSAN启用时的处理逻辑
#else
// 正常编译逻辑
#endif

2. 利用__has_feature编译检查 #

G++支持__has_feature扩展语法，可直接检测未定义行为 sanitizer：

#if __has_feature(undefined_behavior_sanitizer)
// UBSAN启用分支逻辑
#endif

3. 间接检测：利用UBSAN的常量表达式限制 #

如果上述宏不可用，可借助你遇到的编译特性差异，编写编译期检测逻辑：

template<typename T>
constexpr bool is_ubsan_enabled() {
    if constexpr (requires { &T::bar; }) {
        // UBSAN下，成员函数指针的非零检查无法作为常量表达式
        return !std::is_constant_evaluated() || !(bool)&T::bar;
    }
    return false;
}

// 使用示例
void process(auto f) {
    if constexpr (!is_ubsan_enabled<decltype(f)>()) {
        if constexpr(&decltype(f)::bar);
    } else {
        // UBSAN环境下的替代逻辑，比如直接调用成员函数
        f.bar();
    }
}

4. 手动添加编译宏（最稳妥方案） #

如果自动检测失效，可在编译命令中手动指定宏定义：

g++ -fsanitize=undefined -DENABLE_UBSAN=1 your_code.cpp

然后在代码中检测：

#if ENABLE_UBSAN
// UBSAN环境下的处理逻辑
#endif

额外建议：修改原代码避免编译错误 #

你也可以直接调整代码写法，绕过UBSAN的常量表达式限制，比如用requires表达式替代成员指针检查：

void process(auto f) {
    if constexpr (requires { f.bar(); }) {
        // 原有逻辑代码
    }
}

内容的提问来源于stack exchange，提问作者Jean-Michaël Celerier