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 或未来版本。目前 <algorithm></algorithm> 和 <ranges></ranges> 头文件里均无此符号。
- 尝试编译会报错:
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::vector<int> v = {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++免费学习笔记(深入)”;
<pre class="brush:php;toolbar:false;">template<class R, class T, class Proj = std::identity,
class Pred = std::ranges::equal_to<>>
constexpr bool contains(R&& r, const T& value,
Pred pred = {}, Proj proj = {}) {
return std::ranges::find(std::forward<R>(r), value,
std::move(pred), std::move(proj)) != std::ranges::end(r);
}
- 用法和设想中的
std::ranges::contains 一致:<code>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 是实打实能用的,别混为一谈。


















