a 和 b 有可能相同，导致 a 和 b 的前驱和后继不存在，此时应当特判。