std::function 作为关联容器中的键

Question

我的理解是否正确，不能使用std::function 作为既没有有序的键，即std::map，std::set，也没有无序的关联容器，即std::unordered_map，std::unordered_set？

背景是我实现了一个计时器驱动的观察者，即本例中的主题。我给观察者一个std::function<void(void)> 对象以便再次取消订阅。当然，当这个取消订阅函数被调用时，主题必须保持哪些回调应该被取消/删除。

我很自然地考虑使用std::function 的副本作为std::map 或std::unordered_map 的键。希望函数指针类似于语义，我希望相等运算符，std::function 实例化的 less 或 hash 实现。我在阅读参考资料/标准时遇到的莫名其妙的事情是：operator== 和 operator!= 没有按预期工作，因为它们仅与空的即默认构造的函数对象进行比较。

但是，当我阅读 23.14.7 和我的一般理解时，我应该能够在上述容器中使用开箱即用的 std::function 实例化，因为它们使用 std::equal_to 而不是直接使用 == 对吗？

身份，即std::equal_to/total 顺序将匹配两个“指向”相同回调的函数对象，对吧？

Answer 1

背景是我实现了一个计时器驱动的观察者，即本例中的主题。我给观察者一个 std::function 对象以便再次取消订阅。

不要那样做。

相反，将迭代器返回到您存储订阅者可用于取消订阅的函数对象的容器。

---

我应该能够在上述容器中使用开箱即用的 std::function 实例化，因为它们使用 std::equal_to 而不是直接 == 对吗？

通用std::equal_to 直接使用运算符==。 std::function 没有专业化。因此在std::function 的情况下使用== 和std::equal_to 没有区别。

总结：std::function 不能用作关联容器中的键。而且也没有合理的方法让它与自定义比较函数一起使用。

---

该死，为什么 std::function 还要实现一个 std::hash，一个总顺序保证更少的运算符甚至算术运算符？

std::function 没有实现其中任何一个。