GCC 12+ static_assert报错：表达式非常量的问题求助

问题原因 #

GCC 12开始严格遵循C标准对常量表达式的定义：只有当函数已经完成定义时，其地址才属于编译期可求值的常量表达式。如果仅存在函数声明（定义在使用点之后），函数的实际地址要到链接阶段才能确定，因此无法在编译期的static_assert中使用。

GCC 11及更早版本做了非标准扩展，允许在static_assert中使用未定义函数的地址，但GCC 12收紧了规则，与C标准对齐，因此触发编译错误。

解决办法 #

1. 使用编译选项恢复旧行为 #

如果不想修改代码，给GCC添加编译选项-fpermissive，该选项会放宽标准检查，将此类不符合标准的代码从错误降级为警告，从而兼容原有代码：

gcc -fpermissive your_code.c -o your_program

2. 宏层面的兼容修改 #

若担心-fpermissive引入其他潜在问题，可以修改检测宏，利用GCC版本条件或内置函数做兼容处理：

#include <stdint.h>
#include <assert.h>

#if __GNUC__ >= 12
// GCC 12+下，利用__builtin_constant_p判断是否为编译期常量，非常量时跳过检查
#define STATIC_ASSERT_FUNC_NOT_NULL(func) \
    static_assert(__builtin_constant_p((uintptr_t)func) ? ((uintptr_t)func != 0) : 1, "func is null!")
#else
// 旧版本GCC直接检查
#define STATIC_ASSERT_FUNC_NOT_NULL(func) \
    static_assert(((uintptr_t)func != 0), "func is null!")
#endif

// 示例使用
void testfunc(int testvar);

int main()
{
  STATIC_ASSERT_FUNC_NOT_NULL(testfunc);
}

void testfunc(int testvar) {}

或者改用链接时检查（确保函数存在，避免误设为NULL）：

#define STATIC_ASSERT_FUNC_NOT_NULL(func) \
    static void (*const __unused_func_ptr__)(void) __attribute__((used)) = (void(*)(void))func;

这种方式会在链接阶段报错，如果func被误设为NULL或未定义。

3. 最小化代码结构调整 #

如果仅涉及少量代码，可以将函数定义移至static_assert使用点之前，或把static_assert移到函数定义之后的位置。但此方法适合修改量小的场景。

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