std::mismatch：找第一个“不对付”的位置，别再手写循环了

你有没有过这种经历：两个数组，看起来长得差不多，但就是有个地方对不上——可能是调试时发现结果异常，也可能是测试里某条用例死活过不去。这时候最本能的反应，大概是写个 for 循环，从头比到尾，手动找第一个不相等的下标。写完还怕越界、怕长度不一致、怕迭代器失效……一通加判断，代码又臭又长。

其实，C++ 标准库早给你备好了更干净的解法：std::mismatch。

它不返回布尔值，也不抛异常，就老老实实告诉你——哪儿开始“不对付”了。

std::mismatch 的核心作用，是并行遍历两个序列，逐个比较对应位置的元素，一旦发现第一个不满足相等（或自定义谓词）的位置，立刻停下，返回一对迭代器：

• 第一个迭代器指向第一个序列中“出问题”的位置；
• 第二个迭代器指向第二个序列中对应的位置。

注意，它不关心谁长谁短，只管“能比的部分”。如果其中一个序列提前结束，它会在较短序列的末尾停住，并把另一个序列对应的迭代器也停在相同“步数”的位置——这恰恰是它聪明的地方：它天然适配长度不等的场景，且不会越界访问。

比如：

std::vector<int> a = {1, 2, 3, 4, 5};
std::vector<int> b = {1, 2, 0, 4};
auto [it_a, it_b] = std::mismatch(a.begin(), a.end(), b.begin(), b.end());
// it_a 指向 a[2]（即 3），it_b 指向 b[2]（即 0）
// 因为 a[2] != b[2]，这是第一个不匹配点

这里没崩，也没手动检查 b.size()，全靠 mismatch 内部用 std::min 控制比较范围——你只管传范围，它负责安全。

很多人第一次用 mismatch 会卡在“怎么知道是不是全匹配？”上。答案很简单：看返回的迭代器有没有走到各自序列的末尾。

if (it_a == a.end() && it_b == b.end()) {
    // 完全一致（且长度相等）
} else if (it_a == a.end()) {
    // a 比 b 短，且 a 全部匹配了 b 的前缀
} else if (it_b == b.end()) {
    // b 比 a 短，且 b 全部匹配了 a 的前缀
} else {
    // 真正的“内容不匹配”，位置就是 it_a / it_b
}

这个判断逻辑比 a == b 更有信息量——后者只告诉你“不等”，却不说哪里不等；而 mismatch 直接把“案发现场”指给你看。调试时少打三行 printf，省下的时间够泡杯咖啡。

它还能接受自定义比较函数。比如你想找第一个大小写不敏感的差异：

std::string s1 = "Hello";
std::string s2 = "hElLo";
auto [it1, it2] = std::mismatch(
    s1.begin(), s1.end(),
    s2.begin(), s2.end(),
    [](char a, char b) { return std::tolower(a) == std::tolower(b); }
);
// 返回 s1.begin() 和 s2.begin() —— 因为 'H' 和 'h' 在忽略大小写时是相等的
// 继续比下去，直到 'e' vs 'E' → 还是相等；'l' vs 'l' → 相等……最后发现全匹配

注意：谓词接收的是两个元素，返回 true 表示“算匹配”，false 才触发停止。这点和 std::find_if 的逻辑一致，但容易和 std::equal 的谓词混淆（后者也是“相等则 true”），关键在语义：你定义什么算“过得去”，它就按这个标准找第一个“过不去”的点。

一个常被忽略的实用技巧：mismatch 可以配合 std::distance 快速拿到下标：

auto [it_a, it_b] = std::mismatch(a.begin(), a.end(), b.begin(), b.end());
size_t pos = std::distance(a.begin(), it_a); // 就是第一个不匹配的索引

如果你用的是 C 风格数组，只要确保传入合法的指针范围，它一样工作：

int x[] = {1, 2, 3};
int y[] = {1, 9, 3};
auto [px, py] = std::mismatch(x, x + 3, y, y + 3);
// px 指向 x[1]，py 指向 y[1]

没有容器类型限制，没有迭代器类别陷阱（只要支持 == 和 ++，input_iterator 就够用），轻量又可靠。

当然，它不是万能的。如果你要找“所有不匹配位置”，它不合适——那是 std::transform 或 std::for_each 的活；如果你要统计差异数量，得自己计数；如果两个序列根本不想比内容，而是想比结构（比如一棵树的遍历顺序），那得另起炉灶。

但回到最初那个场景：快速定位第一个差异点，用于调试、校验、diff 前置判断、甚至实现轻量级字符串 patch——mismatch 是最贴切的工具。它不炫技，不抽象，就干一件事，而且干得稳、干得准、干得省心。

下次再看到两个“应该一样却不一样”的数据，别急着撸袖子写循环。先想想：我是不是只需要知道，第一个“不对付”的地方在哪儿？
如果是，std::mismatch 已经在那儿等着了。