#C++小trick# 指针数组与数组的指针：int *a[3]；和int (*a)[3]；的区别

指针数组

一个数组里面会包含不同元素，这些元素都是有类型的，比如：int a[3];中a所包含的元素都是int型的。

而指针也是一种类型，我们也可以声明数组中包含的每个元素都是指针。我们怎么做呢？

如下：

int *a[3];//a是个数组，这个数组包含3个元素，每个元素都是int*类型，也就是指向整型数据的指针类型。

我们来看看数组a的类型是否是int*[3]型：

#include <iostream>
int main()
{
 int* a[3];//a里面包含3个元素，里面每个元素都是指针。也可以这么写：int *a[3];或int * a[3]; 
 std::cout << std::is_same_v<decltype(a), int*[3]> << std::endl;
}

结果正确：

我们可以用指针数组来干嘛？

可以用指针来初始化数组：

int a=10,b=20,c=30;
int*p[3]={&a,&b,&c};

再如：

数组的指针

int (*a)[3];//a是一个指向数组的指针，此数组有3个int类型的元素。如果对a解引用之后，a指针包含3个元素，每个元素都是int型数组

下面这样无法编译，因为a是指针，指针不能这样初始化：

int (*a)[3] = {&x1, &x2, &x3};//无法编译。

指针怎么初始化？如下：

int a[3]={1,2,3}; //p就是指向这个数组a的指针。
int(*p)[3]=&a; // 这里赋值一定要用取地址符号。也就是取数组a的地址。

复杂一点：

#include <iostream>
int main()
{
 int b[3];//对数组b缺省初始化
 int (*a)[3] = &b;//使用数组b来对指针进行初始化，这样整个程序是可以运行的。
 *a;//解引用
}

换句话说，使用*a对a进行解引用，得到的数组b的类型还是int[3]。那么当前a的类型是？代码看看：

#include <iostream>
int main()
{
 int (*a)[3];//使用数组b来对指针进行初始化，这样整个程序是可以运行的。
 std::cout << std::is_same_v<decltype(a), int*[3]> << std::endl;//int*[3]表明了这是一个数组，这个数组当中有3个元素，每个元素都是Int型指针，这和我们刚刚强调的int (*a)[3];不一样，因为a首先是一个指针。
}

int*[3]表明了这是一个数组，这个数组当中有3个元素，每个元素都是int型指针，这和我们刚刚强调的int (*a)[3];不一样，因为a首先是一个指针。故a的类型不是int*[3]。

a首先是一个指针，此时a的类型是int(*)[3],为什么？a的类型首先来讲是个指针，指针解引用之后，是包含3个元素的数组。验证如下：

#include <iostream>
int main()
{
 int (*a)[3];//使用数组b来对指针进行初始化，这样整个程序是可以运行的。
 std::cout << std::is_same_v<decltype(a), int(*)[3]> << std::endl;//此时a的类型是int(*)[3],为什么？a的类型首先来讲是个指针，指针解引用之后，是包含3个元素的数组（数组b）。
}

以上，此时a的类型是int(*)[3],为什么？a的类型首先来讲是个指针，指针解引用之后，是包含3个元素的数组（数组b）。

在int(*)[3]中的*加括号，明确表示*号修饰的是a这个对象，和int型不再关联起来。

故我们在有些时候，把数组和指针放到一起用时，要注意我们到底声明的是指针的数组还是数组的指针。（指针的数组终究还是数组，数组的指针终究还是指针）