char* arrays 的隐含衰减是什么？

Question

作为一个新手，我正在解决 K&R 的指针章节中的一个问题，并且对字符指针的某些方面感到困惑，并将一个 char* 类型的数组作为 function 参数传递。

我明白的字符数组衰减

前任：

    void main( )
    {
        char a[ ] = "Howdy";

        tryMe(a);
    }

所以这里传递的 function 参数是&a[0]

    void tryMe( char* s  )
    {
        printf("value I need: %c \n", *s);
    }

所以这将是s = &a[0];

现在使用上述理解，我尝试对 char* 类型的数组执行相同的操作。 使用相同的 function tryMe(char*)

前任：：

    char a[ ] = "Howdy";
    char b[ ] = "Doodie";

    char* a1 = a;
    char* b1 = b;

    char* AP[ ] = { a1 , b1 };

    //  now to pass array AP into the function tryMe::

   tryMe(AP);

这是我收到警告的地方：

警告：从不兼容的指针类型 [-Wincompatible-pointer-types] 传递“tryMe”的参数 1

我不确定发生了什么，但我确实通过执行以下操作使其正常工作：

从更改 function 定义

tryMe(char*) 到 tryMe(char**)

这很好用。

另一个有效的解决方案是：

Function 定义保持不变::

无效 tryMe(char*)

但是在传递 function 参数时，它如下所示：

    void tryMe( char* s[ ]  )
    {
       ;
    }

尽管上述这些更改按我的意愿工作，但我不知道它们为什么工作

我真的很感激任何关于这些的指导。

Answer 1

char* AP[ ] = { a1, b1 }; 将AP定义为包含两个char *的数组。 所以AP不是一个char数组。 在tryMe(AP); ，数组AP被转换为指向其第一个元素&AP[0]的指针。 由于它的第一个元素是char * ，指向它的指针具有char **类型。

char **不适合作为char *类型参数的参数传递，因此编译器会抱怨。

要传递 arrays 之一（通过指向其第一个元素的指针），您可以使用tryMe(AP[0])或tryMe(AP[1]) 。

如果您将 function 定义更改为具有char **类型的参数，那么例如char **x ，当您传递AP时，function 将收到指向AP的第一个元素的指针。 要获取相关数组中的字符，它必须多次取消引用指针： x是指向char *的指针， *x是char * ， **x是一个字符。

或者， x是指向数组第一个元素的指针， x[0]和x[1]是该数组中的char *元素， x[0][0]是指向的字符串的第一个字符第一个char * ， x[1][4]是第二个char *指向的字符串的第四个字符，依此类推。