std::search 搜不到连续子序列的主因是迭代器范围错误或自定义比较函数异常，而非算法功能缺陷；它本就专用于查找连续、完全匹配的子序列，空子序列按标准应总被找到。
std::search 为什么搜不到连续子序列？
因为 std::search 本来就是干这个的——在长序列里找**连续、完全匹配**的子序列，不是模糊匹配，也不是子集查找。如果你发现它没找到，大概率是迭代器范围用错了，或者比较逻辑被意外覆盖。
常见错误现象：std::search 返回 last1（即没找到），但肉眼看明明存在。典型原因包括：
- 传入的“长容器”范围
[first1, last1)不完整（比如忘了加.end()） - 子序列容器为空：C++ 标准规定空范围总是被找到，但某些旧 libstdc++ 版本有 bug，返回
last1 - 自定义比较函数里用了
而非 <code>==语义（std::search默认用operator==，传std::less会行为异常）
怎么正确调用 std::search 查找 vector 子序列？
最常用场景：在 std::vector 里找一段固定值组成的连续子序列，比如找 {3, 1, 4} 是否出现在某个大数组中。
实操要点：
立即学习“C++免费学习笔记（深入）”；
C++ Code Review Master
下载
组合式C++代码评审方案，融合静态分析、AI推理、多轮迭代评审和C++专项检查，适用于PR审查、增量代码审查、全项目评审和代码质量评分，触发词包括review cpp、cpp代码评审、C++review、代码审查。
- 确保两个容器元素类型可直接用
==比较（或你提供了正确的二元谓词） - 子序列容器不能是临时对象且生命周期短于搜索过程（比如
std::search(..., {1,2,3}.begin(), ...)是错的） - 推荐显式写全迭代器，别依赖 ADL 或隐式转换
示例：
std::vector<int> data = {1, 2, 3, 1, 4, 1, 5};
std::vector<int> pattern = {1, 4, 1};
auto it = std::search(data.begin(), data.end(),
pattern.begin(), pattern.end());
if (it != data.end()) {
std::cout << "found at index " << (it - data.begin()) << "\n"; // 输出: found at index 3
}用自定义比较时 std::search 有哪些陷阱？
当你需要忽略大小写、近似浮点匹配、或结构体字段比对时，必须传第 5 个参数——二元谓词。但这里容易踩坑：
- 谓词必须是纯函数：对相同输入总返回相同结果，不能修改参数
- 它接收的是两个元素（
lhs和rhs），不是两个迭代器；返回true表示“匹配”，不是“小于” - 如果用
std::equal_to<T>()替代默认==，效果一样；但用std::less就会逻辑错乱 - 谓词捕获局部变量时，注意生命周期（尤其 lambda 捕获引用）
例如浮点容差匹配：
auto eps_equal = [](double a, double b) { return std::abs(a - b) < 1e-6; };
std::vector<double> v = {1.0, 2.0000001, 3.0};
auto pos = std::search(v.begin(), v.end(),
std::vector<double>{2.0, 3.0}.begin(),
std::vector<double>{2.0, 3.0}.end(),
eps_equal);性能和兼容性要注意什么？
std::search 平均时间复杂度是 O(n×m)，最坏也是 O(n×m)，不等价于 KMP；它本质是朴素双重循环。所以：
- 子序列很长（比如 >100 元素）且主容器极大（>10⁵）时，考虑手写 KMP 或用
std::string_view+find（仅限字符） - MSVC 2019 及更新版对小模式（≤4 元素）做了 SSO 优化；GCC 12+ 在部分场景下内联了循环展开
- 不支持
std::span直接传参（需转成.data()+.size()迭代器） - 对
std::list等双向迭代器也能工作，但性能更差（无法随机访问）
真正容易被忽略的是：它不保证找到的是“第一次出现的最左匹配”以外的结果——而实际就是最左，但文档没强调这点，有人误以为会回溯找更短匹配。
