构造指针类型的 std::set 是否有效？

Question

我想将一些指针存储到 std::set 中，但标准指南说它无效。

如果相同类型的两个指针 p 和 q 指向不同的对象，这些对象 > 不是同一对象的成员或同一数组的元素或不同的 > 函数，或者如果其中只有一个为空，则结果pq、p p>=q 未指定。

朴素指针类型似乎不支持 运算符，如下所示。

Object * a = new Object;
Object * b = new Object;
a == b; // valid
a < b; //invalid
Object * arr = new Object[10];
&arr[3] == &arr[4]; // valid
&arr[3] < &arr[4]; // valid

如何将指针放入 std::set 或 std::map 的键？我应该定义一些支持比较的包装器

编辑 1

Some other questions 说，即使 C++ 指针不直接支持 ， std::less 也适用于纯指针（没有任何额外信息）。但我找不到任何参考。

Answer 1

虽然内置运算符 < 确实只适用于指向同一数组的指针，但 std::set 和 std::map 不使用该运算符 - 它们使用 std::less。反过来，这可以保证对所有指针施加总顺序：

[comparisons]/2 对于模板less、greater、less_equal 和greater_equal，任何指针类型的特化都会产生严格的总顺序，这些顺序是一致的并且也与内置运算符<、>、<=、>= 施加的偏序一致。