《Effective Modern C++》条款18:unique_ptr指针问题

本次大章节主要是智能指针篇；

本次篇幅主要讲述std::unique_ptr的些许问题；

基本特性：

首先unique_ptr类似于裸指针，占有空间小，并且在此前提下，能够在生命周期结束后进行自主析构，避免指针空悬等问题；

并且unique_ptr具有独占特性，所以不支持复制操作；

简而言之就是，同一时刻只能有一个unique_ptr来对指向的资源进行独占；

unique_ptr往往和工厂函数结合，作为指向基类的返回值使用，从而有效利用多态继承特性；

自定义删除：

对于unique_ptr，内部析构是通过调用delete进行删除；

但是这里值得一提的是，对于nonexcept声明的函数意外终止的函数可能不会析构成功，这里和栈展开有关系；

也可以针对于unique_ptr进行自定义析构器；

void printlog() {};

auto delInvmt = [](Investment* pInvestment) {
    printlog();
    delete pInvestment;
};

template<typename... Ts>
std::unique_ptr<Investment,decltype(delInvmt)>
factory_fun(Ts&&... params) {
    std:::unique_ptr<Investment, decltype(delInvmt)> Pinv(nullptr, delInvmt);
    Pinv.reset(....);
    return Pinv;
}

如上所示，可以看到一个示例，通过定义一个lambda表达式，来指定一个析构器；

同时，自定义析构器需要注意以下几点：

1. unique_ptr模板实例化需要制定第二个参数，第二个参数就是析构器匿名函数的类型；这里采用decltype关键字进行型别指定，是为了防止在型别推导上遇到问题；

2. 在实际定义指针的时候，必须要将自定义析构器作为第二个参数传入；

关于自定义析构器的开销问题：

自定义析构器可以定义为函数或者匿名函数；

但是一般情况下，定义为匿名函数会有更小的开销；

同时，匿名函数可以放在工厂函数内部进行定义，而类外函数则定义如下：

void delInvmt2(Investment* pInvestment) {
    printlog();
    delete pInvestment;
};

template<typename... Ts>
std::unique_ptr<Investment, void (*)(Investment*)>
factory_fun(Ts&&... params) {
    std:::unique_ptr<Investment, void (*)(Investment*)> Pinv(nullptr, delInvmt);
    Pinv.reset(....);
}

一般而言，最简单的情况，类外函数除了拥有一个Investment*指针外，还拥有一个函数指针，比匿名指针多了很多尺寸；

所以总体上而言，如果匿名函数内没有过多的逻辑或者状态，整个unique_ptr的大小应该是和裸指针相似的；