在C++ RAII包装ERESOURCE时，如何在删除前检查其是否为空？

ERESOURCE是内核模式下的执行资源结构体，不能直接通过结构体本身判断是否已初始化——内核结构体的内部成员属于未公开实现细节，直接访问会破坏封装性，甚至引发兼容性问题。正确的做法是在RAII类中自行跟踪资源的初始化状态。

解决方案：新增初始化状态标记 #

在类中添加一个bool类型成员变量，专门记录当前ERESOURCE是否完成初始化。修改后的代码如下：

#include <ntddk.h>

class ExecutiveResource
{
public:
    ExecutiveResource()
    {
        ExInitializeResource(&resource);
        isInitialized = true;
    }

    ~ExecutiveResource()
    {
        if (isInitialized)
        {
            ExDeleteResourceLite(&resource);
            isInitialized = false;
        }
    }

    ExecutiveResource(const ExecutiveResource&) = delete;
    ExecutiveResource& operator=(const ExecutiveResource&) = delete;

    ExecutiveResource(ExecutiveResource&& other) noexcept
        : resource(other.resource), isInitialized(other.isInitialized)
    {
        other.isInitialized = false;
        other.resource = {};
    }

    ExecutiveResource& operator=(ExecutiveResource&& other) noexcept {
        if (this != &other) {
            if (isInitialized) {
                ExDeleteResourceLite(&resource);
            }
            resource = other.resource;
            isInitialized = other.isInitialized;
            other.isInitialized = false;
            other.resource = {};
        }
        return *this;
    }

    void AcquireExclusive()
    {
        ExEnterCriticalRegionAndAcquireResourceExclusive(&resource);
    }

    void AcquireShared()
    {
        ExEnterCriticalRegionAndAcquireResourceShared(&resource);
    }

    void Release()
    {
        ExReleaseResourceAndLeaveCriticalRegion(&resource);
    }

private:
    ERESOURCE resource{};
    bool isInitialized = false; // 跟踪资源初始化状态
};

关键细节说明 #

• 初始化状态跟踪：isInitialized变量严格对应ExInitializeResource和ExDeleteResourceLite的调用时机，确保只有已初始化的资源才会被销毁，避免内核函数调用错误。
• 移动操作的所有权转移：移动构造和赋值中，必须同时转移资源的初始化状态，并将原对象的状态重置为未初始化，防止原对象析构时重复销毁资源。
• 严谨性补充：虽然ExInitializeResource在现代内核中极少失败，但如果需要极致严谨，可以检查其返回的NTSTATUS值，失败时不设置isInitialized，避免后续错误销毁未初始化的资源。

内容的提问来源于stack exchange，提问作者Vecljox