C宏能否实现状态存储？嵌入式环境静态缓冲区分配需求

在嵌入式环境中，希望从静态分配的缓冲区分配内存，现有代码如下：

double buffer[1000];

typedef struct {
    int rows;
    int cols;
    double* data;
} matrix;

想要编写一个宏alloc_matrix，用于生成matrix结构体实例并从上述缓冲区中分配对应内存，理想的宏形式如下：

#define alloc_matrix(_rows, _cols) {.rows = _rows, .cols = _cols, .data = &buffer[PTR]}

其中PTR是编译时常量，每次调用alloc_matrix时自动增加_rows*_cols，同时希望通过_Static_assert在编译时检查内存是否超出缓冲区。询问C预处理器是否能实现该需求，尝试后未找到宏存储状态的方法。

C预处理器本身无法直接存储状态——它是单遍处理工具，没有内置机制跟踪累计的分配偏移量。不过可以结合C语言的编译期特性或编译器扩展来实现类似需求：

方案1：利用枚举类型跟踪偏移（依赖编译器扩展） #

通过枚举项的重定义来维护编译时偏移，示例如下：

double buffer[1000];

typedef struct {
    int rows;
    int cols;
    double* data;
} matrix;

// 初始偏移量
enum { MATRIX_OFFSET = 0 };

#define alloc_matrix(_rows, _cols) \
    enum { MATRIX_NEXT_OFFSET = MATRIX_OFFSET + (_rows)*(_cols) }; \
    _Static_assert(MATRIX_NEXT_OFFSET <= 1000, "Buffer overflow!"); \
    (matrix){.rows = _rows, .cols = _cols, .data = &buffer[MATRIX_OFFSET]}; \
    enum { MATRIX_OFFSET = MATRIX_NEXT_OFFSET }

// 使用示例
matrix m1 = alloc_matrix(10, 10); // 占用100个double
matrix m2 = alloc_matrix(20, 20); // 占用400个double，累计500

注意：这种方式依赖GCC等编译器对枚举重定义的支持，不属于C标准特性，兼容性有限。

方案2：C20编译期变量（需编译器支持C20） #

利用C20的constexpr静态变量实现编译期状态跟踪：

#include <stddef.h>

double buffer[1000];
static constexpr size_t __matrix_ptr = 0;

typedef struct {
    int rows;
    int cols;
    double* data;
} matrix;

#define alloc_matrix(_rows, _cols) \
    _Static_assert(__matrix_ptr + (_rows)*(_cols) <= 1000, "Buffer overflow!"); \
    (matrix){.rows = _rows, .cols = _cols, .data = &buffer[__matrix_ptr]}, \
    (__matrix_ptr += (_rows)*(_cols))

部分编译器可能对编译期变量修改的支持有限，使用前需验证兼容性。

方案3：完全标准的手动偏移维护 #

如果要严格遵循C标准，手动维护偏移量是最稳妥的选择：

#define MATRIX_BUF_SIZE 1000
double buffer[MATRIX_BUF_SIZE];

typedef struct {
    int rows;
    int cols;
    double* data;
} matrix;

#define alloc_matrix(_rows, _cols, _ptr) \
    _Static_assert((_ptr) + (_rows)*(_cols) <= MATRIX_BUF_SIZE, "Buffer overflow!"); \
    (matrix){.rows = _rows, .cols = _cols, .data = &buffer[_ptr]}

// 使用示例
enum {
    M1_OFFSET = 0,
    M2_OFFSET = M1_OFFSET + 10*10,
    M3_OFFSET = M2_OFFSET + 20*20
};

matrix m1 = alloc_matrix(10,10, M1_OFFSET);
matrix m2 = alloc_matrix(20,20, M2_OFFSET);

这种方式完全符合C标准，编译期检查可靠，仅需手动计算并传递偏移量。

总结：纯预处理器无法实现状态跟踪，但结合编译器扩展或C20特性可以实现自动偏移；追求兼容性的话，手动维护偏移是最优解。

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