C#字节数组64位XOR：unsafe用法正确性及补全遗漏字节方案

首先直接回答你的第一个问题：使用unsafe关键字确实是实现高性能字节数组XOR的合理方式。普通数组索引操作每次都会触发CLR的边界检查，而unsafe指针操作可以跳过这些检查，同时一次处理8字节（64位）的操作能大幅减少循环次数，对于大数组来说性能提升很明显。不过要注意，unsafe代码需要你自己承担内存安全的责任，比如确保两个数组长度一致、避免指针越界等。

接下来解决你遇到的「末尾字节遗漏」问题：你的代码只处理了数组中能被8整除的部分，剩下的1-7个字节没有处理。我们可以分两步完成：先处理所有完整的64位块，再逐个处理剩余的字节。

修正后的unsafe代码如下：

public static unsafe void XOr64(byte[] oldBlock, byte[] newBlock)
{
    // 先检查两个数组长度是否一致，避免越界风险
    if (oldBlock.Length != newBlock.Length)
        throw new ArgumentException("两个数组长度必须相同");

    fixed (byte* byteA = oldBlock, byteB = newBlock)
    {
        long* ppA = (long*)byteA;
        long* ppB = (long*)byteB;
        int fullBlocks = oldBlock.Length / 8;
        
        // 处理完整的64位块
        for (int p = 0; p < fullBlocks; p++)
        {
            *ppA ^= *ppB;
            ppA++;
            ppB++;
        }

        // 处理剩余的字节（0-7个）
        byte* remainingA = (byte*)ppA;
        byte* remainingB = (byte*)ppB;
        int remainingBytes = oldBlock.Length % 8;
        for (int i = 0; i < remainingBytes; i++)
        {
            *remainingA ^= *remainingB;
            remainingA++;
            remainingB++;
        }
    }
}

代码说明： #

• 长度检查：先验证两个数组长度相同，从根源避免后续操作出现内存越界的风险。
• 完整块处理：用oldBlock.Length / 8计算能完整处理的64位块数量，循环完成批量XOR，这部分是性能提升的核心。
• 剩余字节处理：用oldBlock.Length % 8得到剩余的字节数，再用byte指针逐个处理这些字节，确保没有遗漏任何数据。

额外提示： #

• 要运行unsafe代码，需要在项目设置中开启「允许不安全代码」选项（VS中可通过项目属性→生成→勾选「允许不安全代码」完成）。
• 如果你的业务场景中数组长度总是8的倍数，剩余字节的循环可以省略，但保留它能让代码更健壮，适配任意长度的数组。
• 对比你原来的逐字节非unsafe代码，这个版本在大数组上的性能提升会非常显著——循环次数减少到原来的1/8，还省去了边界检查的开销。

内容的提问来源于stack exchange，提问作者Azar Shaikh