C++ 指针和引用、数组和指针、数组形参

====================================================||

欢迎讨论技术的可以相互加微信：windgs (请备注csdn+xx职业)

====================================================||

目录

欢迎讨论技术的可以相互加微信：windgs (请备注csdn+xx职业)

1. 指针和引用

引用

指针

​

2. 指针和数组

auto与数组

decltype与数组

下标和指针

数组元素的个数

指向数组的指针

3. 数组形参

 

传递数组的引用

传递数组的指针

---

 

---

今天突然间看到一篇文章讲解指针和引用还有数组、指针、数值形参等，但是里面都是错误的，直接对指针进行指针+1，把指针的地址都给做偏移了，相信误导了很多的同学。所以随便写了下，希望对各位有点用处，不懂之处可以留言或者加wx

1. 指针和引用

引用

只是对象的别名。定义引用时，程序把引用和它的初始值绑定在一起，而不是将初始值拷贝给引用。定义一个引用之后，对该引用的所有操作都是在与之绑定的对象上进行的。

存在引用的引用、指针的引用

指针

就是内存的一块地址编号，存储这各种对象，所以存在对指针的引用。如，

存在指针的指针、引用的指针（形参的时候不可以）

int i = 42;
int *p = &i;
int *&r = p;

解析：离变量名最近的符号（此处是&）对变量有最直接的影响，因此 r 是一个引用。声明符的其余部分用以确定 r 引用的类型是什么，此例中的 int * 说明 r 引用的是int类型的指针。

例子：修改指针的值

2. 指针和数组

数组有一个特性：在很多用到数组名字的地方，编译器都会自动将其替换为一个指向数组首元素的指针！如，

auto与数组

当使用数组作为一个auto变量的初始值时，推断得到的类型是指针，而非数组！如，

int ia[] = {0,1,2};
auto ia2(ia);        // ia2 是一个int指针，指向ia的第一个元素！

decltype与数组

与之相反，当使用decltype关键字时，上述转换不会发生，decltype推断得到的类型就是原表达式真实的类型。

int A[] = { 0,1,2 };

decltype(A) B;        // B是一个数组，其大小为3
B[0] = 1;
B[1] = 2;
B[2] = 3;

for (auto i = begin(B); i != end(B); ++i) {
    cout << *i << " ";
}
cout << endl;

结果：1,2,3

下标和指针

对数组执行下标运算其实就是对指向数组元素的指针执行下标运算。如，

 

int *p = &A[2];
int i = p[-2];        // 其实就是 i=*(p-2)

内置的下标运算符所使用的索引值可以是负数。

数组元素的个数

指向数组的指针

首先，要讲一下多维数组：多维数组实际上是数组的数组，即数组的元素类型是数组。如，

int A[3][4];
A 是一个数组，大小为3，元素类型为 int[4]，即元素类型为大小为4的 int数组。

多维数组名转换得来的指针实际上是指向第一个内层数组的指针：

int *ptrs[10];            // 指针数组

int (*p)[4] = A;        // 指向数组的指针
p = &A[2];

默认情况下，类型修饰符从右向左依次绑定。对 ptrs 来说，从右向左理解为：首先，[10] 说明我们定义的是一个大小为10的数组，它的名字为 ptrs，然后int*说明数组中存放的是指向int 的指针。
当声明带上了括号后，等于拥有了最先解释权：首先，圆括号括起来的部分(*p)说明p是一个指针，剩余部分则说明了指针所指向的对象的类型，此处是int[4]，即大小为4的int数组；所以p是一个指针，指向一个大小为4的int数组。此处圆括号不可少！

3. 数组形参

注意，不存在元素类型为引用的数组！所以如下声明是错误的。

int &refs[10] = /* ? */;

引用一个数组：数组本身就是对象，所以允许定义数组的引用。如，

int B[4];
int (&ref)[4] = B;        // 引用一个大小为4的int数组

解释过程和指向数组的指针一样。首先看圆括号部分，(&ref)说明ref是一个引用，其余部分int[4]说明了ref引用的是一个大小为4的int数组。

 

使用数组时通常会将其转换为指针，所以当我们传递一个数组时，实际上传递的是指向数组首元素的指针。即使显式指定了数组大小，也没有用，因为编译器会忽略它！如下三个函数声明是等价的：

void print(const int*);
void print(const int[]);
void print(const int[10]);        // 都是一样编辑器已经做处理

以上函数的形参都是 const int* 类型的。数组的大小对该函数的调用没有影响。

通常情况下，可以显式传递一个表示数组大小的形参、或传递指向数组首元素和尾后元素的指针来解决以上问题。

void print(const int A[], size_t size);
void print(const int *beg, const int *end);

传递数组的引用

形参可以是数组的引用。此时，引用形参绑定到对应的实参上，也就是绑定到某个数组上。

// 维度是类型的一部分
void print(int (&arr)[10]);

传递数组的指针

数组不允许拷贝，所以我们无法以传值方式使用数组形参。

和所有数组一样，当将多维数组传递给函数时，真正传递的是数组首元素的指针。此时，传递的指针就是一个指向数组的指针，数组的第二维度的大小是数组类型的一部分，不能省略。

 

void print(int (*matrix)[10], int rowSize);

也可以使用数组的语法定义函数，此时编译器会一如既往地忽略掉第一个维度，所以最好不要把它包含在形参列表内：

void print(int matrix[][10], int rowSize);