动态内存：delete作用于空指针

　　

　　在学习《C++primer 第五版》(中文版)中第12章动态内存与智能指针的时候遇到了一个习题，练习12.13：

练习 12.13：如果执行下面的代码，会发生什么？
        
        auto sp=make_shared<int>();
        auto p=sp.get();
        delete p;

　　上述代码创建了一个指向int的空智能指针sp，然后调用get()创建了一个指向int的普通指针p，随后delete普通指针p。

　　但看这三行代码，会认为题目考察delete一个空指针时会发生什么事情，但是结合书中本章节的内容(本章讲智能指针和动态内存管理）并考虑实际运行会得出本体的答案：这三行代码是编译安全的(本人使用gcc 9.3.0)。但是在运行期，由于delete首先释放了智能指针所指向的内存（即使为空指针），但是此时sp的引用计数并没有改变()，导致sp离开此作用域时，智能指针sp再次释放指向的内存空间，此时会产生错误

double free or corruption

　　我们如果考虑第一种问题，delete作用于一个空指针会发生什么。答案是什么也不会发生，delete会自动判断指针是否为空指针，如果是空指针则delete不执行任何操作

　　为了验证我们就可以多次delete一个空指针(实际不要这么做，很无聊）

int main() 
 {           
     int *p;                    
     delete p;
     delete p;
     return 0;
}   

 

　　上述代码编译和运行均不会产生错误。