std::mismatch 返回一个 std::pair 迭代器对，first 指向第一容器首个不匹配元素，second 指向第二容器对应位置元素；若全匹配，则二者均等于各自 end()。
std::mismatch 返回的是什么迭代器对
std::mismatch 不直接返回“索引”或“位置”，而是返回一个 std::pair，其中 first 指向第一个容器中首个不匹配元素的位置，second 指向第二个容器中对应位置的元素。如果全部匹配，两个迭代器都会抵达各自容器末尾（即等于 end()）。
关键点：它比较的是「相同位置」上的元素，且只在两个范围长度交集内比较；若第一个容器更短，它不会自动截断第二个容器——你必须确保传入的第二段范围足够长，否则行为未定义。
- 传参时用
begin()和end()明确指定比较区间，别依赖容器大小自动对齐 - 若想比较整个容器，第二个范围的长度必须 ≥ 第一个范围，否则
std::mismatch可能越界解引用 - 支持自定义比较函数，比如
std::mismatch(a.begin(), a.end(), b.begin(), [](int x, int y) { return abs(x) == abs(y); })
怎么安全地用 std::mismatch 找出第一个不同点的下标
拿到 std::mismatch 返回的迭代器对后，需转换为下标才能直观定位。对 std::vector、std::array 等支持随机访问的容器，用 std::distance 最稳妥：
auto [it1, it2] = std::mismatch(v1.begin(), v1.end(), v2.begin()); size_t pos = std::distance(v1.begin(), it1);
注意：不要直接用 it1 - v1.begin() 除非你 100% 确认迭代器是随机访问类型；对 std::list 或 std::forward_list，只能用 std::distance，否则编译失败。
立即学习“C++免费学习笔记（深入）”；
组合式C++代码评审方案，融合静态分析、AI推理、多轮迭代评审和C++专项检查，适用于PR审查、增量代码审查、全项目评审和代码质量评分，触发词包括review cpp、cpp代码评审、C++review、代码审查。
- 如果
it1 == v1.end()，说明 v1 全部匹配（或 v1 为空），但不意味着 v2 也结束——v2 可能更长 - 若需判断“是否完全相等”，应额外检查
it1 == v1.end() && it2 == v2.end() - 对 C 风格数组，用
std::begin(arr)和std::end(arr)，别传裸指针加长度，容易出错
常见错误：传错第二个范围的尾迭代器
最常踩的坑是误以为 std::mismatch(a.begin(), a.end(), b.begin()) 会自动限制比较长度为 min(a.size(), b.size())——它不会。标准要求第二个范围至少和第一个一样长，否则是未定义行为（UB），可能崩溃或返回错误结果。
正确做法是显式传入第二个范围的结尾：
auto [it1, it2] = std::mismatch(
v1.begin(), v1.end(),
v2.begin(), v2.begin() + std::min(v1.size(), v2.size())
);- 如果不做长度截断，而 v2 比 v1 短，
std::mismatch在内部递增it2时会越过v2.end()，触发 UB - 用
std::min截断是防御性写法，尤其当容器长度不确定（如函数参数）时必须加 - 某些老编译器（如旧版 MSVC）在 debug 模式下可能断言报错，但 release 下静默出错，极难排查
替代方案：什么时候不该用 std::mismatch
如果目标只是判断两容器是否完全相等，直接用 operator==（如 v1 == v2）更简洁、可读性更高，且对多数标准容器做了优化（比如先比 size 再比内容）。
std::mismatch 的真实价值在于：你需要知道「哪里开始不同」，而不仅仅是「是否不同」。
- 调试时打印差异位置：
std::cout - 实现 diff-like 逻辑，比如跳过前缀公共部分再处理剩余
- 配合
std::lexicographical_compare做字典序比较的底层支撑
真正容易被忽略的是：它不处理“一个容器是另一个前缀”的情况——比如 {1,2} 和 {1,2,3,4}，std::mismatch 会返回 end() 对，但你得自己判断谁更长。
