为何std::ranges::set_difference需要满足std::mergeable概念？

问题 #

std::ranges::set_difference算法要求满足std::mergeable概念，这个概念规定两个输入范围的元素都必须能复制到结果容器中，但实际上集合差集算法根本不会复制第二个范围的元素！

想问这个设计是有特定原因，还是单纯为了让所有set_*系列算法保持一致的要求？

动机：如果没有这个限制，我们可以用如下代码过滤映射表的部分键（注：对映射元素使用了投影）：

std::map<char, int> m{ {'a', 1}, {'b', 0}, {'u', 7} };
std::set s{ 'a', 'e', 'i', 'o', 'u', 'y' };
std::vector<std::tuple<char, int>> result;

std::ranges::set_difference(m, s, std::back_inserter(result),
    {}, [](const auto& p) { return p.first; });

实际上我从cppreference的“可能的实现”中修改代码，删掉requires子句实现了my_set_difference，用这个自定义函数运行上述代码完全正常。

回答 #

这个设计主要是为了保持set_*系列算法的接口一致性。

std::mergeable概念是为整个set_*算法族（包括set_union、set_intersection、set_symmetric_difference等）定义的通用约束——这些算法确实需要从两个输入范围复制元素到结果容器里。为了让用户不用记住每个set_*算法的特殊要求，标准委员会选择让所有同系列算法复用同一套约束，哪怕set_difference本身只需要复制第一个范围的元素。

当然，从灵活性角度看，这个约束确实会限制一些场景（比如你提到的映射表过滤），但标准设计通常优先保证接口的一致性和可学习性，避免给用户带来额外的认知负担。如果你需要这种灵活的用法，自定义实现类似my_set_difference的函数是完全可行的。

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