C中的QSORT函数

Question

在下面的代码中，一旦删除了比较字符串的注释部分，就会出现seg 11错误。 我不明白为什么！ 其余代码工作正常。 任何帮助表示赞赏！

#include <stdio.h>
#include <stdlib.h>
#include <string.h>

int compare_scores_desc(const void* scorea, const void* scoreb){
int a = *(int*)scorea;
int b = *(int*)scoreb;
return a-b;
}

int compare_names(const void* namea, const void* nameb){
char** a = *(char**)namea;
char** b = *(char**)nameb;
return strcmp(*a,*b);
}

int main(int argc, char* argv[]){
int scores[7] = {456,234,65,563,67,19,100};
int i;
qsort(scores,7,sizeof(int),compare_scores_desc);
puts("\nThese are the scores in order : \n");
for(i=0;i<7;i++)
    printf("%i\n",scores[i]);
char *names[] = {"Krishna","Rama","Bhishma","Arjuna"};
/*qsort(names,4,sizeof(char*),compare_names);*/
puts("------------------");
puts("The names in order are : \n");
for(i=0;i<4;i++)
    printf("%s\n",names[i]);
return 0;
}

Answer 1

在compare_names() ，您在转换后不适当地取消引用了参数。 局部变量的类型为char **类型，但是您正在将参数强制转换为char **并取消引用，从而导致char * 。

namea和nameb是指向在main()声明的数组names[]的元素的指针。 这意味着它们的类型实际上是指向char *指针。 当您取消引用这些参数但将它们分配给char ** ，会导致局部变量将char *视为char ** （您的编译器应已针对此问题发出诊断警告）。 现在，您获取一个为char *的指针值，并在将其传递给strcmp()时取消引用。 这导致程序将字符串的sizeof(char *)字节视为strcmp()函数的指针值。 由于由可打印字符组成的4或8个字节（或任何sizeof(char *)是sizeof(char *)被重新解释为指针值的字节很少产生有效的指针，因此当strcmp()尝试使用这些指针时，会发生分段错误。

一种可能的解决方法是在初始化局部变量时不取消引用。 但是，参数是const void * ，因此，如果将局部变量声明为const类型的指针，则可以完全避免进行const ：

int compare_names(const void* namea, const void* nameb){
char* const * a = namea;
char* const * b = nameb;
return strcmp(*a,*b);
}

请注意，如果a - b导致有符号整数溢出，则compare_scores_desc()实现将失败。 例如，如果a为INT_MAX且b为-1 。 您应该修复您的实现以在所有情况下都可以使用。

int compare_scores_desc(const void* scorea, const void* scoreb){
const int *a = scorea;
const int *b = scoreb;
return (*a > *b) - (*a < *b);
}

Answer 2

问题出在您的字符串比较函数中，这可能是修复它的最小方法：

int compare_names(const void* namea, const void* nameb){
char* a = *(char**)namea;
char* b = *(char**)nameb;
return strcmp(a,b);
}

namea和nameb参数是指向字符串向量的指针。 您了解这一点，这就是为什么使用char **类型的原因。

但是，该函数要做的就是从该数组中检索char *指针。 这些char *指针已经是字符串。 您不必再次取消引用它们； 只需将它们传递给strcmp 。

您的原始代码有违反约束的情况，需要进行诊断。 那应该告诉你：

/* originally */
char** a = *(char**)namea; /* error: initialization from incompatible type */

您正在取消引用产生char *的char ** ，但是您将其再次存储在char **并再次取消引用，从而错误地将字符数据视为指针。