二级指针解决空悬指针方案

当两个指针指向通过一个地址时，如果其中一个指针对其进行了内存释放，另外一个指针是不知道的，这时候对另一个指针进行操作就会操作段错误等问题。这就是一个空悬指针的案例。例如下面的代码就会使得b指针变成空悬指针

 

/*************************************************************************
    > File Name: b.cpp
    > Author: Starry
    > Mail: 1173298382@qq.com 
    > Created Time: 2019年07月15日 星期一 11时08分25秒
 ************************************************************************/

#include<iostream>
#include<stdio.h>
using namespace std;

int main() {
    int *a, *b;
    a = (int*) malloc(sizeof(int*));
    *a = 10;
    b = a;
    printf("%x %x\n",a,b);
    printf("%d %d\n",*a, *b);
    free(a);
    a = NULL;
    printf("%x %x\n",a,b);
    printf("%d %d\n",a==NULL, b==NULL);
    return 0;
}

输出结果为：

一开始是指向同一个地址，但当a指针进行了内存释放并指向NULL时，b指针还是指向原来的地址，而并非NULL，如果直接对b指向的内存进行操作就会出问题了。

 

下面通过二级指针解决这个问题，原理是让两个指针指向相同的数据中间在加一层。如下图所示：

这样当一个指针对Object进行释放时，将proxy的值标记为NULL，这样另外一个指针可以查看proxy的值来判断释放进行了内存释放。

代码如下：

/*************************************************************************
    > File Name: a.cpp
    > Author: Starry
    > Mail: 1173298382@qq.com 
    > Created Time: 2019年07月15日 星期一 10时54分13秒
 ************************************************************************/

#include<iostream>
using namespace std;


int main() {
    int **a, **b;
    a = (int**)malloc(sizeof(int*));
    *a = (int*)malloc(sizeof(int));
    **a = 10;
    b = a;
    printf("%d %d\n",**a, **b);
    printf("%x %x\n",*a,*b);
    free(*a);
    *a = NULL;
    if(*b == NULL) {
        printf("YES\n");
    } else printf("No\n");
    printf("%d %d\n",*a==NULL,*b==NULL);
    printf("%x %x\n",*a,*b);
    return 0;
}

输出结果如下：