std::ranges::contains _c++ std::ranges::contains-CSDN博客

本文链接：https://blog.csdn.net/janeqi1987/article/details/145692292

std::ranges::contains

std::ranges::contains 是 C++23 中引入的一个算法，用于检查一个范围中是否包含指定的值。它属于 <algorithm> 头文件，是范围库（Ranges Library）的一部分，提供更简洁、安全的范围操作。

Call signature
	(1)
template< std::input_iterator I, std::sentinel_for<I> S, class T, class Proj = std::identity > requires std::indirect_binary_predicate<ranges::equal_to, std::projected<I, Proj>, const T*> constexpr bool contains( I first, S last, const T& value, Proj proj = {} );		(since C++23) (until C++26)
template< std::input_iterator I, std::sentinel_for<I> S, class Proj = std::identity, class T = std::projected_value_t<I, Proj> > requires std::indirect_binary_predicate<ranges::equal_to, std::projected<I, Proj>, const T*> constexpr bool contains( I first, S last, const T& value, Proj proj = {} );		(since C++26)
		(2)
template< ranges::input_range R, class T, class Proj = std::identity > requires std::indirect_binary_predicate<ranges::equal_to, std::projected<ranges::iterator_t<R>, Proj>, const T*> constexpr bool contains( R&& r, const T& value, Proj proj = {} );			(since C++23) (until C++26)
template< ranges::input_range R, class Proj = std::identity, class T = std::projected_value_t<ranges::iterator_t<R>, Proj> > requires std::indirect_binary_predicate<ranges::equal_to, std::projected<ranges::iterator_t<R>, Proj>, const T*> constexpr bool contains( R&& r, const T& value, Proj proj = {} );			(since C++26)
template< std::forward_iterator I1, std::sentinel_for<I1> S1, std::forward_iterator I2, std::sentinel_for<I2> S2, class Pred = ranges::equal_to, class Proj1 = std::identity, class Proj2 = std::identity > requires std::indirectly_comparable<I1, I2, Pred, Proj1, Proj2> constexpr bool contains_subrange( I1 first1, S1 last1, I2 first2, S2 last2, Pred pred = {}, Proj1 proj1 = {}, Proj2 proj2 = {} );			(3)	(since C++23)
template< ranges::forward_range R1, ranges::forward_range R2, class Pred = ranges::equal_to, class Proj1 = std::identity, class Proj2 = std::identity > requires std::indirectly_comparable<ranges::iterator_t<R1>, ranges::iterator_t<R2>, Pred, Proj1, Proj2> constexpr bool contains_subrange( R1&& r1, R2&& r2, Pred pred = {}, Proj1 proj1 = {}, Proj2 proj2 = {} );

参数：
- r：要检查的输入范围。
- value：要查找的值。
- proj：投影函数（可选），用于对范围中的元素进行转换后再比较。
返回值：
- 如果范围中存在等于 value 的元素，返回 true；否则返回 false。

关键点

线性搜索：从范围起点开始逐个检查元素，直到找到目标值或遍历完整个范围。
复杂度：时间复杂度为 O(N)，空间复杂度为 O(1)。
投影支持：允许通过 proj 对元素进行转换后再比较（例如查找对象的某个成员）。
范围安全性：直接操作范围，避免裸指针和迭代器的手动管理。

示例

示例 1：基本用法

#include <algorithm>
#include <vector>
#include <ranges>
#include <iostream>

int main() {
    std::vector<int> v = {1, 2, 3, 4, 5};

    // 检查是否包含 3
    bool has_3 = std::ranges::contains(v, 3);
    std::cout << "Contains 3: " << has_3 << std::endl; // 输出 1（true）

    // 检查是否包含 6
    bool has_6 = std::ranges::contains(v, 6);
    std::cout << "Contains 6: " << has_6 << std::endl; // 输出 0（false）
}

输出：

Contains 3: 1
Contains 6: 0

示例 2：使用投影函数

#include <algorithm>
#include <vector>
#include <ranges>
#include <iostream>

struct Person {
    std::string name;
    int age;
};

int main() {
    std::vector<Person> people = {
        {"Alice", 25},
        {"Bob", 30},
        {"Charlie", 35}
    };

    // 检查是否存在年龄为 30 的人
    bool has_age_30 = std::ranges::contains(
        people,
        30,
        [](const Person& p) { return p.age; } // 投影：提取 age 成员
    );

    std::cout << "Has age 30: " << has_age_30 << std::endl; // 输出 1（true）
}

输出：

Has age 30: 1

应用场景

简单存在性检查：快速判断某个值是否在集合中。
条件过滤：结合投影函数检查对象成员的特定值。
字符串处理：检查字符或子字符串是否存在。

注意事项

C++23 支持：需确保编译器支持 C++23（如 GCC 13+、Clang 16+、MSVC 19.30+）。
性能：对于大规模数据，线性搜索可能不够高效，此时建议使用 std::ranges::binary_search（需先排序）

如下container有自己的contains：

std::map::contains
std::set::contains
std::multimap::contains
std::multiset::contains
std::unordered_map::contains
std::unordered_set::contains
std::unordered_multimap::contains
std::unordered_multiset::contains

std::string::contains C++23

std::array 和 std::vector没有定义contains，只能使用std::ranges::contains, STL并没有提供std::contains。