关于 ether_addr_equal 函数的未对齐问题？

Question

我正在阅读一些关于未对齐内存访问问题的文章并参考了这篇文章UNALIGNED MEMORY ACCESSES

bool ether_addr_equal(const u8 *addr1, const u8 *addr2) {
    #ifdef CONFIG_HAVE_EFFICIENT_UNALIGNED_ACCESS
    u32 fold = ((*(const u32 *)addr1) ^ (*(const u32 *)addr2)) |
       ((*(const u16 *)(addr1 + 4)) ^ (*(const u16 *)(addr2 + 4)));
    return fold == 0;
    #else
    const u16 *a = (const u16 *)addr1;
    const u16 *b = (const u16 *)addr2;
    return ((a[0] ^ b[0]) | (a[1] ^ b[1]) | (a[2] ^ b[2])) != 0;
    #endif
}

它说：

但是当硬件不是 能够访问任意边界上的内存，对 a[0] 的引用导致 从地址 addr1 开始的内存中读取 2 个字节（16 位）。

好吧，我不知道这意味着什么。在我看来，a[0] 必须从 addr1 读取 2 个字节，如果不是，它将读取什么？ （可能会崩溃，但我认为这是 2 个字节或没有的情况）。那么这里会出现什么问题呢？而他们为什么不使用u8*，逐字节比较来解决未对齐的问题呢？

Answer 1

在我看来，a[0] 必须从 addr1 读取 2 个字节，如果不是，它将读取什么？那么这里会出现什么问题呢？

预期的含义当然是a[0] 使用 2 字节访问从 addr1 读取一个字节，从 addr1 + 1 读取一个字节。一个系统可能有一个限制，要求从偶数地址边界开始访问 2 字节。如果addr1 是奇数，那就违反了。

而他们为什么不使用 u8* 一个字节一个字节地比较来解决未对齐的问题呢？

可能假设目标系统不会遇到上述问题。一次使用一个字节就可以解决这种情况。

---

注意：该功能的两半似乎功能不等效。考虑数据位全为零，第一个返回true，第二个返回false。