C++ 中的空指针

Question

我写了这个 qsort：

void qsort(void *a[],int low,int high, int (*compare)(void*,void*));

当我调用它时，

char *strarr[5];

它说从 char** 到 void** 的转换无效。为什么这是错误的？

这是代码：

#include<cstdlib>
#include<cstdio>
#include<iostream>

using namespace std;

inline void strswap(void *a,void *b) {
    char *t=*(char**)a;
    *(char**)a=*(char**)b;
    *(char**)b=t;
}

int strcompare(void *a, void *b) {
    return strcmp(*(char**)a,*(char**)b);
}

void qsort1(void *a[],int low,int high, int (*compare)(void*,void*), void (*swap)(void*,void*)) {
    if(low>=high)
        return;
    int q=low-1;
    for(int i=low;i<=high-1;i++)
        if((*compare)(&a[i],&a[high]) < 0)
            swap(&a[i],&a[++q]);
    swap(&a[high],&a[++q]);
    qsort1(a,low,q-1,compare,swap);
    qsort1(a,q+1,high,compare,swap);
}

int main() {
    const  int n=3;
    //int a[n]={4,6,8,12,10,9,8,0,24,3};
    char *strarr[5]={"abcd","zvb","cax"};
    qsort1(strarr,0,n-1,strcompare,strswap);
    for(int i=0;i<n;i++)
        cout << strarr[i] << " ";
    cout << endl;
    return 0;
}

Answer 1

允许从任何指针类型到 void * 的隐式转换，因为 void * 被定义为具有足够范围的指针类型，可以表示任何值任何其他指针类型都可以。 （从技术上讲，仅限其他对象指针类型，不包括指向函数的指针）。

但这并不意味着 void * 具有与任何其他指针类型相同的大小或表示形式：将指针从其他指针类型转换为 void * 不一定保持底层表示不变。从 double * 转换为 void * 就像从 double 转换为 int - 它必须完全发生从编译器的角度来看，您无法隐藏编译器背后的转换。

因此，这意味着虽然 void * 是通用指针，但 void ** 不是通用指针到指针。它是一个指向 void * 的指针 - void ** 指针应该只指向真正的 void * 对象（而 void *< /code> 本身可以指向任何内容）。

这就是为什么 type ** 和 void ** 之间没有隐式转换的原因 - 与 double * 之间没有隐式转换的原因相同和int *。

现在，有一种特殊情况：由于历史原因，char * 保证与 void * 具有相同的大小、表示和对齐要求。这意味着 char ** （特别是）和 void ** 之间的转换实际上是可以的，作为一般规则的例外。因此，在您的特定情况下，如果您在将 strarr 传递给 qsort1( 时向 void ** 添加强制转换，则您的代码是正确的）。

但是，您的 qsort1() 仅定义为在 void * 或 char * 数组（包括 unsigned char *< /代码> 等）。例如，您不能使用它对双 * 指针数组进行排序（尽管它实际上可以在当今最常见的环境中工作）。

Answer 2

任何指针都可以隐式转换为 void 指针。但是您的第一个参数不是 void 指针 - 它是一个 void 指针数组，并且没有对此进行隐式转换。您可能想将您的函数声明为：

void qsort(void *,int low,int high, int (*compare)(void*,void*));

但在没有看到代码的情况下很难说。