C语言如何静态为固定字符串前缀长度实现BCPL风格存储

不需要手写冗长的长度枚举分支，利用C99及以上标准的复合字面量、柔性数组特性，即可零运行时开销实现需求，支持0~255长度的任意字符串字面量。

标准实现代码 #

// 兼容GCC/Clang/MSVC等所有支持C99及以上标准的现代编译器
#define BCPL_STRING(s) ((const char*)(&(const struct {
    unsigned char len;  // 单字节长度前缀
    const char data[];  // 字符串内容紧跟前缀存储，无内存填充
}){
    .len = sizeof(s) - 1,  // 编译期计算字符串有效长度（不含末尾'\0'）
    .data = s              // 直接复用原字符串字面量内容
}))

实现原理 #

• 该结构体的两个成员对齐要求均为1字节，C标准保证结构体成员之间不存在任何填充字节。结构体首地址即为长度前缀字节的地址，后续连续存储字符串内容（包含原字符串自带的末尾\0），最终内存布局和手动编写的"\x05LABEL"这类带前缀字符串完全一致。
• 所有逻辑均在编译期完成：sizeof(字符串字面量)会返回包含末尾\0的总字节数，减1即为字符串有效长度；整个复合字面量会被编译器直接放入只读数据段，和普通字符串字面量的存储逻辑完全一致，不存在任何运行时计算、拼接开销。
• 无需手动枚举长度分支，天然支持0~255范围内的任意长度字符串（上限由单字节长度前缀的取值范围决定）。

老旧编译器兼容写法 #

如果遇到不支持C99标准柔性数组的老旧编译器，可以将柔性数组成员替换为定长1字节数组，内存布局和实现效果完全一致：

#define BCPL_STRING(s) ((const char*)(&(const struct {
    unsigned char len;
    const char data[1];
}){
    .len = sizeof(s) - 1,
    .data = s
}))

注意事项 #

• 该宏和原有实现的限制一致：传入的参数必须是字符串字面量，不能传入char*指针、字符数组变量，否则sizeof会计算指针/数组对象本身的大小，得到错误的长度值。
• 极端兼容性场景下如果担心编译器生成结构体填充，可以给结构体添加__attribute__((packed))（GCC/Clang）或使用#pragma pack(1)（MSVC）强制1字节对齐，但对于当前的成员定义，所有编译器默认都不会生成填充字节，该操作不是必须的。

原有枚举实现的缺陷 #

之前写的三目运算符枚举写法存在两个明显问题：

• 需要手动枚举所有支持的长度，代码冗余，且人工枚举必然存在长度上限
• 虽然编译器会优化掉未命中的分支，但代码可维护性极差，新增长度支持需要手动修改宏定义。

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