对指针数组进行排序

Question

我是否认为可以将指针视为 int 以便对指针数组进行排序，例如

qsort(ptrs, n, sizeof(void*), int_cmp);

我想对 ptrs 进行排序以确定是否有任何重复项，而不管指针指向的事物的类型，所以 qsort 是这样做的前兆。

我的int_cmp() 非常标准，例如

int int_cmp(const void *a, const void *b)
{
    const int *ia = (const int *)a; // casting pointer types
    const int *ib = (const int *)b;

    /* integer comparison: returns negative if b > a
    and positive if a > b */
    return *ia  - *ib;
}

它似乎在我的单元测试中有效，但是否有某些原因将 ptr 视为 int 可能会导致我可能忽略的这种情况出现问题？

Answer 1

不，你根本不对，除非你想要按地址对指针进行排序。但是，实际地址很少有任何意义，所以这不太可能。

为了检测重复的指针，你应该只比较指针，这是明确的。

我可能会选择使用uintptr_t 的解决方案：

static int order_pointers(const void *pa, const void *pb)
{
  const uintptr_t a = *(void **) pa, b = *(void **) pb;

  return a < b ? -1 : a > b;
}

尚未对此进行测试，但类似的东西应该可以工作。

转换为uintptr_t 是必要的，因为您无法有效地比较随机指针。我引用了 C99 草案标准，§6.5.8.5：

当比较两个指针时，结果取决于指针中的相对位置 指向的对象的地址空间。如果两个指向对象或不完整类型的指针都 指向同一个对象，或者都指向同一个数组对象的最后一个元素， 他们比较相等。如果指向的对象是同一个聚合对象的成员， 指向稍后声明的结构成员的指针比较大于指向成员的指针 在结构的前面声明，以及指向具有较大下标的数组元素的指针 值比较大于指向具有较低下标的同一数组的元素的指针 价值观。所有指向同一个联合对象成员的指针比较相等。如果 表达式 P 指向数组对象的元素，表达式 Q 指向 同一个数组对象的最后一个元素，指针表达式Q+1比较大于 P. 在所有其他情况下，行为未定义。

我将最后一句加粗，因为这适用于这里。

Answer 2

如果您使用比较而不是减法，您可以坚持使用 void 指针：以下适用于简单测试：

int int_cmp( const void *pa, const void *pb )
{
    const void* a = *(void**)pa ;
    const void* b = *(void**)pb ;

    if( a < b ) return -1 ;
    if( a > b ) return  1 ;
    return 0 ;
}