对空指针赋值的问题 指针的指针 指针的指针和指针数组

对空指针赋值的问题（假如指针*p，这里所说的赋值不是p= XXX，而是*p=XXX)

首先说一下什么是指针：

假设 有语句 int a=10;

那么编译器就在内存中开辟1个整型单元存放变量a，我们假设这个整型单元在内存中的地址是 0x1000；那么内存0x1000单元中存放了数据10，每次我们访问a的时候，实际上都是访问的0x1000单元中的10.

现在定义：int *p；

p=&a；

当编译器遇到语句int *p时，它也会在内存中给指针变量p分配一个内存单元，假设这个单元在内存的编址为0x1003；此时，0x1003中的值是不确定的，（因为我们没有给指针赋值），当编译器遇到了p=&a时，就会在0x1003单元中保存0x1000，请看，这就是说：（指针变量p代表的）内存单元0x1003存放了变量a的内存地址！用通俗的话说就是p指向了变量a。

p=NULL，就是说：内存单元0x1003不存放任何变量的内存地址。

看一下下面这段代码：

#include<iostream>

using namespace std;

void main()

{

int *p=NULL;

*p=100;

cout<<*p;

}

执行的时候报错：指令引用的0x000000内存，该内存不能为written.

这里报错的原因是，因为指针p没有指向任何地址，所以为p所指空间赋值的时候，该空间不存在，所以执行的时候会报错。

指针的指针（转）

先看如下示例：





1 #include <iostream>

2 using namespace std;

3

4 int main()

5 {

6 int a[5] = {1, 2, 3, 4, 5};

7 int *p = a;

8 int **point = &p;

9

10 cout << "a = " << a << endl

11 << "p = " << p << endl

12 << "&p = " << &p << endl

13 << "point = " << point << endl

14 << "&point = " << &point << endl;

15

16 for (int i = 0; i < 5; i++)

17 {

18 cout << "&a[" << i << "] = " << &a[i] << endl;

19 }

20 return 0;

21 }



运行结果图如下：



我们先看下内存分配图：



从上图可以看出point指针中存放的是p指针的地址，而p指针中存放的是a[0]的地址。所以*point和p是一样的，前者是取point指针中存放的地址(0025F754)中的值，即取地址0025F754中存放的值(0025F760)，而后者就是0025F760，所以两者是等价的。**point和a[0]是等价的，前者可以写成*p，*p是取p中存放的地址(0025F760)中的值，即地址0025F760中存放的值1。由上可以得出*point等于p， **point 等于 a[0]。通过上图可以清晰的对付诸如*point++等问题。

指针的指针和指针数组

看一下代码：

#include<iostream>

using namespacestd;

void main()

{

int *m[3] = {0, 0, 0};

int **pp=m;

cout<<m<<endl;

cout<<m+1<<endl;

cout<<&m[0]<<endl;

cout<<&m[1]<<endl;

cout<<pp+1<<endl;

}

运行结果是：

0012FF74

0012FF78

0012FF74

0012FF78

0012FF78

可以看出，指针的指针加1的含义是：指针的指针所保存的值加上指针的指针的类型大小。

再看下面的代码：

#include <iostream>

using namespace std;

void main()

{

int *m[3] = {0, 0, 0};

int **p;

p = m + 1; //这里m+1的值是m[1]的地址

int a = 3, b = 4;

int *q = &a;

*p = q; //这里*p的值是p所保存的地址（m[1]的地址）的值（m[1]的值），此时变成q,即m[1]也等于q的值.

q=&b;



cout<<"**p="<<**p<<endl; //虽然q的值变了，但是*p=m[1]，m[1]=q=&a,所以**p=*m[1]=a=3

cout<<"*q="<<*q<<endl; //4

m[1] = &b;

cout<<"**p="<<**p<<endl; //4

cout<<"*m[1]="<<*m[1]<<endl;//4

}

注意：当*p改变时，m[1]也改变了。

联系以上代码，再看看stl源码剖析中的代码段就比较容易理解了：

void*alloc<threads, inst>::refill(size_t n)

{

int nobjs = 20;

char * chunk = chunk_alloc(n, nobjs);

obj * volatile * my_free_list;

obj * result;

obj *current_obj, * next_obj;

int i;



if(1 == nobjs)
return(chunk);

my_free_list = free_list + FREELIST_INDEX(n);

//如果没有上面这行代码，或是用my_free_list = NULL代替，那么在运行到：*my_free_list =next_obj = (obj *)(chunk + n);

时，就会产生运行时错误：Run-Time Check Failure #3 - The variable'my_free_list' is being used without being initialized.

因为要改变*my_free_list的值，实际上就是要改变my_free_list中保存的地址对应的值，而此刻my_free_list为空，也就谈不上它所指向的 空间的值了。//

result = (obj*)chunk;

*my_free_list =next_obj = (obj *)(chunk + n);



for(i = 1; ; i++){

current_obj= next_obj;

next_obj =(obj *)((char *)next_obj+n);

if(nobjs - 1 == i){

current_obj->free_list_link= 0;

break;

}

else{

current_obj->free_list_link= next_obj;

}

}

return result;

}