c++26的std::ranges::contains将如何简化查找操作? (算法改进)

11次阅读

c++kquote>std::ranges::contains 在 c++26 中尚未正式加入标准,仍处于 P2703R1 提案讨论阶段,未被纳入工作草案,主流编译器及标准库均不支持,当前需用 std::ranges::find(…)!=std::ranges::end(…) 替代。

c++26的std::ranges::contains将如何简化查找操作? (算法改进)

std::ranges::contains 在 C++26 中尚未正式加入标准 —— 它目前仍处于 P2703R1 提案讨论阶段,未被纳入 C++26 工作草案。这意味着你无法在 GCC 14、Clang 18 或 MSVC 19.39 中直接使用 std::ranges::contains,编译会报错 ‘contains’ is not a member of ‘std::ranges’

为什么现在写代码还不能用 std::ranges::contains

该提案虽已通过 LEWG 初审,但尚未完成 Library Evolution 和 Library Working Group 的最终投票,也未进入 Library Fundamentals TS 或 C++26 DIS。当前所有主流标准库实现(libstdc++、libc++、MSVC STL)均未提供该函数。

  • 尝试调用 std::ranges::contains(container, value) 会导致编译失败
  • 即使启用 -std=c++2b-std=c++26,也不会触发该符号定义
  • 部分实验性分支(如 libc++ 的 experimental::ranges)可能有原型,但不具可移植性

现阶段等效替代方案(C++20 起可用)

要用 ranges 风格写出类似语义的简洁查找,实际应组合 std::ranges::find 与比较逻辑,而非等待一个尚不存在的函数。

auto contains = [](const auto& range, const auto& value) {     return std::ranges::find(range, value) != std::ranges::end(range); }; 

// 用法示例 std::vector v = {1, 2, 3, 4, 5}; if (contains(v, 3)) { / ... / }

  • std::ranges::find 是 C++20 引入的,支持所有范围概念(std::ranges::input_range 及以上)
  • 返回迭代器,需显式与 std::ranges::end(range) 比较 —— 这是目前最接近“语义等价”的惯用写法
  • 若需自定义比较(如忽略大小写),可用 std::ranges::find_if + Lambda,比设想中的 contains 第三个参数更灵活

如果未来 C++26 真加入 contains,它大概长什么样?

根据 P2703R1,提案中 std::ranges::contains 的签名将类似:

立即学习C++免费学习笔记(深入)”;

namespace std::ranges {   template     requires indirect_binary_predicate, T*>   constexpr bool contains(R&& r, const T& value, Proj proj = {}); }
  • 接受任意 input_range(包括 std::string_viewstd::span、生成器视图等)
  • 支持投影(proj),例如 contains(vec, "foo", &Person::name)
  • 底层仍调用 find + end 判断,无性能增益,纯属接口简化
  • 不会替代 std::set::containsstd::unordered_set::contains —— 容器专属成员函数仍更快且保持 O(log n)/O(1)

真正需要关注的不是“它多好用”,而是:你现在写的 std::ranges::find(...) != end(...) 就是未来 contains 的实质;等它落地那天,你只需全局替换函数名,逻辑和边界行为不会变。别为还没进标准的东西提前改架构

text=ZqhQzanResources