std::search_n是唯一专为查找连续n个相同元素设计的标准算法，仅支持严格相等（==），要求传入单个值和计数n，返回首个满足条件的迭代器，不支持自定义谓词。
std::search_n 用于查找连续重复元素的正确用法
直接说结论：std::search_n 是标准库中唯一专为「查找连续 n 个相同元素」设计的算法，但它不接受自定义谓词来判断“相等”，只支持严格相等（==），且要求迭代器支持随机访问以外的前向遍历即可（即 ForwardIterator 足够）。
常见误用是把它当成“找重复子序列”或“找满足条件的连续块”——它只认「值完全相同」，不处理逻辑等价（比如忽略大小写、浮点近似、指针所指对象相等等）。
- 必须传入计数
n和待匹配的**单个值**（不是范围，不是函数对象） - 返回首个满足「从该位置起连续 n 个元素都等于给定值」的迭代器；找不到则返回末尾迭代器
- 对
std::vector、std::list、std::string都可用，但std::list上性能是线性扫描，无优化
std::search_n 的参数顺序和类型陷阱
最容易出错的是参数顺序和迭代器类型不匹配。它的签名是：
template<class ForwardIterator, class Size, class T>
ForwardIterator search_n(ForwardIterator first, ForwardIterator last,
Size count, const T& value);注意：count 类型是 Size（通常为 int 或 size_t），不是 size_t 强制要求；但若传负数，行为未定义（多数实现直接返回 last）。
立即学习“C++免费学习笔记（深入）”；
-
first和last必须构成合法范围（first <= last），否则未定义 -
value会被逐个与容器元素用operator==比较——确保该类型已重载或内置支持 - 若容器元素是自定义类，没定义
operator==，编译失败；若定义了但逻辑不对（比如只比 ID 忽略状态），结果会出错
替代方案：需要“逻辑重复”时不能硬套 std::search_n
比如想找连续 3 个「绝对值小于 0.1」的 double，或连续 2 个「name 字段相同」的 Person 对象——std::search_n 无能为力。
此时应手写循环，或组合其他算法：
- 用
std::adjacent_find+ 计数器检测连续段（适合小n） - 用
std::find_if定位起点，再用std::all_of校验后续n-1个是否满足条件 - C++20 起可用
std::ranges::search_n，但依然只支持二元谓词==，不支持任意谓词；真要任意条件，得用std::ranges::find配合自定义视图
例如手动检查连续 3 个正数：
auto it = std::find_if(v.begin(), v.end() - 2, [](int x) {
return x > 0 && *(v.begin() + (it - v.begin()) + 1) > 0 &&
*(v.begin() + (it - v.begin()) + 2) > 0;
});但更安全清晰的做法是写显式循环，避免迭代器算术错误。
性能与边界情况：n 为 0 或超出范围时的行为
std::search_n 对边界输入有明确定义，但容易被忽略：
- 当
count == 0：标准规定返回first（C++11 起），即空匹配永远成功于开头 - 当
count > std::distance(first, last)：直接返回last，不崩溃 - 在
std::vector上平均时间复杂度 O(n)，最坏也是 O(n)；但内部可能做多次比较，不如手写单次遍历高效（尤其n很大时） - 没有短路优化：即使前两个就不同，仍会继续比完 n 个（因为必须确认“连续 n 个都等”）
真正要注意的是：如果容器为空且 n > 0，返回 last（即 v.end()），这是合理结果，但新手常误判为“出错”。
