指针如何完全排序？

Question

C++中的指针通常只能比较是否相等。相比之下，小于比较只允许指向同一个完整对象（例如数组元素）的子对象的两个指针。

我看了一下GCC4.7.2和Clang3.2，它们根本不包含任何指针类型的专门化。它们似乎依赖于<在其支持的所有平台上无条件有效。

Answer 1

指针可以完全有序吗？不是在可移植的标准C++中。这就是为什么标准要求执行来解决问题，而不是你。对于指针的任何给定表示形式，应该可以定义任意的总顺序，但如何定义将取决于指针的表示形式。

对于具有平面地址空间和字节寻址的机器，只将指针视为大小相似的整数或无符号整数通常就足够了；这也是大多数编译器处理对象内比较的方式，因此在这样的机器上，库不需要专门处理std::less等。“未指明”的行为只是碰巧做了正确的事情。

对于word寻址计算机（并且至少有一台仍在生产中），可能需要将指针转换为void*才能进行编译器本机比较。

编辑：

在其他值得提及的事情上，也许:C++标准中的保证只适用于标准C++，或者在本例中，从标准C++获得的指针。在大多数现代系统中，mmap将同一个文件映射到两个不同的地址范围是相当容易的，并且有两个指针P和Q，它们比较不相等，但指向同一个对象。