C++ primer 第五版 练习 18.2 18.3

练习18.2

当在指定的位置发生了异常时将出现什么情况？

void exercise(int *b, int *e)
{
	vector<int> v(b, e);	//v被调用析构函数并正常销毁
	int *p = new int[v.size()];	//p被销毁，内存泄漏
	ifstream in("ints");	//in被正常销毁
	// 此处发生异常
}

因为没有相应的catch捕获异常，因此程序运行到这会退出语句块。

C++ primer 第五版 P685 line20：如果某个局部对象的类型是类类型，则该对象的析构函数将被自动调用。编译器在销毁内置类型地对象时不需要做任何事情。

因此对象v会被正常地调用析构函数并销毁，对象in也会被正常地销毁。但是指针p被销毁后，动态申请的内存无法释放，便造成内存泄漏。

---

练习18.3

要想让上面的代码在发生异常时能正常工作，有两种解决方案。请描述这两种方法并实现它们。

C++ primer 第五版 P685 line31：如果我们使用类来控制资源的分配，就能确保无论函数正常结束还是遭遇异常，资源都能被正确地释放。

1. 使用类来管理资源分配
2. 使用智能指针

参考：https://github.com/Mooophy/Cpp-Primer/blob/master/ch18/ex18.1.2.3.cpp

#include <iostream>
#include <stdexcept>
#include <memory>
#include <vector>
#include <fstream>
/**
 * @brief The intArray class manage a dynamicly allocated int array.
 * @note  for ex18.3 approach 1.
 */
struct intArray
{
    intArray() : p(nullptr) { }
    explicit    intArray(std::size_t s):
        p(new int[s])       { }


    ~intArray()
    {
        delete[] p;
    }

    // data meber
    int *p;
};

void exercise(int *b, int *e)
{
    std::vector<int> v(b, e);            // the object v will be destroyed by its destructor.

    // @oldcode:
    //int *p = new int[v.size()];     // the dynamically allocated int array will be no way deallocated.

    // approach 1:
    intArray p(v.size());

    // approach 2:
    //std::shared_ptr<int> p(new int[v.size()], [](int *p) { delete[] p; });
                                                // delete array using lambda

    std::ifstream in("ints");            // the object in will be destroyed.
    // exception occurs here
}

---

关于方法2使用智能指针的一些思考：

当看到原答案作者在使用share_ptr的时候给它传入了第二参数，一个自定义的删除器(deleter)的时候，我不太明白要这么做，原因如下：

C++ primer 第五版 P417 智能指针陷阱里有一条：如果你使用智能指针管理的资源不是new分配的内存，记住传递给它一个删除器。

考虑到share_ptr管理的资源是：new int[v.size()]，那么share_ptr被销毁的时候，会默认对它管理的指针进行delete操作：delete p。似乎已经可以解决内存泄漏的问题，但是原作者这么做肯定有他的理由：

问题就出在new[]与delete上：

侯捷老师的视频课程中有解释过new、new[]、delete和delete[]的配对问题。