微信公众号搜"智元新知"关注
微信扫一扫可直接关注哦!

c – 无指针上的RAII的一线?

相关话题

std::unique_ptr,deleters and the Win32 API

要使用Win32句柄作为RAII,我可以使用以下行

std::unique_ptr<std::remove_pointer<HANDLE>::type,decltype(&CloseHandle)> m_mutex(CreateMutex(NULL,FALSE,NULL),&::CloseHandle);

对我来说,这是一个干净的一线,完全正是我想要的.

对于SOCKET而言,由于SOCKET不能为空,所以不会使用同一行进行编译.

我需要做的是使其工作如下:

struct SocketDeleter
{
    typedef SOCKET pointer;

    void operator()(SOCKET h) 
    { 
        ::closesocket(h);
    }
};

// Start listen socket.
std::unique_ptr<SOCKET,SocketDeleter> sock(socket(AF_UNSPEC,SOCK_STREAM,IPPROTO_UDP));

在这个实现中不喜欢的是,我想要使用的任何不同类型的资源,我需要复制/粘贴相同的代码才能更改关闭功能.

我可以使用一个宏,但这真的很丑,不能使用两次

#define RAII_UNIQUE_RESOURCE(varName,classtype,init,closure)  \
struct deleterMacro                                             \
{                                                               \
    typedef classtype pointer;                                  \
    void operator()(classtype h)                                \
    {                                                           \
        closure(h);                                             \
    }                                                           \
};                                                              \
std::unique_ptr<classtype,deleterMacro> varName(init);

// Compile,but breaks as soon as 2 sockets defined.
RAII_UNIQUE_RESOURCE(sock,SOCKET,socket(AF_UNSPEC,IPPROTO_UDP),::closesocket);

我试图使用一个模板,但是据我所知,我不能将我的函数指针传递给operator()函数.

template<class T,class methodDeclaration,class pFuncPointer>
struct deleter
{
    typedef T pointer;

    void operator()(T h)
    {
        // Is there a way?? 
        methodDeclaration toCall = pFuncPointer;
        toCall(h);
    }
};
// With a call such as ...
std::unique_ptr<SOCKET,deleter<SOCKET,std::function<decltype(::closesocket)>,::closesocket>> sock2(socket(AF_UNSPEC,IPPROTO_UDP));

解决方法

使用std :: unique_ptr,RAII一个FILE *的例子是众所周知的:
struct FILEDeleter
{
    typedef FILE *pointer;
    void operator()(FILE *fp) { fclose(fp); }
};

typedef std::unique_ptr<FILE,FILEDeleter> FilePtr;

FilePtr f(fopen("file.txt","r"));

唉,类似于POSIX的方法close()对RAII的文件描述符是不可能的:

struct FDDeleter
{
    typedef int pointer;
    void operator()(int fd) { close(fp); }
};

typedef std::unique_ptr<int,FDDeleter> FD;

虽然一些编译器将工作正常,但它是无效的,因为fd == 0是一个有效的文件描述符!空值应为-1.但是无论如何,即使是0,它仍然无效,因为FDDeleter ::指针将满足NullablePointer(求和)的要求:

>它应该与nullptr相当.
>它将被值初始化为等于nullptr的值.

因此,UniqueHandle诞生了!

#include <memory>

template <typename T,T TNul = T()>
class UniqueHandle
{
public:
    UniqueHandle(std::nullptr_t = nullptr)
        :m_id(TNul)
    { }
    UniqueHandle(T x)
        :m_id(x)
    { }
    explicit operator bool() const { return m_id != TNul; }

    operator T&() { return m_id; }
    operator T() const { return m_id; }

    T *operator&() { return &m_id; }
    const T *operator&() const { return &m_id; }

    friend bool operator == (UniqueHandle a,UniqueHandle b) { return a.m_id == b.m_id; }
    friend bool operator != (UniqueHandle a,UniqueHandle b) { return a.m_id != b.m_id; }
    friend bool operator == (UniqueHandle a,std::nullptr_t) { return a.m_id == TNul; }
    friend bool operator != (UniqueHandle a,std::nullptr_t) { return a.m_id != TNul; }
    friend bool operator == (std::nullptr_t,UniqueHandle b) { return TNul == b.m_id; }
    friend bool operator != (std::nullptr_t,UniqueHandle b) { return TNul != b.m_id; }

private:
    T m_id;
};

它的用法很容易,最好用一个例子来看:

struct FDDeleter
{
    typedef UniqueHandle<int,-1> pointer;
    void operator()(pointer p)
    {
        close(p);
    }
};
typedef std::unique_ptr<int,FDDeleter> FD;

FD fd(open("test.txt",O_RDONLY));

如果你真的想要一个班轮,你可以随着这个泛化:

template <typename T,T TNul = T(),typename RD,RD (*D)(T)>
struct OLDeleter
{
    typedef UniqueHandle<T,TNul> pointer;
    void operator()(pointer p)
    {
        D(p);
    }
};

然后只有一行:

std::unique_ptr<int,OLDeleter<int,-1,int,close> > FD fd(open("test.txt",O_RDONLY));

问题是你必须添加close()的返回值作为模板参数,并假设没有任何有趣的这个函数,阻止它转换为int(*)(int)(奇怪的调用约定,额外的参数,宏…),这是非常不方便的.

你可以添加一个函数包装器:

void my_close(int fd) { close(fd); }

但是,如果你进入它,你也可以写整个结构FDDeleter.

版权声明:本文内容由互联网用户自发贡献,该文观点与技术仅代表作者本人。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如发现本站有涉嫌侵权/违法违规的内容, 请发送邮件至 dio@foxmail.com 举报,一经查实,本站将立刻删除。

相关推荐


对象的传值与返回说起函数,就不免要谈谈函数的参数和返回值。一般的,我们习惯把函数看作一个处理的封装(比如黑箱),而参数和返回值一般对应着处理过程的输入和输出。这种情况下,参数和返回值都是值类型的,也就是说,函数和它的调用者的信息交流方式是用过数据的拷贝来完成,即我们习惯上称呼的“值传递”。但是自从引
从实现装饰者模式中思考C++指针和引用的选择最近在看设计模式的内容,偶然间手痒就写了一个“装饰者”模式的一个实例。该实例来源于风雪涟漪的博客,我对它做了简化。作为一个经典的设计模式,本身并没有太多要说的内容。但是在我尝试使用C++去实现这个模式的实例的时候,出现了一些看似无关紧要但是却引人深思的问题
关于vtordisp知多少?我相信不少人看到这篇文章,多半是来自于对标题中“vtordisp”的好奇。其实这个关键词也是来源于我最近查看对象模型的时候偶然发现的。我是一个喜欢深究问题根源的人(有点牛角尖吧),所以当我第一次发现vtordisp的时候,我也是很自然的把它输进google查找相关资料,但
那些陌生的C++关键字学过程序语言的人相信对关键字并不陌生。偶然间翻起了《C++ Primer》这本书,书中列举了所有C++的关键字。我认真核对了一下,竟然发现有若干个从未使用过的关键字。一时间对一个学了六年C++的自己狠狠鄙视了一番,下决心一定要把它们搞明白!图1红色字体给出的是我个人感觉一般大家
命令行下的树形打印最近在处理代码分析问题时,需要将代码的作用域按照树形结构输出。问题的原型大概是下边这个样子的。图中给了一个简化的代码片段,该代码片段包含5个作用域:全局作用域0、函数fun作用域1、if语句作用域2、else语句作用域3和函数main作用域4。代码作用域有个显著的特点就是具有树形结
虚函数与虚继承寻踪封装、继承、多态是面向对象语言的三大特性,熟悉C++的人对此应该不会有太多异议。C语言提供的struct,顶多算得上对数据的简单封装,而C++的引入把struct“升级”为class,使得面向对象的概念更加强大。继承机制解决了对象复用的问题,然而多重继承又会产生成员冲突的问题,虚继
不要被C++“自动生成”所蒙骗C++对象可以使用两种方式进行创建:构造函数和复制构造函数。假如我们定义了类A,并使用它创建对象。Aa,b;Ac=a;Ad(b);对象a和b使用编译器提供的默认构造函数A::A()创建出来,我们称这种创建方式为对象的定义(包含声明的含义)。对象c和d则是使用已有的对象,
printf背后的故事 说起编程语言,C语言大家再熟悉不过。说起最简单的代码,Helloworld更是众所周知。一条简单的printf语句便可以完成这个简单的功能,可是printf背后到底做了什么事情呢?可能很多人不曾在意,也或许你比我还要好奇!那我们就聊聊printf背后的故事。 一、printf
定义 浮点数就是小数点位置不固定的数,也就是说与定点数不一样,浮点数的小数点后的小数位数可以是任意的,根据IEEE754-1985(也叫IEEE Standard for Binary Floating-Point Arithmetic)的定义,浮点数的类型有两种:单精度类型(用4字节存储)和双精度
在《从汇编看c++的引用和指针》一文中,虽然谈到了引用,但是只是为了将两者进行比较。这里将对引用做进一步的分析。1 引用的实现方式在介绍有关引用的c++书中,很多都说引用只是其引用变量的一个别名。我自己不是很喜欢这种解释,因为觉得这种解释会给人误解,好像引用和变量就是一回事,而且,书中也没有给出,为