std::ranges::contains 尚未被任何主流标准库实现,因设计争议被推迟;当前应使用 std::ranges::find + end() 比较或自行封装 contains 函数。

std::ranges::contains 在 C++23 中确实存在,但目前(截至 GCC 13.2 / Clang 17 / MSVC 19.38)**所有主流标准库实现都尚未提供该函数**。它只是 C++23 标准草案中提议的组件,尚未落地 —— 所以你现在直接写 std::ranges::contains 会编译失败。
为什么找不到 std::ranges::contains?
该函数曾出现在早期 C++23 草案(P2441R2)中,但因设计争议(比如是否该支持自定义比较、是否与 std::ranges::find 语义重叠)被推迟到 TS 或未来版本。目前 和 头文件里均无此符号。
- 尝试编译会报错:
error: 'contains' is not a member of 'std::ranges' - libstdc++(GCC)、libc++(Clang)、MSVC STL 均未实现
- cppreference.com 上该页面标记为 “not yet implemented”
替代方案:用 std::ranges::find + 比较
这是目前最直接、零依赖、符合 C++20/23 实际可用性的做法。它语义清晰,且能复用已有比较逻辑。
std::vectorv = {1, 2, 3, 4, 5}; bool found = std::ranges::find(v, 3) != v.end(); // true std::string s = "hello"; bool has_e = std::ranges::find(s, 'e') != s.end(); // true // 自定义比较(例如忽略大小写) bool has_i = std::ranges::find(s, 'I', [](char a, char b) { return std::tolower(a) == std::tolower(b); }) != s.end();
封装成自己的 contains(推荐)
如果你频繁需要“判断存在性”,可以自己写一个轻量 wrapper,避免每次写 != end()。它完全兼容 C++20 起的范围操作,并支持投影(proj)和自定义谓词(pred):
立即学习“C++免费学习笔记(深入)”;
template> constexpr bool contains(R&& r, const T& value, Pred pred = {}, Proj proj = {}) { return std::ranges::find(std::forward (r), value, std::move(pred), std::move(proj)) != std::ranges::end(r); }
- 用法和设想中的
std::ranges::contains 一致:contains(v, 42) - 支持投影(如
contains(v, "abc", {}, &Person::name)) - 注意:不要命名为
std::ranges::contains,否则违反 ODR;放在自己命名空间或全局即可
其他常见误用点
有人试图用 std::ranges::any_of 或 std::ranges::count 替代,但它们有实际代价:
-
std::ranges::any_of(v, [&](auto&& x) { return x == value; }):多一层 lambda 调用开销,且无法利用容器的find特化(如std::set::find是 O(log n),而any_of强制线性) -
std::ranges::count(v, value) > 0:必须遍历全部匹配项,哪怕第一个就找到了 - 对
std::map/std::set等有序关联容器,应优先用成员函数.contains()(C++20 已添加):m.contains(key)—— 这才是真正的 O(log n) 且已实现
真正要注意的是:别等标准库“补全”,先用 std::ranges::find 或自己封装;同时记得区分“范围算法”和“容器成员函数”——后者如 std::map::contains 是实打实能用的,别混为一谈。










