比较if语句中的指针值

Question

4为什么这个块会抛出内存错误：

uint8_t buffer[ 8 ] = { 0x03, 0x00, 0x00, 0x00, 0x02, 0x00, 0x00, 0x00 };

if ( *((uint32_t *)(&buffer[ 0 ])) == *((uint32_t *)(&buffer[ 4 ])) + 1 )
    return TRUE;

虽然这个块有效：

uint8_t buffer[ 8 ] = { 0x03, 0x00, 0x00, 0x00, 0x02, 0x00, 0x00, 0x00 };
uint32_t comp1 = *((uint32_t *)(&buffer[ 0 ]));
uint32_t comp2 = *((uint32_t *)(&buffer[ 4 ]));

if ( comp1 == comp2  + 1 )
    return TRUE;

Answer 1

问题可能来自缓冲区的对齐。由于您的缓冲区声明为uint8_t[]，因此编译器不一定会对齐它。

这通常不是问题（但通常会导致很小的性能损失），但有些架构拒绝访问未对齐的指针。在这些架构上，未对齐的访问必须在软件中完成。

这里我假设您的HardFaultException来自ARM，this link建议使用__packed属性让编译器知道指针可能是未对齐的。然后，编译器将使用软件未对齐访问。

应该注意的是现代ARM不再存在这个问题了。链接谈论“旧的ARM处理器”，我没有注意到现代ARM上的这个问题。