有条件地使用 RAII 的最佳方法

Question

我有一个很好的资源管理课程。具体来说，让它成为一个用于管理 FILE* 的 File 类（处理打开和关闭操作）

当资源不需要由我管理并且由其他人负责的情况下，通常的方法是什么？

出于说明目的，我目前有这样的东西：

int main(int argc, char** argv)
{
    File my_file(argv[1]); //I unconditionaly obtain the resource
    //...
    return 0;  //and unconditionally relinquish with the destructor
}

并且想要类似的东西

int main()
{
    if(argc <= 1){
        //use stdin that is already available
    }else{
        //obtain a file from argv[1]
    }
    //...
    if(argc <= 1){
        //nothing to do
    }else{
        //close the file we obtained
    }
}

（但不那么丑陋，更强大，等等......）

Answer 1

boost::shared_ptr 允许您传入自定义析构函数。如果您要包装外部管理的指针，则可以传递无操作：

namespace {
template<typename T>
void noop_destruct(T *) throw() { }
}

template<typename T>
boost::shared_ptr<T> make_dummy_shared_ptr(T *p) {
    return boost::shared_ptr<T>(p, noop_destruct);
}

现在，当您需要真正的 RAII 对象时，请使用普通的 boost::shared_ptr，当您需要假的时，使用这样的适配器 - 它的作用与普通指针完全相同。

Answer 2

您的 RAII 类已经保留了足够的状态来知道何时销毁它所控制的资源。它还可以包含一个标志，告诉它资源是否应该被销毁，或者您可以在计数器上使用特殊值来指示资源是在类外部控制的。

那么你所需要的就是在获取资源时控制状态的方法。例如，您可以有两个不同的构造函数，或者构造函数上的参数具有默认值。您可以使用 Attach 方法来附加现有资源。这完全取决于你。

Answer 3

您可以将是否使用资源的逻辑推送到资源管理类中。那么就不再是有条件的了。只要做

int main(int argc, char** argv)
{
    File my_file(argc > 1 ? argv[1]: NULL); //If NULL, File will point to stdin
    //...
    return 0;  //File's destructor will run, relinquishing resources if necessary.
}

Answer 4

大多数常见模式不允许这样做。但是，您可以允许自定义分配器插件（标准为其容器提供了这些插件），这将允许这些语义。这是一个简短的示例 -

class Allocator {
    File* Allocate(...) {
        return fopen(...);
    }
};
class MyStdinAllocator {
    File* Allocate(...) {
        return ...;
    }
};
template<typename MyAllocator = Allocator> class File {
    File* ptr;
    Allocator alloc;
    File(..., const Allocator& allocref)
    : alloc(allocref) {
        ptr = alloc.Allocate(...);
    }
};