只出现一次的数字 III

两把钥匙：xorAll = 全体异或 = a^b；diff = xorAll 最低位的 1，用它把 a 和 b 分到两组里各自捞出来。下面一帧帧演。

第一趟开始。准备一个累加器 xorAll = 0，从左到右把每个数异或进去。

指针走到下标 0，这一格是 1。把它异或进 xorAll（当前 xorAll = 0）。

异或完成：xorAll 从 0 变成 1。下标 0 及之前的数都已处理（标蓝）。

指针走到下标 1，这一格是 2。把它异或进 xorAll（当前 xorAll = 1）。

异或完成：xorAll 从 1 变成 3。下标 1 及之前的数都已处理（标蓝）。

指针走到下标 2，这一格是 1。把它异或进 xorAll（当前 xorAll = 3）。

异或完成：xorAll 从 3 变成 2。下标 2 及之前的数都已处理（标蓝）。

指针走到下标 3，这一格是 3。把它异或进 xorAll（当前 xorAll = 2）。

异或完成：xorAll 从 2 变成 1。下标 3 及之前的数都已处理（标蓝）。

指针走到下标 4，这一格是 2。把它异或进 xorAll（当前 xorAll = 1）。

异或完成：xorAll 从 1 变成 3。下标 4 及之前的数都已处理（标蓝）。

指针走到下标 5，这一格是 5。把它异或进 xorAll（当前 xorAll = 3）。

异或完成：xorAll 从 3 变成 6。下标 5 及之前的数都已处理（标蓝）。

第一趟结束。所有成对的数互相抵消，xorAll = 6，它正好等于两个落单数 a 与 b 的异或值。

取 xorAll 最低位的那个 1：diff = xorAll &(-xorAll) = 2。a 和 b 在这一位上一定不同，用它把它们分到两组。

第二趟开始。两个累加器 a=0、b=0。按「这个数和 diff 与一下是不是 0」把每个数分进 A 组或 B 组。

指针到下标 0，值 1。1 和 diff(2) 与一下得 0，为 0，分到 B 组。

B 组（红）：b 从 0 异或 1 变成 1。每组里成对的数还是会抵消。

指针到下标 1，值 2。2 和 diff(2) 与一下得 2，不为 0，分到 A 组。

A 组（绿）：a 从 0 异或 2 变成 2。每组里成对的数还是会抵消。

指针到下标 2，值 1。1 和 diff(2) 与一下得 0，为 0，分到 B 组。

B 组（红）：b 从 1 异或 1 变成 0。每组里成对的数还是会抵消。

指针到下标 3，值 3。3 和 diff(2) 与一下得 2，不为 0，分到 A 组。

A 组（绿）：a 从 2 异或 3 变成 1。每组里成对的数还是会抵消。

指针到下标 4，值 2。2 和 diff(2) 与一下得 2，不为 0，分到 A 组。

A 组（绿）：a 从 1 异或 2 变成 3。每组里成对的数还是会抵消。

指针到下标 5，值 5。5 和 diff(2) 与一下得 0，为 0，分到 B 组。

B 组（红）：b 从 0 异或 5 变成 5。每组里成对的数还是会抵消。

两趟扫完。A 组异或剩下 a=3，B 组异或剩下 b=5，这两个就是只出现一次的数：[3, 5]。

三个高频追问：diff 的含义、a/b 为何分到不同组、以及与单个落单数版本的关系。