黑马程序员技术交流社区

标题: 指针与数组的加强，以及结合使用，内容绝对有含金量！ [打印本页]

作者: Pythoner 时间: 2015-8-26 22:09
标题: 指针与数组的加强，以及结合使用，内容绝对有含金量！
本帖最后由 Pythoner 于 2015-8-26 22:12 编辑

1. 指针

指针与地址：

指针在内存中占用8(64位)，并且，指针里面能存地址，指针有自己的地址。
指针里面的存的地址可以改变，但是地址本身不能变化。
指针有类型概念，地址只是一个16进制的常量。
指针本身可以移动指向新的数据空间，并且指针移动一位字节数不一样（由类型决定）。
指针有两两层含义：1. 表示一个能存地址变量（等效于指针变量）2. 指还含有数据类型的概念。

指针的内存布局

先看一个例子：

int *p;

这里定义了一个指针p，一个“int *”类型的模子在内存上咔出了8个字节（根据编译器环境不同而不同，64位是8个字节，32位是4个字节）的空间，然后这个空间命令为p，同时限定这4个字节的空间里面只能存储某个内存地址，即使你存入别的任何数据，都被当做地址来处理，而且这个内存地址开始的连续4个字符上只能存储某个int类型的数据。

QQ20150826-2@2x.png (63.88 KB, 下载次数: 17)

作者: Pythoner 时间: 2015-8-26 22:10
如上图所示，我们把p称为指针变量，p里存储的内存地址处的内存称为p所指向的内存。指针变量p里存储的任何数据都将被当作地址来处理。
我们可以这么理解：一个基本的数据类型（包括结构体等自定义类型）加上“*”号就构成了一个指针类型的模子。这个模子的大小是一定的，与“*”号前面的数据类型无关。“*”号前面的数据类型只是说明指针所指向的内存里存储的数据类型。所以，在64位系统下，不管什么样的指针类型，其大小都是8byte，sizeof（void *）也是8个字节。
注意int *p = NULL 和 *p = NULL的区别
int *p = NULL;
p的值为 0x00000000。解释为：定义一个指针变量p，其指向的内存里面保存的是int类型的数据，在定义变量p的同时把p的值设置为0x00000000，而不是把*p的值设置为0x00000000。这个过程叫做初始化，是在编译的时候进行的。
然后再看下面的代码：
int *p; //定义一个指针变量p，指向内存里面保存的是int类型的数据，但是此时p本身的值不知道，也就是说现在变量p保存的可能是一个非法地址
*p = NULL; //给*p赋值为NULL，即给p指向的内存赋值为NULL，但是由于p指向的内存可能是非法的，所以编译器会报告一个内存错误
因此，我们可以改写上面的代码，使p指向一块合法的内存
int i = 10;
int *p = &i;
*p = NULL;
调试的时候可以发现：p所指向的内存地址存储的数据从10变成了0，但是p本身的值，也就是内存地址并没有变。
备注：NULL是一个宏定义
#define NULL 0

作者: Pythoner 时间: 2015-8-26 22:12
如何将数值存储到指定的内存地址
假设现在需要往内存0x12ff7c地址上存入一个整型数0x100。我们怎么才能做到呢？我们知道可以通过一个指针向其指向的内存地址写入数据，那么这里的内存地址0x12ff7c其本质就是一个指针。所以我们可以用下面的方法：
int *p = (int *)0x12ff7c; //将地址0x12ff7c赋值给指针变量p的时候必须强制转换
*p = 0x100;
也可以这么写：
*（int *）0x12ff7c = 0x100;

作者: Pythoner 时间: 2015-8-26 22:13
2. 数组
数组的内存布局
先看一个例子
int a[5];
上面定义了一个数组，其包含了5个int型的数据，我们可以用a[0], a[1]等来访问数组里面的每一个元素，那么这些元素的名字就是a[0], a[1]...吗？我们看一个图：

QQ20150826-3@2x.png (57.75 KB, 下载次数: 12)

作者: Pythoner 时间: 2015-8-26 22:17
本帖最后由 Pythoner 于 2015-8-26 23:17 编辑

总是要审核，太慢了，我直接发打包的源文件吧，我希望每个对指针和数组的使用比较模糊，尤其结合起来更晕的同学看一下，绝对会有收获！

作者: Pythoner 时间: 2015-8-26 22:19

指针与数组

以指针的形式访问和以下标的形式访问

指针与数组之间似是而非的特点。例如，有如下定义：

A) char *p = "abcdef";
B) char a[] = "123456";

以指针的形式访问和以下标的形式访问指针

A定义了一个指针变量p，p本身在栈上占8个字节，p里面存储的是一块内存的首地址。这块内存在静态区，其空间大小为7个byte，这块内存没有名字，对这块内存的访问完全是匿名的访问。比如要读取字符'e'，我们有两种方式：

1）以指针的形式：*(p+4) 先取出p里存储的地址值，假设为0x0000FF00，然后加上4个字符的偏移量，得到新的地址0x0000FF04，然后取出0x000FF04地址上的值。

2）以下标的形式：p[4] 编译器总是把下标的形式的操作解析为以指针的形式的操作。p[4]这个操作会被解析成：先取出p里存储的地址值，然后加上中括号中4个元素的偏移量，计算出新的地址，然后从新的地址中取出值，也就是说以下标的形式访问在本质上与指针的的形式访问没有区别，只是写法上不同罢了。

以指针的形式访问和以下标的形式访问数组

B定义了一个数组a，a拥有7个char类型的元素，其空间大小为7。数组a本身在栈上面。对a的元素的访问必须先根据数组的名字a找到数组首元素的首地址，然后根据偏移量找到相应的值。这是一种典型的“具名 + 匿名”访问。

指针和数组是两个完全不一样的东西，只是它们都可以“以指针形式”或“以下标形式”进行访问。一个是完全的匿名访问，一个是典型的具名+匿名访问。一定要注意的是这个“以XXX的形式的访问”这种表达方式。

偏移量的单位是元素的个数而不是byte数，计算地址时需注意。

a和&a的区别

我们看一个例子：

#include <stdio.h>
int main(int argc, char const *argv[])
{
int a[5] = {1,2,3,4,5};
int *ptr = (int *)(&a+1);
printf("%d, %d\n", *(a+1), *(ptr-1)); // 2 5
return 0;
}

这个例子主要考察关于指针加减操作的理解

对指针进行加1操作，得到的是下一个元素的地址，而不是原有地址值直接加1.所以一个类型为T的指针的移动，以sizeof(T)为移动单位。因此，a是一个一维数组，数组中有5个元素：ptr是一个int型的指针。

&a+1：取数组a的首地址，该地址的值加上sizeof(a)的值，即 &a + 5*sizeof(int)，也就是下一个数组的首地址，显然当前指针已经越过了数组的界限。

(int *)(&a+1)：则是把上一步计算出来的地址，强制转化为int *类型，赋值给ptr。

*(a + 1)：a，&a的值是一样的，但意思不一样，a是数组首元素的首地址，也就是a[0]的首地址，&a是数组的首地址，a+1是数组下一元素的首地址，即a[1]的首地址。&a+1是下一个数组的首地址，所以输出2.
*(ptr - 1)：因为ptr是指向a[5]，并且ptr是int*类型，所以*(ptr-1)是指向a[4]，输出5。

指针与数组的特性总结

指针	数组
保存数据的地址，任何存入指针变量p的数据都会被当做地址来处理。p本身的地址由编译器另外存储，存储在哪里，我们并不知道。	保存数据，数组名a代表的是数组首元素的首地址而不是数组的首地址。&a才是整个数组的首地址。a本身的地址由编译器另外存储，存储在哪里，我们并不知道。
间接访问数据，首先取得指针变量p的内容，把它作为地址，然后从这个地址提取数据或向这个地址写入数据。指针可以以指针的形式访问(p+i); 也可以以下标的形式访问p。但本质都是先取p的内容然后加上isizeof(类型)个byte作为数据的真正地址。	直接访问数据，数组名a是整个数组的名字，数组内每个元素并没有名字。只能通过“具名+匿名”的方式来访问某个元素，不能把数组当一个整体来进行读写操作。数组可以以指针的形式访问(a+i); 也可以以下标的形式访问 a。但其本质都是a所代表的数组首元素的首地址加上isizeof(类型)个byte作为数据的真正地址。
通常用于动态数据结构	通常用于存储固定数目且数据类型相同的元素。
相关的函数为malloc和free	隐式分配和删除
通常指向匿名数据（当然也可指向具名数据）	自身即为数组名

作者: Pythoner 时间: 2015-8-26 22:22

指针数组和数组指针

指针数组和数组指针的内存布局

指针数组：首先它是一个数组，数组的元素都是指针，数组占多少个字节由数组本身决定。它使“存储指针的数组”的简称。

数组指针：首先它使一个指针，它指向一个数组，在64位系统下永远是占4个字节，至于它指向的数组占多少字节，并不知道。它是“指向数组的指针”的简称。

A) int *p1[10]; //指针数组
B) int (*p2)[10]; //数组指针

这里有一个符号优先级的问题，‘[]’的优先级比‘*’要高。

p1先于‘[]’结合，构成一个数组的定义，数组名为p1，int修饰的数组的内容，即数组的每个元素。总的来讲，这是一个数组，其包含10个指向int类型数据的指针，即指针数组。

p2中‘()’的优先级比‘[]’高，‘*’号和p2构成一个指针的定义，指针变量名为p2，int修饰的是数组的内容，即每个数组的每个元素。数组在这里并没有名字，是一个匿名数组。总的讲，p2是一个指针，它指向一个包含10个int类型数据的数组，即数组指针。

也许可以这么理解数组指针

通常定义指针是在数据类型后面加上指针变量名，那p2定义如下：

int (*)[10] p2;

int ()

a与&a之间的区别

#include <stdio.h>
int main(int argc, char const *argv[])
{
char a[5] = {'A', 'B', 'C', 'D'};
char (*p1)[3] = &a;
char (*p2)[3] = a;
char (*p3)[5] = &a;
char (*p4)[5] = a;
/*
输出 D D BCD BCD 乱码乱码偏移单位由数组指针中的数组长度决定
*/
printf("%s\n%s\n%s\n%s\n%s\n%s\n", *(p1+1), *(p2+1), *p1+1, *p2+1, *(p3+1), *(p4+1));
return 0;
}

QQ20150826-1@2x.png (33.3 KB, 下载次数: 16)

作者: Pythoner 时间: 2015-8-26 22:23

地址的强制转换

先看一个例子

struct Test
{
int Num;
char *pcName;
short sDate;
char cha[2];
short sBa[4];
} *p;

假设p的值为0x100000，那么：

p + 0x1 = 0x100018

(unsigned long)p + 0x1 = 0x100001

(unsigned int *)p + 0x1 = 0x100004

首先需要明白一个知识点，指针变量与一个整数相加减并不是用指针变量里的地址直接加减这个整数。这个整数的单位不是byte二十元素的个数。所以：

p+0x1的值为0x100000+sizeof(Test) * 0x1。至于此结构体的大小为20byte，所以p + 0x1的值为：0x100014。

(unsigned long)p+0x1的值涉及到强制类型转换，将指针变量p保存的值强制类型转换成无符号的长整型数。任何数值一旦被强制转换，其类型就改变了。所以这个表达式其实就是一个无符号的长整型数加另一个整数，所以其值为：0x1000001。

(unsigned int *)p+0x1中，这里的p被强制转换成一个指向无符号整型的指针，所以其值为：0x1000000+sizeof(unsigned int) * 0x1，等于0x100004。

二维数组与指针

先看一个例子：

int a[5][5];
int (*p)[4];
p = a;
//&p[4][2] - &a[4][2]的值是？

答案是 -4

&a[4][2]表示的是: &a[0][0]+4*5*sizeof(int) + 2*sizeof(int)。

p[4]相对于p[0]来说是向后移动了4个“包含4个int 类型元素的数组”, 即&p[4]表示的是&p[0]+4*4*sizeof(int)。由于p被初始化为&a[0]，那么&p[4][2]表示的是&a[0][0] + 4*4*sizeof(int) + 2*sizeof(int)。

所以，&p[4][2]和&a[4][2]的值相差4个int类型的元素。可以用下面的内存布局图来表示：

QQ20150826-4@2x.png (25 KB, 下载次数: 16)

作者: Pythoner 时间: 2015-8-26 22:25

二级指针

二级指针的内存布局

char **p;

定义了一个二级指针变量 p。p 是一个指针变量,毫无疑问在 64 位系统下占 8 个 byte。它与一级指针不同的是,一级指针保存的是数据的地址,二级指针保存的是一级指针的地址。

任何指针变量都可以被初始化为NULL。

数组参数与指针参数

数组作为参数传递到函数里面时，传入的是地址，占8位。数组并没有传递至函数内部。

C语言中，当一维数组作为函数参数的时候，编译器总是把它解析成一个指向其首元素首地址的指针。非数组形式的数据实参均以传值形式（对实参做一份拷贝并传递给被调用的函数，函数不能修改作为实参的实际变量的值，而只能修改传递给它的那份拷贝）调用。同样，函数的返回值也不能是一个数组，而只能是指针。明确一个概念：函数本身是没有类型的，只有函数的返回值才有类型。

void fun(cahr a[])
{
char c = a[3];
}
int main()
{
char b[100 = "abcdefg";
fun(b);
return 0;
}

作者: Pythoner 时间: 2015-8-26 22:26

指针参数

void fun(char *p)
{
char c = p[3]; //或者是 char c = *(p+3);
}
int main()
{
char *p2 = "abcdefg";
fun(p2);
return 0;
}

上面的例子是对实参做一份拷贝并传递给被调用的函数，即对p2做一份拷贝，传递到函数内部的并非p2本身。

void getMemory(char *p, int num)
{
p = (char *)malloc(num*sizeof(char));
}
int main() {
char *str = NULL;
GetMemory(str, 10);
strcpy(str, "hello");
free(str); //free 并没有起作用,内存泄漏
return 0;
}

在运行 strcpy(str,”hello”)语句的时候发生错误。这时候观察 str 的值，发现仍然为 NULL，也就是说 str 本身并没有改变。

所以，我们可以这么做：

//第一: 用 return。
char * GetMemory(char * p, int num) {
p = (char *)malloc(num*sizeof(char));
return p;
}
int main() {
char *str = NULL;
str = GetMemory(str,10);
strcpy(str, "hello");
free(str);
return 0;
}

第二:用二级指针。
void GetMemory(char ** p, int num) {
*p = (char *)malloc(num*sizeof(char));
return p;
}
int main() {
char *str = NULL;
GetMemory(&str,10);
strcpy(str,”hello”);
free(str);
return 0;
}

注意，这里的参数是&str而非str。这样的话传递过去的是str的地址，是一个值。在函数内部，用钥匙 “*”来开锁：*(&str)，其值就是str，所以malloc分配的内存地址是真的赋值给了str本身。

作者: Pythoner 时间: 2015-8-26 22:27

二维数组参数与二维指针参数

void fun(char a[3][4]);

可以把 a[3][4]理解为一个一维数组 a[3],其每个元素都是一个含有 4 个 char 类型数据的数组。“C 语言中,当一维数组作为函数参数的时候,编译器总是把它解析成一个指向其首元素首地址的指针。”在这里同样适用。所以我们可以把这个函数声明改写成：

void fun(char (*p)[4]); //括号绝对不能省略，这样才能保证编译器把p解析为一个指向包含4个char类型数据元素的数组，即一维数组a[3]的元素。

同样，一维数组“[]”内的数字完全可以省略，不过第二维的维数不能省略。

void fun(cahr a[][4]);

或者写为(这是因为参数*p[4],对于 p 来说,它是一个包含 4 个指针的一维数组,同样把这个一维数组也改写为指针的形式,那就得到上面的写法。)：

void fun(char **p);

二维数组和二维指针参数的等效关系：

数组参数	等效的指针参数
数组的数组：char a[3][4]	数组的指针：char (*p)[10]
指针数组： char *a[5]	指针的指针：char **p

需要注意：C 语言中,当一维数组作为函数参数的时候,编译器总是把它解析成一个指向其首元素首地址的指针。这条规则并不是递归的,也就是说只有一维数组才是如此,当数组超过一维时,将第一维改写为指向数组首元素首地址的指针之后,后面的维再也不可改写。

作者: Pythoner 时间: 2015-8-26 22:29
这里有完整的文件，解压后是一个html文件，论坛的格式有点乱，我打包了之后上传

作者: 魏武 时间: 2015-8-26 22:36
很不错的总结,已经很详细了

作者: Vigor 时间: 2015-8-26 22:48
详细的总结，收下了，感谢分享。

作者: Pythoner 时间: 2015-8-26 23:14
之前那个有点问题，一些图片没有压缩进去，现在补充一下

指针与数组.zip

386.04 KB, 下载次数: 112

作者: jeremy月 时间: 2015-8-26 23:34
真的总结的特别好

作者: 手心的温度 时间: 2015-8-26 23:46
谢谢同学的分享

作者: 笑笑k 时间: 2015-8-27 00:11
赞一个~~~~~不错

作者: lzfree 时间: 2015-8-27 01:41
顶一下~

作者: 1374656143 时间: 2015-8-27 01:58
挺不错的总结，给力！

作者: 罗文强 时间: 2015-11-30 01:00
楼主太强悍了，赞！

作者: 一曲繁华尽 时间: 2015-11-30 16:32
不错学习了

欢迎光临黑马程序员技术交流社区 (http://bbs.itheima.com/)

黑马程序员IT技术论坛 X3.2