¿Diferencia entre puntero a puntero y puntero a matriz?

Question

Teniendo en cuenta que el nombre de un array es en realidad un puntero al primer elemento de una matriz, el siguiente código:

#include <stdio.h> 

int main(void) 
{ 
    int a[3] = {0, 1, 2}; 
    int *p; 

    p = a; 

    printf("%d\n", p[1]); 

    return 0; 
} 

impresiones 1, como se esperaba.

Ahora, dado que yo puedo crear un puntero que apunta a un puntero, escribí lo siguiente:

#include <stdio.h>                

int main(void)                 
{                    
     int *p0;                 
     int **p1;                
     int (*p2)[3];               
     int a[3] = {0, 1, 2};             

     p0 = a;                 
     p1 = &a;                 
     p2 = &a;                 

     printf("p0[1] = %d\n(*p1)[1] = %d\n(*p2)[1] = %d\n",      
         p0[1], (*p1)[1], (*p2)[1]);        

     return 0;                
} 

esperaba que compilar e imprimir

p0[1] = 1 
(*p1)[1] = 1 
(*p2)[1] = 1 

Pero en cambio, se va mal en tiempo de compilación, decir:

test.c: In function ‘main’: 
test.c:11:5: warning: assignment from incompatible pointer type [enabled by default] 

¿Por qué esa asignación es incorrecta? Si p1 es un puntero a un puntero a un int y a es un puntero a un int (porque es el nombre de una serie de int s), ¿por qué no puedo asignar a &ap1?

Answer 1

línea 11 es

 p1 = &a; 

donde p1 tiene tipo int ** y a tiene el tipo int[3], ¿verdad?

Bueno; &a tiene tipo int(*)[3] y ese tipo no es compatible con int** como el compilador te dijo

Es posible que desee probar

 p1 = &p0; 

Y leer the c-faq, en particular la sección 6.

En resumen: matrices no son punteros, y punteros no son matrices.

Answer 2

Para muchas operaciones, a implica y ambas devuelven lo mismo: la dirección del primer elemento en la matriz.

No puede obtener la dirección del puntero porque la variable no almacena el puntero. a no es un puntero, aunque en algunos casos se comporta como uno.

Answer 3

a no es un puntero a int, se desintegra a tales en ciertas situaciones. Si &a fue del tipo int **, no podría usarlo para inicializar p2, ¿verdad? Para obtener el efecto que desee, debe hacer p1 = &p0;. "puntero a puntero" significa "en esta dirección, encontrará un puntero". Pero si nos fijamos en la dirección &a, encontrará una matriz (obviamente), por lo que int ** no es del tipo correcto.