为何std::ranges::set_difference、set_intersection不兼容std::unordered_set？

你提到的点确实合理——既然unordered_set有contains()成员，理论上能实现很多集合类算法的功能，但标准库没这么设计，主要有这几个原因：

• STL的核心是迭代器抽象，而非容器绑定
  STL的算法和容器是解耦的，几乎所有算法都基于迭代器范围来实现，这样能适配任何符合迭代器要求的序列（比如普通数组、自定义容器甚至是生成器迭代器）。如果为带contains()的容器单独做重载，会打破这种通用性，让算法和特定容器绑定，违背了STL的设计初衷。

• 复杂度承诺的明确性要求
  STL里的算法都会明确标注时间复杂度，比如std::includes在输入有序范围时是O(n+m)的线性复杂度。如果支持unordered_set，虽然平均情况下contains()是O(1)，但最坏情况是O(n)，这会让算法的复杂度承诺变得模糊——用户没法确定自己使用时到底会触发哪种复杂度，不符合标准库追求的行为确定性。

• 语义歧义的规避
  像std::multiset这类容器也有contains()，但它允许重复元素。如果算法支持这类容器，就需要明确语义：比如判断元素是否至少存在一个还是全部匹配数量？这种语义上的模糊性会带来使用困扰，而基于有序范围的迭代器版本，逻辑是明确的遍历匹配，不会有这类问题。

• 替代方案足够简单，没必要新增重载
  如果你想用unordered_set实现类似算法的功能，自己手写逻辑非常简单。比如要检查一个序列的所有元素是否都在unordered_set里，只需要遍历序列，逐个调用contains()就行，几行代码就能搞定。标准库更倾向于提供通用基础组件，不会为这种容易自行实现的特定场景额外增加复杂度。

内容的提问来源于stack exchange，提问作者NoSenseEtAl