如何在static_assert中检查字符串字面量？

错误原因 #

static_assert（对应C标准的_Static_assert）要求传入的表达式必须是常量表达式，你的代码中"aaa"[0] != 'a'不符合C标准对常量表达式的定义：

• 字符串字面量在表达式中会隐式转换为指向首元素的指针，[]下标访问本质是指针解引用操作（*(ptr + index)）。
• 根据C标准，指针解引用不属于常量表达式的范畴，即便编译器能在编译期推断出结果，也不满足语法要求，因此触发编译错误。

正确实现方法 #

方法一：预处理器#if指令（最可靠） #

预编译阶段可以直接解析字符串字面量的下标访问，将其视为字符常量进行比较，完全符合标准：

#if "aaa"[0] != 'a'
#error "字符串首字符为'a'，不符合要求"
#endif

方法二：静态字符数组配合static_assert（主流编译器支持） #

将字符串字面量赋值给静态存储期的字符数组，主流编译器（如GCC、Clang）会将这类数组的元素访问视为编译期常量：

#include <assert.h>

static const char str[] = "aaa";
static_assert(str[0] != 'a', "字符串首字符为'a'，不符合要求");

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