关于双指针和三指针/双维数组

Question

所以,我正在玩C指针和指针算术,因为我对它们不太满意.我想出了这段代码.

char* a[5] = { "Hi", "My", "Name", "Is" , "Dennis"};
char** aPtr = a; // This is acceptable because 'a' is double pointer
char*** aPtr2 = &aPtr; // This is also acceptable because they are triple pointers
//char ***aPtr2 = &a // This is not acceptable according to gcc 4.8.3, why ?

//This is the rest of the code, the side notes are only for checking
printf("%s\n",a[0]); //Prints Hi
printf("%s\n",a[1]); //Prints My
printf("%s\n",a[2]); //Prints Name
printf("%s\n",a[3]); //Prints Is
printf("%s\n",a[4]); //Prints Dennis

printf("%s\n",*(a+0)); //Prints Hi
printf("%s\n",*(a+1)); //Prints My
printf("%s\n",*(a+2)); //Prints Name
printf("%s\n",*(a+3)); //Prints Is
printf("%s\n",*(a+4)); //Prints Dennis

printf("%s\n",*(*(aPtr2) +0)); //Prints Hi 
printf("%s\n",*(*(aPtr2) +1)); //Prints My // ap = a, *ap = *a, *(ap)+1 = *a+1 ?
printf("%s\n",*(*(aPtr2) +2)); //Prints Name
printf("%s\n",*(*(aPtr2) +3)); //Prints Is
printf("%s\n",*(*(aPtr2) +4)); //Prints Dennis

char*** aPtr2 = &a 根据gcc 4.8.3是不可接受的,为什么？

抱歉忘了添加编译器警告:

警告:从不兼容的指针类型初始化[默认启用]

可能不清楚我想说什么,所以我不得不添加这个链接:

• 这是有效的代码:http://ideone.com/4ePj4h.(第7行注释掉)
• 这是不起作用的代码:http://ideone.com/KMG7OS.(第6行注释掉)

注意注释掉的行.

Answer 1

这来自 C 处理数组和地址的方式：

int a[5];

a类型为int * consttrue，这意味着您可以在需要指针的地方使用它。但是，在堆栈上，未分配指针的空间，仅分配五个整数的空间。含义a与 相同&a[0]。这一切都在意料之中，但奇怪的部分来了：

a是相同的&a。这是因为指针没有存储在任何地方，您无法获取它的地址。但 C 标准并没有编译失败，而是只是说它们是相同的，因此某些算术可以工作。

然而，既然你正在做char ***aPtr2 = &a;，你实际上正在做char ***aPtr2 = a;，这就是你得到段错误的原因。它只是一个双指针，而不是三指针。

您可以检查调试器中的所有值以更清楚地看到它，或者运行如下程序：

#include <stdio.h>

int main(void)
{
    char *a[5] = { "Hi", "My", "Name", "Is" , "Dennis"};
    char **aPtr = a; 
    char ***aPtr2 = &aPtr;
    char ***aPtr3 = &a; 

    printf("%p %c\n", a, *a);
    printf("%p %p %c\n", aPtr, *aPtr, **aPtr);
    printf("%p %p %p %c\n", aPtr2, *aPtr2, **aPtr2, ***aPtr2);
    printf("%p %p %c\n", aPtr3, *aPtr3, **aPtr3);

    return 0;
}

产生输出：

0xfff65578 H
0xfff65578 0x8048648 H
0xfff65574 0xfff65578 0x8048648 H
0xfff65578 0x8048648 H

编辑：另一件有趣的事情是函数指针以相同的方式处理。&func是相同的func。

int add(int a, int b) { return a + b; }
typedef int (*PFUNC)(int, int);

PFUNC p1 = add;
PFUNC p2 = &add;
if (p1 == p2) 
     printf("Huh. %d, %d\n", (*p1)(1,2), p2(3, 4)); // the dereference is also optional