如何实现栈上静态bytearray？最佳宏定义方式问询

我有一个主要用于处理动态malloc分配数组的结构体：

#include <stddef.h>
#include <stdint.h>

typedef struct {
    size_t cap;
    size_t len;
    uint8_t *data;
} bytearray;

希望创建一个宏BYTEARRAY_STATIC_CREATE()来在栈上创建该结构体，以下是我的尝试：

#define BYTEARRAY_STATIC_CREATE(B, CAP) \
    B.len = 0;                      \
    B.cap = (CAP);                  \
    uint8_t __##B[CAP];             \
    B.data = __##B

int main()
{
    bytearray a;
    BYTEARRAY_STATIC_CREATE(a, 32);
}

原尝试的问题分析 #

1. 兼容性受限：宏展开后在赋值语句后直接声明数组__##B，这不符合C89标准（C89要求变量必须在代码块开头声明），仅C99及以后版本支持该写法。
2. 命名违规：__##B以双下划线开头，根据C标准，这类标识符属于编译器和标准库的保留范围，自定义使用可能引发未定义行为。

最佳实现方案 #

方案一：C99及以上推荐——复合字面量直接初始化

利用C99的复合字面量特性，直接完成结构体初始化，代码简洁且合规：

#define BYTEARRAY_STATIC_CREATE(CAP) \
    (bytearray){ \
        .len = 0, \
        .cap = (CAP), \
        .data = (uint8_t[CAP]){0} \
    }

使用方式：

int main() {
    bytearray a = BYTEARRAY_STATIC_CREATE(32);
    // 操作bytearray a...
}

栈上数组通过复合字面量创建，与结构体a同生命周期，无需额外声明步骤，同时规避了命名冲突和兼容性问题。

方案二：兼容C89——结构体与数组一同声明

如果需要适配C89标准，可将结构体和对应栈数组的声明合并到宏中，确保变量在代码块开头声明：

#define BYTEARRAY_STATIC_CREATE(B, CAP) \
    uint8_t B##_data[CAP]; \
    bytearray B = { \
        .len = 0, \
        .cap = (CAP), \
        .data = B##_data \
    }

使用方式：

int main() {
    BYTEARRAY_STATIC_CREATE(a, 32);
    // 操作bytearray a...
}

此方案通过B##_data命名栈数组，避免了保留标识符的问题，完全符合C89的语法规则。

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