C 指针 数组指针类型，用数组名给指针赋值，编译warning: initialization from incompatible pointer type

参考[1] http://blog.chinaunix.net/uid-30254479-id-5066996.html

 

0.问题

用数组名给指针赋值warning: initialization from incompatible pointer type

示例代码如下：

int a[5]={1,2,3,4,5};
int (*p)[5]= a;

产生编译告警warning: initialization from incompatible pointer type。

代码修改如下后告警消失：

int a[5]={1,2,3,4,5};
int (*p)[5]= &a;

原因：
尽管a 和&a的值是一样的，都是数组的首地址，但是类型不一样:
a作为地址是 int *类型的，
&a地址是int (*)[5]类型的，
并且p也是int (*)[5]类型的

1.验证

#include

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

        printf("a = %p\n", a);
        printf("&a = %p\n", &a);
        printf("p = %p\n", p);
        printf("p+1 = %p\n", p + 1);

        int b[] = {1,2,3,4,5};
        int c[][3] = {{1,2,3},{4,5,6}};

        return 0;
}

输出：

a = 0xffffef350420
&a = 0xffffef350420
p = 0xffffef350420
p+1 = 0xffffef350434

int (*p)[5] = &a;

p是指向一个含有5个元素的一维数组的指针类型。

p++，或者p+1，将指向"含有5个元素的一维数组a"之后的地址。

 

int a[5] = {1,2,3,4,5};

int *p = a;  // 等价于int *p = a[0]; p是指向int类型的指针，p++，将指向数组的下一个元素2的地址。

int (*p)[5] = &a;  // 一维数组指针p指向整个一维数组a。p++，将指向"含有5个元素的一维数组a"之后的地址。

 

所以，定义二维数组是，要指定第二维的长度：

若：

int c[][] = {{1,2,3},{4,5,6}};

将产生编译错误：

c_pointer_type.c: In function ‘main’:
c_pointer_type.c:14:6: error: array type has incomplete element type
  int c[][] = {{1,2,3},{4,5,6}};
      ^