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

避免野指针的产生

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

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

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

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

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

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

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

指针的注意点：

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

char *p="abc";

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

b.资源泄漏

问题：

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

结果：卡死

改进：

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

结果：正确

c.内存越界

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

d.返回值是指针

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

 #include<iostream>
 using namespace std;
 char *f()
 {
     char p[]="abc";
     return p;
 }
 void main()
 {
     cout<<f()<<endl;
 }

结果：

 改进：

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

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

结果：

2.定义成指针型数组

 #include<iostream>
 using namespace std;
 char *f()
 {
     char *p="abc";    //"abc"存储在文字常量区，p是指向常量的指针，生存期到程序结束
     return p;
 }
 void main()
 {
     cout<<f()<<endl;
 }

结果：

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

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

结果：

 e.指针做形参

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

1.改变指针内容：

 void swap(int *a,int *b)   //交换的是*a,*b，即指针的内容，而不是指针a,b
 {
    int t;
    t=*a;
    *a=*b;
    *b=t;
 }

2.改变指针值：

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

结果：

继续看下面的情况，修改指针的内容：

 #include<iostream>
 using namespace std;
 void fun(char *p)
 {
     p[]='c';    //改变p的内容，即修改p[0]
 }
 void main()
 {
     char *p="abc";  //p指向常量"abc"
     fun(p);
     cout<<p<<endl;   //error,p所指内容为常量，不能修改
 }

结果：

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