C++实现defer

上一个博客，了解到了解决菱形继承告警的noncopyable问题。

defer是干什么用的？do{}while(0);这种代码是不是很常见？

当一个函数中间需要申请一些对象，或者打开文件等操作。

函数结尾的时候需要回收这些资源，而且中间任何一个环节失败，我们就要马上跳到资源回收环节，

可以用goto 或者do{break;}while(0);这两种方式来实现。

今天介绍一种全新的实现方法，类似于智能指针的做法，在析构中回收资源。代码看起来更简洁

#include <functional>//函数对象头文件

#include "noncopyable.h"//上一篇博客实现的noncopyable基类

class Defer final:Noncopyable{// final,意思是Defer不能再被继承

//还有一种写法是在函数末尾加上final 关键字，意思是这个函数不能被重写

public:

      Defer() noexcept = default;//不抛出异常,并且用缺省实现

     ~Defer() noexcept = default;

     Defer(Defer&& obj) noexcept

     :f_(std::move(obj.f_)){}

     template<class F>

     void operator+(F&& f)

     {

           f_=std::forward<F>(f);

     }

private:

     std::function<void()> f_;//

};

int main()
{
    C c;
    Defer_ a;
    a+[]{printf("123456.\n");};
    Defer_ b = std::move(a);
    if(a.f_ == nullptr)
    {
        printf("a I am dead.\n");
    }

    if(b.f_ == nullptr)
    {
        printf("b I am dead.\n");
    }

}

 

f_在析构的时候会被执行，有个地方要注意，这里的移动构造函数，把对象的f_移动给新对象的f_。

有个小疑问，这里移动后，原来对象的f_还有效吗？

经过验证，移动后，原来的对象为nullptr了。

std::function<void()> f_=[]{printf("func test.\n");};
    std::function<void()> c_=std::move(f_);
    if(f_ != nullptr)
    {
        f_();
    }
    else
    {
        printf("f_ is nullptr.\n");
    }

    if(c_ != nullptr)
    {
        c_();
    }

来看下std::function实现的移动构造函数。

function(function&& __x) : _Function_base()
      {
    __x.swap(*this);
      }

void swap(function& __x)
      {
    std::swap(_M_functor, __x._M_functor);
    std::swap(_M_manager, __x._M_manager);
    std::swap(_M_invoker, __x._M_invoker);
      }

explicit operator bool() const noexcept
      { return !_M_empty(); }

判断当前function 是否为空