C++ std::ranges::contains用法示例 _ C++23容器查找新特性【干货】-C++-PHP中文网

c++oding="utf-8" ?>

std::ranges::contains尚未实现，因c++23中设计争议被推迟；当前应使用std::ranges::find + != v.end()替代，或自行封装轻量contains函数。

c++ std::ranges::contains用法示例 _ c++23容器查找新特性【干货】

现在写 std::ranges::contains 会编译失败 —— 它在 C++23 标准里是“纸面存在”，但 GCC 13.2、Clang 17、MSVC 19.38 全都没实现。不是你的代码写错了，是标准库还没跟上。

为什么 `std::ranges::contains` 找不到？

它确实出现在 C++23 草案（P2441R2）中，但因设计争议被推迟落地：是否该支持投影（proj）、是否和 std::ranges::find 语义重叠、比较逻辑要不要默认用 std::ranges::equal_to……这些没吵完，实现方就集体按了暂停键。

所有主流标准库头文件里都搜不到这个符号：error: 'contains' is not a member of 'std::ranges' 是必然结果。libstdc++（GCC）、libc++（Clang）、MSVC STL 均未导出 std::ranges::contains。cppreference.com 页面明确标着 “not yet implemented”。

即使开了 -std=c++23，也改变不了链接时找不到符号的事实。

替代方案：用 `std::ranges::find` + `!= end()`

这是当前唯一零依赖、全平台兼容、语义清晰的做法。它复用已有查找逻辑，不引入新抽象，且性能无损 —— 编译器能内联优化掉大部分开销。

必须用 != v.end()，不能写 != std::end(v) —— 后者可能触发 ADL 冲突或类型不匹配
若范围是右值（如临时 std::vector{}），std::ranges::end(r) 可能失效，建议先绑定左值
对 std::string_view、std::array、自定义范围同样适用

常见用法：

C++ Code Review Master

组合式C++代码评审方案，融合静态分析、AI推理、多轮迭代评审和C++专项检查，适用于PR审查、增量代码审查、全项目评审和代码质量评分，触发词包括review cpp、cpp代码评审、C++review、代码审查。

下载

std::vector<int> v = {1, 2, 3, 4, 5};
bool found = std::ranges::find(v, 3) != v.end(); // true
<p>std::string s = "hello";
bool has_e = std::ranges::find(s, 'e') != s.end(); // true</p>
<p>// 自定义比较（忽略大小写）
bool has_i = std::ranges::find(s, 'I', [](char a, char b) {
return std::tolower(a) == std::tolower(b);
}) != s.end();</p></int>

自己封装 `contains` 函数（推荐）

如果你高频判断存在性，可以写个轻量 wrapper。关键是命名必须避开 std::ranges:: —— 否则违反 ODR，链接时可能静默错乱。

推荐写法（C++20 起可用）：

template<class r class t proj="std::identity," 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);
}</r></class>

用法示例：

contains(v, 42)
contains(v, "abc", {}, &Person::name)（支持投影）

别混淆：关联容器的 `contains` 成员函数是真实可用的

C++20 已为 std::set、std::map、std::unordered_set、std::unordered_map 加入了成员函数 contains，它已实装、可直接用。

例如：

std::set<int> s = {1, 2, 3};
if (s.contains(2)) { /* true */ }
<p>std::unordered_map<:string int> m = {{"x", 10}};
if (m.contains("x")) { /<em> true </em>/ }</:string></p></int>

注意：这个 contains 是容器成员函数，和 std::ranges::contains 毫无关系，也不共享实现。

真正容易被忽略的是：你写的 std::ranges::contains 不会报“未定义行为”，而是直接编译失败；而误把关联容器的 contains 当作范围算法去泛化使用，会在非关联容器上编译报错 —— 两者错误现象相似，但根源完全不同。