一个结构体指针数组内存分配问题引发的思考

一个结构体指针数组内存分配问题引发的思考

为了在程序运行过程中，将两个结构体数组合并成一个大的结构体，在节省空间的基础上，我使用一个大的结构体指针数组，来将其元素分别指向结构体数组中的结构体。

实现过程中，发现这个结构体指针数组的大小是不能确定的，所以使用变长数组来声明，由于gcc编译器未支持C99标准，所以编译无法通过。

进而，我使用malloc来在运行过程中分配内存。具体代码思想如下（私人原因，只贴demo）：

int i,j,m,n;
    scanf("%d%d",&m,&n);
    int **a;
    a=(int**)malloc(sizeof(int*)*m);
    for(i=0;ii)
    a[i]=(int *)malloc(sizeof(int)*n);

上述代码，使用二维指针，来实现指针数组的空间分配。接下来再使用一级指针指向不同的内存空间。

任务完成。

任何存储空间，均可以通过malloc函数生成。指针数组也不例外。

以下是一个生成10个char*型的指针数组的代码，要存储char*型的数组，其数组名，即指针类型，必须为char**型。

char ** p;
p = (char **) malloc(sizeof(char *) * 10);

这里需要注意两个地方：

1.指针的强制转换。

malloc的返回值为void*型，所以在赋值给char**型时，要强制转换为目标类型。部分编译器对此检查不严格，但为了可移植性，还是加上强制转换为好。

2.malloc参数的确定。

malloc参数值为申请内存空间的大小，每个char *型的空间为sizeof(char *), 10个空间就再乘10。

一般来说，无论是何种类型TYPE,在申请时均可以写作

TYPE * p = (TYPE*)malloc(sizeof(TYPE) * N);

我突然想到之前的一篇文章，二级指针加减与一级指针加减的区别，连接如下：

https://www.cnblogs.com/zzdbullet/p/9493369.html

进而，回顾

数组指针与指针数组

数组指针（也称行指针）

定义 int (*p)[n];

()优先级高，首先说明p是一个指针，指向一个整型的一维数组，这个一维数组的长度是n，也可以说是p的步长。也就是说执行p+1时，p要跨过n个整型数据的长度。

如要将二维数组赋给一指针，应这样赋值：

int a[3][4];

int (*p)[4]; //该语句是定义一个数组指针，指向含4个元素的一维数组。

p=a;        //将该二维数组的首地址赋给p，也就是a[0]或&a[0][0]

p++;       //该语句执行过后，也就是p=p+1;p跨过行a[0][]指向了行a[1][]

所以数组指针也称指向一维数组的指针，亦称行指针。

指针数组

定义 int *p[n];

[]优先级高，先与p结合成为一个数组，再由int*说明这是一个整型指针数组，它有n个指针类型的数组元素。

这里执行p+1时，则p指向下一个数组元素，这样赋值是错误的：p=a；因为p是个不可知的表示，只存在p[0]、p[1]、p[2]...p[n-1],而且它们分别是指针变量可以用来存放变量地址。

但可以这样 *p=a; 这里*p表示指针数组第一个元素的值，a的首地址的值。

如要将二维数组赋给一指针数组:

int *p[3];
int a[3][4]; p++; //该语句表示p数组指向下一个数组元素。注：此数组每一个元素都是一个指针
for(i=0;i<3;i++)
p[i]=a[i] //这里int *p[3] 表示一个一维数组内存放着三个指针变量，分别是p[0]、p[1]、p[2]

所以要分别赋值。

数组指针只是一个指针变量，似乎是C语言里专门用来指向二维数组的，它占有内存中一个指针的存储空间。

指针数组是多个指针变量，以数组形式存在内存当中，占有多个指针的存储空间。

还需要说明的一点就是，同时用来指向二维数组时，其引用和用数组名引用都是一样的。

比如要表示数组中i行j列一个元素：

*(p[i]+j)、*(*(p+i)+j)、(*(p+i))[j]、p[i][j]

//优先级：()>[]>*

指针数组和数组指针的内存布局

指针数组：首先它是一个数组，数组的元素都是指针，数组占多少个字节由数组本身的大小决定，每一个元素都是一个指针，在32 位系统下任何类型的指针永远是占4 个字节。它是“储存指针的数组”的简称。

数组指针：首先它是一个指针，它指向一个数组。在32 位系统下任何类型的指针永远是占4 个字节，至于它指向的数组占多少字节，不知道，具体要看数组大小。它是“指向数组的指针”的简称。


考虑

int *p1[10];

和

int (*p2)[10];

“[]”的优先级比“*”要高。p1 先与“[]”结合，构成一个数组的定义，数组名为p1，int *修饰的是数组的内容，即数组的每个元素。那现在我们清楚，这是一个数组，其包含10 个指向int 类型数据的指针，即指针数组。至于p2 就更好理解了，在这里“（）”的优先级比“[]”高，“*”号和p2 构成一个指针的定义，指针变量名为p2，int 修饰的是数组的内容，即数组的每个元素。数组在这里并没有名字，是个匿名数组。那现在我们清楚p2 是一个指针，它指向一个包含10 个int 类型数据的数组，即数组指针。

 

参考：

https://zhidao.baidu.com/question/502973775.html

https://blog.csdn.net/qq_40828914/article/details/78506281

http://www.cnblogs.com/dragondove/p/6387682.html

https://www.cnblogs.com/mq0036/p/3382732.html

 

posted @ 2019-02-14 11:21 小时候挺菜 阅读( ...) 评论( ...) 编辑 收藏