Java Arrays.mismatch 如何定位二进制差异：返回索引、范围偏移与长度边界

接口回归时，日志只告诉你两个二进制快照“不一样”，真正难查的是差异从第几个字节开始。Java 的 Arrays.mismatch 可以把这个问题压缩成一个整数：返回首个差异的索引，完全一致返回 -1；如果比较的是两个范围，这个索引是相对范围起点的偏移量。

把返回值先分成三类处理：-1 表示相同；小于较短范围长度的非负数表示两边该相对位置的字节不同；等于较短范围长度则要继续判断是不是一方只是另一方的前缀。

先把二进制校验结果变成可定位的索引

假设服务会把上一次写入的 byte[] 快照与本次结果做比对。手写循环当然能完成任务，但循环里还要维护“是否长度不同”“是否找到差异”等状态，日志也容易只打印出模糊的失败信息。Arrays.mismatch 的整数组重载直接返回首个差异位置。

import java.nio.charset.StandardCharsets;
import java.util.Arrays;

public class SnapshotCheck {
    public static void main(String[] args) {
        byte[] expected = "order:1001".getBytes(StandardCharsets.UTF_8);
        byte[] actual = "order:1091".getBytes(StandardCharsets.UTF_8);

        int relativeIndex = Arrays.mismatch(expected, actual);
        if (relativeIndex == -1) {
            System.out.println("same");
            return;
        }
        System.out.printf("first mismatch index=%d, expected=%d, actual=%d%n",
                relativeIndex,
                Byte.toUnsignedInt(expected[relativeIndex]),
                Byte.toUnsignedInt(actual[relativeIndex]));
    }
}

这里的 byte[] 是输入，Arrays.mismatch 找到第一个分叉点，relativeIndex 再被用于读取两边的字节。这个调用链也是第一张图要表达的关系：诊断信息应从差异位置继续展开，而不是重新扫描整段数据。

整数组比较的三个返回值边界

返回 -1：内容和长度都一致

两个非空数组逐项相同，且长度也相同，结果才是 -1。所以不要把它理解成“没有找到某个值”，它表达的是两个数组在比较范围内完全相同。

返回中间索引：同一位置的元素不同

如果前缀相同，在下标 i 处出现不同元素，返回值就是 i。这个下标对整数组重载可以直接访问两边数组，适合输出十六进制字节或定位协议字段。

返回较短长度：差异可能来自长度

例如 new byte[]{10, 20} 和 new byte[]{10, 20, 30} 比较时，前两个元素都相同，结果为 2。此时索引 2 并不是较短数组的合法下标，读取前必须先比较长度。

范围重载的核心是“相对偏移”

协议头和正文经常共用一个缓冲区。范围重载允许只比较指定区间：

byte[] left = {9, 1, 2, 3, 8};
byte[] right = {7, 1, 4, 3, 8};

int aFromIndex = 1;
int aToIndex = 4;
int bFromIndex = 1;
int bToIndex = 4;

int relativeIndex = Arrays.mismatch(
        left, aFromIndex, aToIndex,
        right, bFromIndex, bToIndex);

if (relativeIndex == -1) {
    System.out.println("payload same");
} else {
    int leftIndex = aFromIndex + relativeIndex;
    int rightIndex = bFromIndex + relativeIndex;
    System.out.printf("payload mismatch: left[%d]=%d, right[%d]=%d%n",
            leftIndex, left[leftIndex], rightIndex, right[rightIndex]);
}

本例比较的是 [1, 4)，也就是值为 1、2、3 的片段。第二个元素不同，因此 relativeIndex 为 1；左侧真实下标是 aFromIndex + relativeIndex，右侧真实下标是 bFromIndex + relativeIndex。图中四个范围节点 aFromIndex、aToIndex、bFromIndex、bToIndex 共同决定了比较窗口，不能把返回值误当成原数组下标。

参数检查要放在诊断信息之前

范围比较使用左闭右开区间。aFromIndex 或 bFromIndex 不能为负，aToIndex 和 bToIndex 不能超过对应数组长度；起点大于终点也会触发边界异常。两个数组或比较器为 null 时，则是 NullPointerException。

实战中建议保留原始参数，捕获异常时同时记录数组名、范围和请求标识。不要先把参数强行截断，那会把调用方的 bug 变成一条看似正常的“比较结果”。

写一个小验收覆盖前缀、差异和完全相同

static void check(byte[] a, byte[] b, int expected) {
    int actual = Arrays.mismatch(a, b);
    if (actual != expected) {
        throw new AssertionError("expected=" + expected + ", actual=" + actual);
    }
}

check(new byte[]{1, 2, 3}, new byte[]{1, 9, 3}, 1);
check(new byte[]{1, 2}, new byte[]{1, 2, 8}, 2);
check(new byte[]{1, 2}, new byte[]{1, 2}, -1);

这三组用例分别覆盖中间差异、短数组是长数组前缀、完全一致。把它们放进协议解析或快照校验模块的回归测试，后续改动比较范围时，错误会在索引语义上尽早暴露。

相关问题

Arrays.mismatch 返回的是绝对索引吗？

完整数组重载返回数组下标；范围重载返回相对于各自范围起点的偏移，需要分别加上 aFromIndex 和 bFromIndex。

返回值等于数组长度代表什么？

它通常表示较短数组是另一数组的前缀，或者两个范围的长度不同。应先比较范围长度，再决定是否读取该位置。

为什么不用 Arrays.equals？

Arrays.equals 只回答相同或不同；Arrays.mismatch 还能给出首个差异位置，更适合生成协议、快照和文件校验的诊断日志。

把差异索引转成可操作的日志

校验失败时，最有价值的信息不是“校验失败”，而是比较范围、相对偏移、两侧真实下标和字节值。先处理 -1 与短范围边界，再打印这些字段，排查人员才能判断是字段内容变化、截断，还是传入了错误的起止位置。