野指针及c++指针使用注意点

避免野指针的产生

“野指针”的成因主要有:

1)指针变量没有被初始化。任何指针变量刚被创建时不会自动成为NULL指针,它的缺省值是随机的,它会乱指一气。所以,指针变量在创建的同时应当被初始化,要么将指针设置为NULL,要么让它指向合法的内存。

char *p; //此时p为野指针

 

2)指针p被free或者delete之后,没有置为NULL,让人误以为p是个合法的指针.

char *p=new char[10];  //指向堆中分配的内存首地址,p存储在栈区
cin>> p;
delete []p; //p重新变为野指针

 

3)指针操作超越了变量的作用范围。          

char *p=new char[10]; //指向堆中分配的内存首地址
cin>> p;
cout<<*(p+10); //可能输出未知数据

 

指针的注意点:

a.指针指向常量存储区对象

char *p="abc";

此时p指向的是一个字符串常量,不能对*p的内容进行写操作,如srtcpy(p,s)是错误的,因为p的内容为“abc”字符串常量,该数据存储在常量存储区,但可以对指针p进行操作,让其指向其他的内存空间。

 

b.资源泄漏

问题:

1 #include<iostream>
2 using namespace std;
3 void main()
4 {
5     char *p=new char[3];  //分配三个字符空间,p指向该内存空间
6     p="ab";             //此时p指向常量“ab”,而不再是new char分配的内存空间了,从而造成了资源泄漏
7     delete []p;         //释放时报错
8 }

结果:卡死

改进:

1 #include<iostream>
2 using namespace std;
3 void main()
4 {
5     char *p=new char[3];  //分配三个字符空间,p指向该内存空间
6     strcpy(p,"ab");      //将"ab"存储到p指向的内存空间
7     delete []p;         //ok
8 }

结果:正确

 

c.内存越界

1 char *p=new char[3];  //分配三个字符空间,p指向该内存空间
2 strcpy(p,"abcd");    //将abcd存处在分配的内存空间中,由于strlen("abcd")=4>3,越界
3 delete []p;         //ok

 

d.返回值是指针

问题:数组p[]中的内容为“hello world”,存储在栈区,函数结束时内容被清除,p变为野指针,可能导致乱码

 1 #include<iostream>
 2 using namespace std;
 3 char *f()
 4 {
 5     char p[]="abc";
 6     return p;
 7 }
 8 void main()
 9 {
10     cout<<f()<<endl;
11 }

结果:

 改进:

1.加static限定,延长数组生存期

 1 #include<iostream>
 2 using namespace std;
 3 char *f()
 4 {
 5     static char p[]="abc";  //此时数组为静态数组,存储在全局/静态区,生存期到程序结束,因此函数结束时不会销毁p
 6     return p;
 7 }
 8 void main()
 9 {
10     cout<<f()<<endl;
11 }

结果:

 

2.定义成指针型数组

 1 #include<iostream>
 2 using namespace std;
 3 char *f()
 4 {
 5     char *p="abc";    //"abc"存储在文字常量区,p是指向常量的指针,生存期到程序结束
 6     return p;
 7 }
 8 void main()
 9 {
10     cout<<f()<<endl;
11 }

结果:

 

3.动态分配存储空间,存储在堆区

 1 #include<iostream>
 2 using namespace std;
 3 char *f()
 4 {
 5     char *p=new char[5];  //动态分配存储空间,p指向堆区
 6     strcpy(p,"abc");   // 这里不能用p="abc",前面已经说明
 7     return p;
 8 }
 9 void main()
10 {
11     cout<<f()<<endl;
12 }

结果:

 e.指针做形参

即所谓的地址传递,我们都知道地址传递的方式,形参的改变会导致实参的改变,但要注意的是,这里的改变是指指针所指内容的改变,而不是指针值的改变。因此,当形参改变会导致实参改变时,指针所指的内容是非const类型的,否则会出错。

1.改变指针内容:

1 void swap(int *a,int *b)   //交换的是*a,*b,即指针的内容,而不是指针a,b
2 {
3    int t;
4    t=*a;
5    *a=*b;
6    *b=t;
7 }

2.改变指针值:

 1 #include<iostream>
 2 using namespace std;
 3 void fun(char *p)
 4 {
 5     p="cba";    //“cba”存放在文字常量区,让p指向常量"abc",这里改变的是指针值,实参并不会改变
 6 }
 7 void main()
 8 {
 9     char *p="abc";  //“abc”存放在文字常量区,p指向常量"abc"
10     fun(p);
11     cout<<p<<endl;   //输出"abc",而不是"bca"
12 }

结果:

继续看下面的情况,修改指针的内容:

 1 #include<iostream>
 2 using namespace std;
 3 void fun(char *p)
 4 {
 5     p[0]='c';    //改变p的内容,即修改p[0]
 6 }
 7 void main()
 8 {
 9     char *p="abc";  //p指向常量"abc"
10     fun(p);
11     cout<<p<<endl;   //error,p所指内容为常量,不能修改
12 }

结果:

注:p="ab"和strcpy(p,"ab"),含义不一样,前者指针p指向常量“ab”存储区域的首地址,改变了p最开始指向的new申请的内存空间;而后者是将“ab”分配到new申请的内存空间中;

posted on 2016-04-21 22:09  小菜鸡y  阅读(16077)  评论(1编辑  收藏  举报