c++数组指针和指针数组的深入理解

一：指针数组

写法：int* p[10]；//*p未用括号括起来，说明[]的优先级高，p先和[]结合成数组，在被前面的*定义为一个指针类型的数组。

  顾名思义：就是一个指针类型的数组，既然是指针类型的数组，所以数组中存放的元素就是一个个指针，这就决定了我们不能随便为其赋值。废话少说，上代码。

tip1.透过代码看本质。 

int* p[10] = {1};//这样为其初始化就会报错，因为数组里面的元素全是指针类型，不能用整型为其初始化。
int* p[10] = { NULL };//这样做就不会报错，还是因为里面都是指针类型的元素。

tip2：不能为其随便赋值，因为指不定那个指针指向哪，你怎么能随便就往人家原来的内存块里写东西。

int* p[10] = { NULL };
*p[0] = 1;//报错，

tip3：内存示意图

tip4：灵活运用的小案例

//如要将二维数组赋给一指针数组:
	int* p[3];
	int a[3][4];

	for (int i = 0; i < 3; i++)
		p[i] = a[i]
//这里int * p[3] 表示一个一维数组内存放着三个指针变量，分别是p[0]、p[1]、p[2]
//所以要分别赋值。

 

二：数组指针

顾名思义：就是数组的一个指针，先定义一个数组，再让一个指针指向他。

数组指针（也称指向一维数组的指针，也称行指针） 定义语法： int (*p)[n]; //n是一行里有几个元素，也就是列数
//()优先级高，首先说明p是一个指针，指向一个整型的一维数组，这个一维数组的长度是n，也可以说是p的步长。也就是说执行p+1时，p要跨过n行的长度。

tip1.将二维数组赋给一个指针 

如要将二维数组赋给一指针
int a[3][4] = { {1,2,3,4},{5,6,7,8},{9,10,11,12} };
int (*p)[4]; //该语句是定义一个数组指针
 p=a;        //将该二维数组的首地址赋给p，也就是a[0]或&a[0][0]，下面会有一个小片段简介名字和首地址的关系。
 p++;       //该语句执行过后，也就是p=p+1;p跨过行a[0][]指向了行a[1][]

tip2：验证p指向的内容

for (int i = 0; i < 3; i++) {
		cout << p[i] << " ";
		p++;
	}

看下图，可以看出连续的三个行指针。且每两个之间恰好相差16个字节，正好把我那每行四个整型数据存进去。 

 

for (int i = 0; i < 3; i++) {
			cout <<* p[0] << " ";//解引用，看看他到底输出那个元素。我们想让他输出每行第一个元素
			p++;
	}

 

根据结果，确实是每行的第一个元素，说明p++直接就是一次跨行  ，//该语句执行过后，也就是p=p+1;p跨过行a[0][]指向了行a[1][]。

 

三：名字和首地址的关系：

void test01(){
	//验证名称首地址的测试块，下面那三种写法表示相同的地址（均为首元素的地址）
	  int arr[3][3]={{1,2,3},{4,5,6},{7,8,9}};
      cout<<"&arr[0][0]: "<<&arr[0][0]<<endl;
      cout<<"arr:        "<<arr<<endl;
      cout<<"arr[0]:     "<<arr[0]<<endl;
}

 

再深入的讲：

既然都是首地址，那到底有没有区别哪？

答案是有的。

现在再来看看下面的代码：

int main()
{
   char a[5]={'A','B','C','D'};
   char (*p3)[5] = &a;//正确
   char (*p4)[5] = a;//错误
   return 0;
}

 

 p3 和p4 都是数组指针，指向的是整个数组。&a 是整个数组的首地址，a是数组首元素的首地址，其值相同但意义不同。

下面那个不正确的原因也就很显而易见了，就=就是我们不能把一个元素的首地址给了赋给数组类型。