c++ 中 unique_ptr 的一些使用技巧

前言

c++11 对智能指针做了很大的优化，废弃了 c++98 中的auto_ptr，引入了三种新的智能指针：unique_ptr，shared_ptr，weak_ptr。本文将针对unique_ptr的一些使用技巧做一些整理和归纳。在正式开始之前，我们首先来回顾一下unique_ptr的特点：一个unique_ptr对象内包含一个原始指针，该unique_ptr对象负责管理原始指针的生命周期。一个unique_ptr对象始终是其关联的原始指针的唯一拥有者。

在了解了unique_ptr的特点之后，我们来具体看看日常开发中unique_ptr的一些使用场景和技巧。

一些场景

本地对象指针

在开发中，我们经常会遇到或者写出类似于下面这样的逻辑：

 1void somefunc() {
 2    Object obj = new Object;
 3    // ...
 4    if (/* event 1 */) {
 5        delete obj;
 6        return;
 7    }
 8
 9    if (/* event 2 */) {
10        delete obj;
11        return;
12    }
13    delete obj;
14}

对于这样的代码，写起来很麻烦，看上去也及其丑陋。以前我们常用的一种优化手段就是使用goto，而在 c++11 之后，我们有了一种更加优雅简洁的方式，来对上面的代码进行优化，那就是使用unique_ptr:

 1void somefunc() {
 2    std::unique_ptr<Object> obj = std::make_unique<Object>(); // need c++14
 3    // ...
 4    if (/* event 1 */) {
 5        return;
 6    }
 7
 8    if (/* event 2 */) {
 9        return;
10    }
11}

只需要将本地指针对象用unique_ptr包装起来，后面无需关心指针释放的问题，整体逻辑看上去更加简洁。

数组

在 c++中，数组的创建和释放是一个很容易出错的地方，因为尽管数组的创建跟其他对象的创建一样使用new操作符，但是数组的释放却不同于普通对象指针的释放，而是使用的delete[]:

1int *a = new int[10];
2// ...
3delete[] a;

而有了unique_ptr之后，情况就会变得非常简单：

1auto a = std::make_unique<int[]>(10);
2// ...

工厂函数

通常工厂函数会创建对象，然后对对象做一些初始化操作，最后将对象返回给调用者，下面是一个简单的工厂函数的实现:

1Object* factory() {
2    Object* o = new Object;
3    o->init();
4    return o;
5}

但是当调用者拿到返回的对象指针后尝尝会困惑自己是否拥有该对象的所有权，是否应该负责该对象的释放。

解决这个问题的一个比较好的办法是，将构造好的对象包装成unique_ptr返回给调用者，这样相当于明确告诉调用方，把该对象和对象的所有权一起返回：

1std::unique_ptr<Object> factory() {
2    auto o = std::make_unique<Object>();
3    o->init();
4    return o;
5}

类成员和函数参数

当我们将一个指针做为类成员，或者作为函数参数的时候，由于指针本身的传递没有携带所有权的信息，所以在指针传递的中间环节，我们不知道自己是否拥有该对象的所有权，为了明确这一点，也可以使用unique_ptr做一层包装，明确所有权和对象一起传递。

只使用指针

考虑下面这种 case，我们只想使用指针，而不需要其所有权，在这种情况下，c++核心指南建议直接传递T*。如果我们假设所有裸指针都是非所有传递的，那这样自然没什么问题。当然我们还有一种办法是通过传递const std::unique_ptr<T>&来实现。这种用法看起来很不可思议，然而在一些著名的开源项目中却真实的存在，例如： https://github.com/opencv/opencv/blob/68d15fc62edad980f1ffa15ee478438335f39cc3/modules/gapi/src/compiler/passes/transformations.cpp#L66

 1// Tries to substitute __single__ pattern with substitute in the given graph
 2bool tryToSubstitute(ade::Graph& main,
 3                     const std::unique_ptr<ade::Graph>& patternG,
 4                     const cv::GComputation& substitute)
 5{
 6    GModel::Graph gm(main);
 7
 8    // 1. find a pattern in main graph
 9    auto match1 = findMatches(*patternG, gm);
10    if (!match1.ok()) {
11        return false;
12    }
13
14    // 2. build substitute graph inside the main graph
15    cv::gimpl::GModelBuilder builder(main);
16    auto expr = cv::util::get<cv::GComputation::Priv::Expr>(substitute.priv().m_shape);
17    const auto& proto_slots = builder.put(expr.m_ins, expr.m_outs);
18    Protocol substituteP;
19    std::tie(substituteP.inputs, substituteP.outputs, substituteP.in_nhs, substituteP.out_nhs) =
20        proto_slots;
21
22    const Protocol& patternP = GModel::Graph(*patternG).metadata().get<Protocol>();
23
24    // 3. check that pattern and substitute are compatible
25    // FIXME: in theory, we should always have compatible pattern/substitute. if not, we're in
26    //        half-completed state where some transformations are already applied - what can we do
27    //        to handle the situation better?  -- use transactional API as in fuse_islands pass?
28    checkCompatibility(*patternG, gm, patternP, substituteP);
29
30    // 4. make substitution
31    performSubstitution(gm, patternP, substituteP, match1);
32
33    return true;
34}

在上面的函数中我们可以看到通过 const reference 的方式传递unique_ptr，在函数内部可以像T*那样直接使用，但是不能对指针本身做任何修改。

更新指针

我们经常会对类似于下面的代码产生困惑：

1void reset(T** pp) {
2    *pp = new T;
3}
4
5T* p = nullptr;
6reset(&p);

假如p已经被初始化过了，那调用reset(&p)在新建一个新的对象之前，还需要对原来的对象进行释放。

如果我们将reset函数修改成下面这样：

1void reset(std::unique_ptr<T>& pp) {
2    pp = std::make_unique<T>();
3}

情况就变得非常容易了，我们通过传递 non-const reference 的unique_ptr来对指针进行修改，而且不必单独为非空指针做专门的释放操作。

总结

使用unique_ptr的好处总结起来就是，在传递原始指针的同时，也传递了原始指针的所有权。这样使用者在使用指针的时候，不用对指针的所有权感到困惑以至于不清楚在使用完之后是否需要释放指针对象。

参考文档

https://isocpp.github.io/CppCoreGuidelines/CppCoreGuidelines