C++标准库中没有std::find_end_c++,只有std::find_end,用于查找序列中最后一次出现的完整子序列,定义在头文件中,时间复杂度为O(n×m)。
标准库中没有 std::find_end_c++ 这个函数,这是常见误解。C++ 标准库提供的是 std::find_end,它用于查找序列中**最后一次出现的子序列**(不是单个元素),且属于 `gorithm>` 头文件。
std::find_end 在容器或迭代器范围内搜索一个完整的子序列(pattern),返回其**最后一次匹配的起始位置**。它不处理“最后一次出现的单个值”,那是 std::find + 反向迭代器的事。
[first1, last1) 和待查找子序列 [first2, last2)
ForwardIterator1,指向主序列中匹配子序列的首个元素;未找到则返回 last1
operator== 比较,也可传入自定义二元谓词 pred
std::vectorvec = {1, 2, 3, 4, 2, 3, 4, 5}; std::vector
pattern = {2, 3, 4}; auto it = std::find_end(vec.begin(), vec.end(), pattern.begin(), pattern.end()); // it 指向 vec[4],即第二次出现的 {2,3,4} 起始位置
想查整数 4 在 vec 中最后一次出现的位置?别用 std::find_end —— 它专为子序列设计,传单个元素容易出错且语义不清。
std::find_end(v.begin(), v.end(), &x, &x+1),虽语法合法,但可读性差、易越界(&x+1 需确保 x 是数组或有合法地址)std::find(v.rbegin(), v.rend(), 4),再转回正向:(it == v.rend()) ? v.end() : (it + 1).base()
std::find_end 的时间复杂度是 O((last1 - first1) × (last2 - first2)),对单元素查找是严重浪费空子序列(first2 == last2)在标准中是合法输入,std::find_end 会返回 last1 - 1(即末尾前一位置),这常被误认为“没找到”。另外,传入无效迭代器(如已失效的 end())会导致未定义行为。
pattern.empty() 是否需特殊处理pattern 迭代器有效,尤其从 std::vector::data() 构造时要确认 size > 0list::iterator 和 vector::iterator 配对调用C++20 引入了 std::ranges::find_end,支持直接传容器或视图,自动推导范围,避免手动传迭代器对,减少越界风险。
std::vectorv = {1,2,3,2,3}; std::vector p = {2,3}; auto res = std::ranges::find_end(v, p); // 返回 subrange,.begin() 即结果 if (res.empty()) { // 未找到 }
但要注意:它仍只找子序列,不解决“找最后一个元素”的需求;且需编译器支持 C++20 并开启对应标准。
真正容易被忽略的是:std::find_end 的“最后”指“最靠右的完整匹配”,不是“最晚开始的匹配”——如果子序列重叠(如在 "aaaa" 中找 "aa"),它返回的是第一次完整匹配的末尾位置(即索引 2 开始的 "aa"),而不是索引 3 开始那个(因 last2 - first2 == 2,索引 3 后只剩一个元素,不构成完整匹配)。