目录
指针和数组
数组名和指针的区别
多维数组
数组指针
语法
作用
内存大小
自增运算
【】运算
结论:数组的本质就是指针。数组的【】运算同样可以用指针来运算
证明
C++代码
int array[5];
int* ptr{ &array[0] };
*ptr = 5;
array[0] = 5;
array[1] = 5;
array[2] = 5;
汇编代码
int array[5];
int* ptr{ &array[0] };
002014F1 mov eax,4
002014F6 imul ecx,eax,0
002014F9 lea edx,array[ecx]
002014FD mov dword ptr [ptr],edx
*ptr = 5;
00201500 mov eax,dword ptr [ptr]
00201503 mov dword ptr [eax],5
array[0] = 5;
00201509 mov ecx,4
0020150E imul edx,ecx,0
00201511 mov dword ptr array[edx],5
array[1] = 5;
00201519 mov eax,4
0020151E shl eax,0
00201521 mov dword ptr array[eax],5
array[2] = 5;
00201529 mov ecx,4
0020152E shl ecx,1
00201530 mov dword ptr array[ecx],5
int array[5]; | array[1] = 5; |
int* ptr{ &array[0] }; | 19 : eax=4 |
002014F1 : eax=4 | 1E : eax<<0 |
002014F6 : exc=eax*0 | 21 : array[4]=5 |
F9 : edx=array[ecx] | array[2] = 5; |
FD : [ptr]=edx | 29 : ecx=4 |
*ptr = 5; | 2E : ecx<<1 |
00 : eax=[ptr] | 30 : array[8]=5 |
03 : [eax]=5 | |
array[0] = 5; | |
09 : ecx=4 | |
0E : edx=ecx*0 | |
11 : array[edx]=5 |
从这里的汇编代码可以看出,每次偏移都是基于array进行偏移的,因为每句都有array的身影
而数组名也是一个地址,即指针。
【】就是个偏移符号,里面是1,就偏移1,是2 就偏移2
综上:array【0】里面,array代表起始地址,0代表了偏移量,偏移量是数组的下标,array【0】就是偏移了0,所以array就等于array【0】的地址
所以数组的下标也可以用作指针来表示
int array[2]{1,2};
int *ptr {array};
std::cout<
这里输出了1和2
sizeof(array)
sizeof(ptr)
第一个结果为20,第二个为4,因为sizeof还是把array当成数组来计算的,而不是指针
既然数组即指针,那么多维数组也肯定不存在,那多维数组是什么呢?它其实是一段连续的内存.
int a[2][3]
{
{1,2,3},
{4,5,6}
};
int *ptr{a};
这段代码是错误代码,因为在多维数组里面,因为多维数组的数组名类型并不是整型指针
多维数组名的类型是是一个数组指针
int (*ptr) 【3】{}
表示有3个数组的指针。
可以用来处理有一行3个数据的数组
把指针数组的声明列出来比较一下
int *ptr 【3】: 表示有3个指针的数组
所以上面正确代码应该为
int (*ptr) [3] {a};
std::cout<
这里输出了1
每个指针大小为4字节,那么数组指针大小也是4字节
int (*ptr) [3] {a};
ptr++加的是3*int
根据上文可以推断,a【0】,a是地址,0是偏移量,所以在多维数组里面,a【2】【3】里面的a【2】其实是一个地址,而3指的是偏移量