从空字节数组转换为结构指针可能会违反严格的别名？

Question

大多数人关心的是如果他们收到带有数据的字节数组并且他们想要将数组转换为结构指针会发生什么 - 这可能违反严格的别名规则。我不确定是否初始化一个足够大小的空字节数组，将其转换为结构指针，然后填充结构成员将违反严格的别名规则。

细节：说我有2个打包的结构：

#pragma pack(1)

typedef struct
{
    int a;
    char b[2];
    uint16_t c : 8;
    uint16_t d : 7;
    uint16_t e : 1;
} in_t;

typedef struct
{
    int x;
    char y;
} out_t;

#pragma pack()

我有许多类型的输入/输出打包结构用于不同的消息，所以请忽略我为该示例提供的特定成员。结构可以包含位域，其他结构和联合。此外，endianess得到了照顾。另外，我不能使用新的c标准（> = c99）功能。

我收到一个包含in_t的缓冲区（缓冲区大到足以包含out_t，无论它有多大）都像void *

void recv_msg(void *data)
{
    in_t *in_data = (in_t*)data;
    out_t *out_data = (out_t*)data;
    // ... do something with in_data then set values in out_t. 
    // make sure values aren't overwritten.
}

现在我有一个新类型的结构

#pragma pack(1)

typedef struct
{
    int a;
    char b[3];
    uint32_t c;
} in_new_api_t;

typedef struct
{
    int x;
    char y[2];
} out_new_api_t;

#pragma pack()

现在，当移动到新api但保持旧api向后兼容时，我想将旧的in_t中的值复制到in_new_api_t，使用in_new_api_t，在out_new_api_t中设置值，然后将值复制到out_t。

我想这样做的方法是分配一个大小为max(sizeof(in_new_api_t), sizeof(out_new_api_t));的空字节数组，将其转换为in_new_api_t *，将值从in_t转换为in_new_api_t，将新的api结构发送到新的api函数，然后将值从out_new_api_t转换为out_t。

void recv_msg(void *data)
{
    uint8_t new_api_buf[max(sizeof(in_new_api_t), sizeof(out_new_api_t))] = {0};
    in_new_api_t *new_in_data = (in_new_api_t*)new_api_buf;

    in_t *in_data = (in_t*)data;

    // ... copy values from in_data to new_in_data
    // I'M NOT SURE I CAN ACCESS MEMBERS OF new_in_data WITHOUT VIOLATING STRICT ALIASING RULES. 

    new_in_data->a = in_data->a;
    memcpy(new_in_data->b, in_data->b, 2);
    // ...

    new_recv_msg((void*)new_in_data);

    out_new_api_t *new_out_data = (out_new_api_t*)new_api_buf;

    out_t *out_data = (out_t*)data;

    // ... copy values from new_out_data to out_data

}

我不确定的一点是，从'uint8_t []'到'in_new_api_t *'的转换是否会违反严格的别名规则或引起任何其他问题。访问性能问题也是一个问题。

如果是这样，最好的解决方案是什么？

我可以复制in_t和out_t并使in_new_api_t指向data然后我需要复制数据4次以确保我没有覆盖值：从data到in_t tmp_in，从tmp_in到in_new_api,然后从out_new_api到out_t tmp_out和从tmp_out到out_t out。

Answer 1

另一答案

Answer 2

另一答案