C语言字符串指针比较函数中**二级指针的作用是什么

核心疑问：二级指针（**）的作用 #

这个函数基本都是配合C标准库的qsort通用排序函数使用的，要搞懂二级指针的来源，只要记住qsort比较回调的固定传参规则就行：

• qsort遍历数组时，传给比较函数的两个参数a、b，永远是指向数组内两个待比较元素的指针，不是元素本身。

举两个对比例子就清楚了：

• 如果排序int类型数组，数组元素是int，那传进来的a/b就是int*类型，需要强转成int*后解引用，才能拿到实际的整数值比较。
• 如果排序字符串指针数组（也就是元素类型为const char*的数组，每个元素存的是指向字符串首字符的指针），那传进来的a/b自然就是指向const char*的指针，也就是const char**二级指针，这就是代码里**写法的根本原因。

逐行代码执行逻辑 #

对应给出的代码：

int compare(const void *a, const void *b)
{
    const char **str_a = (const char **)a;
    const char **str_b = (const char **)b;
    return strcmp(*str_a, *str_b);
}

执行流程如下：

1. 函数用const void*类型做参数，是通用排序接口的要求——qsort不感知具体数组元素类型，统一用无类型指针传参。
2. 前两行强转操作：把无类型的a、b还原成实际的类型，也就是指向数组中const char*元素的二级指针。
3. 最后返回逻辑：对二级指针做一次解引用（*str_a、*str_b），就拿到了数组里存储的真实字符串首地址，这个地址正好是字符串比较函数strcmp要求的入参类型。直接调用strcmp按字典序比较两个字符串，返回值完全符合qsort对回调的返回值要求：
   • 返回值小于0：第一个字符串字典序更小，排在前面
   • 返回值等于0：两个字符串完全相等
   • 返回值大于0：第一个字符串字典序更大，排在后面

常见踩坑点 #

不要直接把a、b强转成const char*传给strcmp：a指向的内存存的是字符指针，不是字符本身，直接传会让strcmp把指针值误判为字符串内容读取，大概率触发段错误。

举个实际调用场景：定义字符串数组const char* fruits[] = {"apple", "banana", "cherry"};，调用qsort(fruits, 3, sizeof(const char*), compare)时，比较"apple"和"banana"的过程中，qsort传给compare的两个参数实际是&fruits[0]和&fruits[1]，类型天然就是const char**，强转后解引用拿到的就是fruits[0]、fruits[1]存储的字符串首地址，正好满足strcmp的入参要求。

内容的提问来源于stack exchange，提问作者Nitin Bhartiya