std::includes 判断子集前必须确保两范围均已按相同比较器升序排序,否则结果未定义;它要求子集元素出现次数不超过全集,空集恒为子集,且仅适用于有序序列。

std::includes 判断子集的前置条件必须满足
它不接受任意容器,只对已排序的范围有效。如果 container_a 和 container_b 没有升序排列(或没用相同自定义比较器排序),std::includes 的返回值毫无意义——可能返回 true 即使 container_b 明显不是子集。
常见错误现象:对 std::vector 直接调用 std::includes 后返回 false,但人工检查发现元素都存在;根本原因是未排序。
- 必须先对两个范围分别调用
std::sort(或确保它们来自std::set等天然有序容器) - 若用了自定义比较器(如
std::greater<int></int>),两个范围必须用**完全相同的**比较器排序和传入std::includes -
std::includes不检查重复:若container_b中某元素出现 3 次,而container_a中只有 2 次,结果为false
正确调用 std::includes 的典型写法
最安全的做法是基于迭代器区间调用,且明确传递比较器(即使默认):
std::vector<int> a = {1, 2, 2, 3, 4, 5};
std::vector<int> b = {2, 2, 4};
std::sort(a.begin(), a.end());
std::sort(b.begin(), b.end());
bool is_subset = std::includes(a.begin(), a.end(), b.begin(), b.end());
// → true
注意:std::includes 的参数顺序是「大集合在前、小集合在后」,顺序反了会编译失败或逻辑错乱。
立即学习“C++免费学习笔记(深入)”;
组合式C++代码评审方案,融合静态分析、AI推理、多轮迭代评审和C++专项检查,适用于PR审查、增量代码审查、全项目评审和代码质量评分,触发词包括review cpp、cpp代码评审、C++review、代码审查。
- 第一个参数是被检查的容器(全集)的 begin/end 迭代器
- 第二个参数是待判断是否为子集的容器(子集)的 begin/end 迭代器
- 不要传容器本身,只传迭代器对;传
a或&a会编译报错 - 支持 C++17 起的
std::ranges::includes,但需包含<ranges>且接口略有不同
用 std::set 替代 vector 可省去手动排序
如果你的“集合”天然不重复、且插入频率不高,std::set 是更稳妥的选择:它自动维持有序,std::includes 可直接使用其迭代器,无需额外 sort。
std::set<int> a = {1, 2, 3, 4, 5};
std::set<int> b = {2, 4};
bool is_subset = std::includes(a.begin(), a.end(), b.begin(), b.end());
// → true
但要注意性能差异:对 std::set 迭代器调用 std::includes 时间复杂度仍是 O(n + m),但常数因子比 vector 大;如果数据量大且频繁判断子集,应考虑哈希方案(如 std::unordered_set 配合手写循环)。
-
std::set不能解决重复元素问题——它自动去重,所以无法表达「含两个 2」这类需求 - 若业务逻辑允许忽略重复(即按数学集合语义),
std::set是最省心的载体 - 别试图对
std::unordered_set直接用std::includes:它的迭代器不保证有序,行为未定义
空集和重复元素的边界情况
std::includes 把空范围视为任何集合的子集,这是符合数学定义的,但容易被忽略:
std::vector<int> a = {1, 2, 3};
std::vector<int> b; // empty
std::sort(a.begin(), a.end());
bool is_subset = std::includes(a.begin(), a.end(), b.begin(), b.end());
// → true,无论 a 是否为空
重复元素处理是另一个关键点:该算法要求子集中的每个元素(含重复次数)在全集中至少出现同等次数。
- 若
b有 3 个5,而a只有 2 个,则返回false - 这不同于「所有元素都在」的朴素检查,而是多重集(multiset)意义上的包含
- 如果业务只需要“元素存在性”,而非“出现次数”,应改用
std::all_of+std::find或哈希查找
真正麻烦的地方在于:错误地认为 std::includes 是通用子集判定工具,而没意识到它强依赖有序性和重复语义。一旦数据来源不可控(比如从 JSON 解析来、或用户输入),务必先排序+校验,而不是直接套用。

















