你真的明白数组指针和指针数组吗

使用数组指针时为什么出错了？

最近写了一个小demo，使用数组指针的时候就出错了，先来看看demo，你能发现问题吗？

#include <stdio.h>
#include <stdlib.h>
#include <string.h>
#include <unistd.h>
#include "list.h"
#define MAX_LEN 4
typedef struct TestInfo{
	char 				name[8];
	int 				value;
    struct list_head    list;
}test_info_t;
typedef struct Test{
	char 	*name;
	int 	index;
	struct list_head list;	//记录n个test_node_t
}test_t;
test_t (*p)[MAX_LEN] = NULL;
test_t *p2[MAX_LEN] = {0};
int count = 0;

test_t *get_info_1(test_t *info)
{
	if (p == NULL){
		p = malloc(sizeof(test_t) * MAX_LEN);
		if (p == NULL)
			return NULL;
		for (int i = 0; i < MAX_LEN; i++)
		{
			p[i]->name = "test";
			p[i]->index = i;
			INIT_LIST_HEAD(&p[i]->list);
			for (int j = 0; j < MAX_LEN; j++)
			{
				test_info_t *info = malloc(sizeof(test_info_t));
				strcpy(info->name, "info");
				info->value = (i + 1) * j;
				list_add(&info->list, &p[i]->list);
			}
		}
		return p[0];
	}
	else
		return ++count < MAX_LEN ? p[count] : NULL;
}

int main(int argc, char* argv[])
{
	test_t *test = NULL;
	while (1)
	{
		test = get_info_1(test);
		if (test == NULL)
			break;
		printf("name=%s : index=%d\n", test->name, test->index);
		test_info_t *info;
		list_for_each_entry(info, &test->list, list){
			printf("name=%s,value=%d\n", info->name, info->value);
		}
	}
}

这里使用了一个全局数组指针p来保存数据，给p分配了内存，p = malloc(sizeof(test_t) * MAX_LEN);，用来存储4个test_t结构，然后遍历对每个test_t初始化。。
问题：程序大部分时间都加粗样式会崩溃（段错误）

数组指针

上面的例子为什么会段错误？发现问题了吗？来看看p的定义：

test_t (*p)[MAX_LEN] = NULL;

p是什么？数组指针？指针数组？
如果这样看呢

test_t [MAX_LEN] *p = NULL;

所以，p是一个指针，指向的是一个数组，拥有4个test_t元素的数组，所以p是数组指针
那么p[1] = *(p + 1),p+1跳过多少字节？sizeof(test_t)吗？错了，指针加1跳过的是指针指向的类型所占的字节数，p指向的是数组，那么这个数组占多少字节？4个test_t所占的字节，及4*sizeof(test_t)。所以当p[1]时指针已经越界了，所以会出现段错误。

指针数组

为了理解指针数组和数组指针，我们再来看一个例子

#include <stdio.h>
#include <stdlib.h>
#include <string.h>
#include <unistd.h>
#include "list.h"
#define MAX_LEN 4
typedef struct TestInfo{
	char 				name[8];
	int 				value;
    struct list_head    list;
}test_info_t;
typedef struct Test{
	char 	*name;
	int 	index;
	struct list_head list;	//记录n个test_node_t
}test_t;
test_t *p2[MAX_LEN] = {0};
int count = 0;
test_t *get_info_2(test_t *info)
{
	if ( info == NULL ){
		for (int i = 0; i < MAX_LEN; i++)
		{
			p2[i] = malloc(sizeof(test_t));
			p2[i]->name = "test";
			p2[i]->index = i;
			INIT_LIST_HEAD(&p2[i]->list);
			for (int j = 0; j < MAX_LEN; j++)
			{
				test_info_t *info = malloc(sizeof(test_info_t));
				strcpy(info->name, "info");
				info->value = (i + 1) * j;
				list_add(&info->list, &p2[i]->list);
			}
		}
		return p2[0];
	}
	else
		return ++count < MAX_LEN ? p2[count] : NULL;
}
int main(int argc, char* argv[])
{
	test_t *test = NULL;
	while (1)
	{
		test = get_info_3(test);
		if (test == NULL)
			break;
		printf("name=%s : index=%d\n", test->name, test->index);
		test_info_t *info;
		list_for_each_entry(info, &test->list, list){
			printf("name=%s,value=%d\n", info->name, info->value);
		}
	}
}

该demo的功能和开篇的demo功能相同，都是存储4个test_t结构。这个demo有问题吗？
答案是没有
因为p2是指针数组，本质上是数组，存储的是malloc分配的地址，及指针，通过下标对数组进行引用是没有问题的
不妨把p2的定义拆解一下

test_t* p2[MAX_LEN] = {0}

p2是一个数组，有4个元素，元素类型为test_t*

总结

数组指针

1、数组指针的定义：type (*p)[len] = NULL;
2、本质是指针，指向了一个数组，有len的type元素的数组，对p+1则会跳过sizeof(type*len)个字节

指针数组

1、指针数组的定义：type*  p[len] = {0};
2、本质是数组，数组有len个元素，元素类型为type *，对p+1则会跳过sizeof(type*)个字节，
即为一个指针所占的字节数