如何在GCC中用静态断言验证表达式为字符串字面量？

你之前的宏失效是因为#x是预处理阶段的字符串化操作，#x[0]本质是对预处理生成字符串的字符访问，无法作为编译时常量被static_assert识别——预处理与编译分属不同阶段，编译阶段无法直接处理预处理生成的字符串内容。

针对GCC环境，可结合其内置扩展特性，通过类型检查+编译时常量判断实现需求：

#include <assert.h>

// 判断两个类型是否兼容
#define SAME_TYPES(x, y) __builtin_types_compatible_p(typeof(x), typeof(y))

// 判断是否为char类型数组（排除char指针）
#define IS_CHAR_ARRAY(x) SAME_TYPES((x)[0], char) && !SAME_TYPES(x, char*)

// 判断是否为编译时静态分配的字符串：char数组 + 编译时常量
#define IS_COMPILE_TIME_STR(x) IS_CHAR_ARRAY(x) && __builtin_constant_p(x)

// 静态断言宏
#define ASSERT_COMPILE_TIME_STR(x) \
    static_assert(IS_COMPILE_TIME_STR(x), \
                  "Only static allocated compile time strings are allowed, but got this: " #x)

测试验证 #

以下场景均可按预期工作：

• ✅ ASSERT_COMPILE_TIME_STR("hey");：字符串字面量，属于char数组且为编译时常量，通过断言
• ❌ ASSERT_COMPILE_TIME_STR(1234);：非char数组，触发断言失败
• ❌ char* ptr = "test"; ASSERT_COMPILE_TIME_STR(ptr);：是char指针而非数组，触发断言失败
• ✅ const char arr[] = "static str"; ASSERT_COMPILE_TIME_STR(arr);：静态初始化的char数组，属于编译时常量，通过断言
• ❌ char buf[10]; strcpy(buf, "runtime"); ASSERT_COMPILE_TIME_STR(buf);：运行时初始化的数组，非编译时常量，触发断言失败

原理说明 #

1. IS_CHAR_ARRAY：通过typeof获取目标类型，确保其是char数组而非char指针——字符串字面量的原生类型为char[N]（N为字符串长度+1），与char*类型不兼容，以此区分数组和指针。
2. __builtin_constant_p(x)：GCC内置函数，用于判断参数是否为编译时常量。字符串字面量、静态初始化的char数组会被识别为编译时常量，运行时赋值的数组则返回0。

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