Arduino环境下Raspberry Pi Pico的Modbus结构体与数组内存共享问题

我正在为Raspberry Pi Pico（基于Arduino框架）编写一个涉及Modbus通信的类，想用结构体组织ID数据、状态数据、测量数据等。为了避免修改变量或接收消息时执行memcpy操作，希望让这些结构体与Modbus数组共享同一块内存。

我已经实现了结构体中数组部分与Modbus数组共享内存的方式：

uint16_t modbusData[255];
uint16_t offset = 10; // 数组的目标地址

struct DataStruct_t {
    uint16_t measCount = 3; // 测量项数量
    uint16_t sampCount = 5; // 样本数量，每个样本包含measCount个测量值
    uint16_t *data;  // 原始数据，长度为measCount*sampCount
};

DataStruct_t dataStruct;

dataStruct.data = &modbusData[offset];  // 数据直接存储在Modbus寄存器中，通过指针访问

uint16_t measurement0 = dataStruct.data[0]; // 等价于modbusData[offset]

但我希望实现如下等效操作，目前会出现类型错误，无法将DataStruct_t指针指向uint16_t数组的某个偏移位置，请问该操作是否可行？

DataStruct_t *dataStruct;

dataStruct = &modbusData[offset];

这种操作可行，但需要通过显式类型转换实现，同时要注意几个关键风险：

1. 修正类型错误的写法 #

直接类型不匹配需要用强制转换修正，C++和C风格的写法分别为：

// C++ 风格
DataStruct_t *dataStruct = reinterpret_cast<DataStruct_t*>(&modbusData[offset]);

// C 风格
DataStruct_t *dataStruct = (DataStruct_t*)&modbusData[offset];

2. 必须注意的核心风险 #

内存对齐问题 #

Raspberry Pi Pico的ARM Cortex-M0+内核对内存对齐有严格要求：

• uint16_t类型是2字节对齐，但如果结构体包含指针（32位ARM下为4字节），编译器会默认按4字节对齐结构体。若modbusData[offset]的地址不是4字节对齐，访问结构体指针会触发总线故障。
• 解决办法：要么修改结构体，避免使用指针改用固定大小数组；要么通过编译器指令强制结构体按2字节对齐，示例：

// GCC编译器下强制结构体按2字节对齐且无填充字节
struct __attribute__((packed, aligned(2))) DataStruct_t {
    uint16_t measCount;
    uint16_t sampCount;
    uint16_t data[15]; // 对应measCount=3、sampCount=5的固定长度
};

结构体内存布局填充 #

编译器可能会在结构体成员间插入填充字节以满足对齐规则，导致结构体内存布局和Modbus数组的连续内存不匹配。使用__attribute__((packed))可以强制编译器不插入填充，确保结构体成员按声明顺序连续存储。

内存越界风险 #

必须保证modbusData从offset开始的内存空间足够容纳整个DataStruct_t的大小，否则会触发越界访问，导致程序崩溃或数据损坏。

更安全的替代方案：联合体（Union） #

如果不想使用风险较高的强制类型转换，可以用联合体实现内存共享，编译器会自动保证内存布局的正确性：

typedef struct {
    uint16_t measCount;
    uint16_t sampCount;
    uint16_t data[15];
} DataStruct_t;

union ModbusSharedData {
    uint16_t raw[255]; // 对应Modbus寄存器数组
    DataStruct_t structured; // 结构化数据，与raw共享内存
};

ModbusSharedData modbusData;
// 直接访问结构化数据，底层与raw数组共享内存
modbusData.structured.measCount = 3;
// 等价于 modbusData.raw[0] = 3;

内容的提问来源于stack exchange，提问作者Joe of Loath