std::boyer_moore_searcher是C++17引入的基于Boyer-Moore算法的高效子序列搜索器，需配合std::search使用，适用于模式串适中（≥5字符）、文本很长且字符集丰富的精确匹配场景。
std::boyer_moore_searcher 是 C++17 引入的一个搜索器（searcher）类模板，用于在容器序列中执行高效的子序列查找，底层基于 Boyer-Moore 字符串匹配算法。它不直接返回结果，而是配合 std::search 算法使用，显著提升长模式串在长文本中的搜索性能（尤其当模式较短、字符集较大时）。
它解决什么问题
传统线性搜索（如 std::search 默认的朴素算法）最坏时间复杂度为 O(n×m)，而 Boyer-Moore 在实践中常达 O(n/m) 量级——通过坏字符规则和好后缀规则实现“跳过”式匹配，避免逐字符比对。
适合场景：模式串（pattern）长度适中（如 5–100 字符），文本串（haystack）很长，且字符集较丰富（如 ASCII 文本）。
怎么用：基本用法示例
需包含头文件 和
#include #include#include std::string text = "ABACADABRAC"; std::string pattern = "ABRA";
// 构造 Boyer-Moore 搜索器（自动推导迭代器类型） auto searcher = std::boyer_moore_searcher( pattern.begin(), pattern.end() );
// 使用 std::search + searcher 查找 auto it = std::search(text.begin(), text.end(), searcher); if (it != text.end()) { std::cout << "Found at position: " << (it - text.begin()) << "\n"; }
- 构造时传入模式串的
[first, last)迭代器范围 - 支持自定义比较器（如忽略大小写）：
std::boyer_moore_searcher(..., my_equal) - 只适用于**随机访问迭代器**（
std::string、std::vector等）
和 std::boyer_moore_horspool_searcher 的区别
两者都是 C++17 引入的高效 searcher：
-
std::boyer_moore_searcher：实现完整 Boyer-Moore（含坏字符 + 好后缀两规则），预处理稍重，但最坏情况更优，适合模式串变化少、多次搜索同一模式的场景 -
std::boyer_moore_horspool_searcher：简化版（仅坏字符规则），预处理快、内存占用小，平均性能接近 BM，实现更轻量，适合模式串频繁变动或内存敏感场合
多数日常文本搜索中，二者实测差异不大；若不确定，可优先选 horspool（启动更快）。
注意事项和限制
不是万能加速器，用错反拖慢：
- 模式串太短（如 1–2 字符）：预处理开销 > 收益，朴素搜索更快
- 模式串太长或字符集极小（如二进制数据、大量重复字符）：跳过效果减弱，甚至退化
- 不支持正则或模糊匹配——纯精确子序列查找
- 要求模式串迭代器指向的元素支持
==（或自定义相等谓词）
简单验证是否值得用：当 pattern.size() >= 5 且 text.size() >> pattern.size() 时，BM 类 searcher 才
大概率带来收益。
基本上就这些。它不是语法糖，而是标准库对经典算法的工程落地——用对了，搜索效率翻倍；用错了，可能不如手写循环。关键在理解适用边界。
