在C中创建字符串，其中第一个字符为字符串长度

Question

此问题与使用charliteral的Concatenate字符串文字有关，但稍微复杂一些。

我想创建一个字符串文字，其中字符串的第一个字符是字符串的长度，第二个字符是常量。这是当前的操作方式：

const char myString[] = 
{
    0x08,
    SOME_8_BIT_CONSTANT,
    'H',
    'e',
    'l',
    'l',
    'o',
    0x00
};

理想情况下，我想将其替换为：

const char myString[] = BUILD_STRING(0xAA, "Hello");

我试过这样实现：

#define STR2(S) #S
#define STR(S) STR2(S)
#define BUILD_STRING(C, S)  {(sizeof(S)+2), C, S}

const char myString[] = BUILD_STRING(0xAA, "Hello");

但它扩展为：

const char myString[] = {(sizeof("Hello")+2), 0xAA, "Hello"};

而且编译器似乎不喜欢混合数字和字符串。

有什么办法吗？

Answer 1

您可以就地定义一个结构来保存前缀和其余部分，方便地对其进行初始化，然后将整个结构struct视为一个char数组（而不是严格混叠的冲突，因为标准C允许您将任何对象视为一个char数组）。

从技术上讲，您不能保证编译器不会在前缀和其余部分之间插入填充，但是实际上您可以依靠它。

#define BUILD_STRING(C, S)  \
      ((char const*)&(struct{ char const p[2]; char const s[sizeof(S)]; })\
                            { {(sizeof(S)+2), C}, S})

const char *myString = BUILD_STRING(0xAA, "Hello");

#include <stdio.h>
int main()
{
    printf("%d, %#hhX, '%s'\n", myString[0], myString[1], myString+2);
    //PRINTS: 8, 0XAA, 'Hello'
}

编辑：

如果您对填充的可能性抱有偏执，则可以采用以下一种方法来静态声明未插入任何内容：

#define BUILD_STRING__(S)  \
      char const p[2]; char const s[sizeof(S)]
#define BUILD_STRING(C, S)  \
      ((char const*)&(struct{BUILD_STRING__(S); \
            _Static_assert(sizeof(S)+2== \
                    sizeof(struct{BUILD_STRING__(S);_Static_assert(1,"");}),""); \
        }){ {sizeof(S)+2, C}, S})

或者，将第一个版本与（非标准）版本一起使用也 __attribute((__packed__))应这样做。