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