【发布时间】：2011-09-11 22:09:12
【问题描述】：
是否有关于 C++ 中 RAII 和/或安全释放的正式处理的研究论文？
【问题讨论】：
标签： memory-management computer-science language-design raii
【发布时间】：2011-09-11 22:09:12
【问题描述】：
看看“A Mechanized Semantics for C++ Object Construction and 销毁，应用到资源管理”（page，different PDF version），显然已提交给 POPL 2012；但 AFAIK 尚未经过同行评审。
有一个专门介绍 RAII 的部分，尽管它可能无法证明您想要什么：
我们无法证明保证正确封装的一般结果 类中的资源：这是程序验证的问题。我们 然而，可以证明在终止程序中，每个构造 子对象的值与析构正确匹配。
免责声明：我只是简单地浏览了这篇论文，我对形式语言语义几乎一无所知。
【讨论】：