如何在C++中为igraph的C对象封装自定义RAII类？

我正在使用igraph库，这个库大量使用自定义函数进行内存分配与释放。我想通过RAII机制避免忘记释放内存的问题——原来的代码需要手动调用igraph_vector_destroy释放内存，现在希望把igraph_vector_t替换成带有自动调用igraph_vector_destroy析构函数的自定义C++类，而且不用通过.vec访问内部对象，能直接当作原类型传入函数使用。

原有代码示例：

void doSomething() {
   igraph_vector_t shortest_path;

   igraph_get_shortest_path_dijkstra(
      someargs...,
      &shortest_path
      someargs...
   )

   igraph_vector_destroy(&shortest_path);
};

期望实现的代码：

void doSomething() {
   raii_igraph_vector_t shortest_path;

   igraph_get_shortest_path_dijkstra(
      someargs...,
      &shortest_path
      someargs...
   )
}

我已经实现的封装结构：

struct raii_igraph_vector_int {
    igraph_vector_int_t vec;
    ~RAIIVectorInt(){
        igraph_vector_int_destroy(&vec);
    }
};

但现在需要通过&shortest_path.vec传入函数，想知道能不能省去.vec，直接当作原类型使用。

可以通过public继承igraph的向量结构体来实现需求，因为igraph的结构体属于标准布局类型，继承后子类的内存布局与基类兼容，指针可以安全向上转换，直接取RAII对象的地址就能当作原类型指针传入函数。

具体实现代码如下：

// 针对igraph_vector_t的RAII封装
struct raii_igraph_vector_t : public igraph_vector_t {
    ~raii_igraph_vector_t() {
        // 析构时自动调用销毁函数，this指针直接指向基类部分
        igraph_vector_destroy(this);
    }
};

// 同理，针对igraph_vector_int_t的封装
struct raii_igraph_vector_int_t : public igraph_vector_int_t {
    ~raii_igraph_vector_int_t() {
        igraph_vector_int_destroy(this);
    }
};

这样使用时，直接声明raii_igraph_vector_t shortest_path;，然后将&shortest_path传入需要igraph_vector_t*的函数即可——因为继承关系，raii_igraph_vector_t*可以隐式转换为igraph_vector_t*，完全符合期望代码写法。

如果igraph的函数要求传入的向量必须先初始化（部分函数不会自动初始化传入的向量），可以给RAII类添加构造函数完成初始化，同时禁用拷贝、支持移动语义避免内存问题：

struct raii_igraph_vector_t : public igraph_vector_t {
    // 默认构造：初始化为空向量
    raii_igraph_vector_t() {
        igraph_vector_init(this, 0);
    }

    // 带初始大小的构造函数
    explicit raii_igraph_vector_t(igraph_integer_t size) {
        igraph_vector_init(this, size);
    }

    ~raii_igraph_vector_t() {
        igraph_vector_destroy(this);
    }

    // 禁止拷贝，避免double free
    raii_igraph_vector_t(const raii_igraph_vector_t&) = delete;
    raii_igraph_vector_t& operator=(const raii_igraph_vector_t&) = delete;

    // 允许移动语义
    raii_igraph_vector_t(raii_igraph_vector_t&&) noexcept = default;
    raii_igraph_vector_t& operator=(raii_igraph_vector_t&&) noexcept = default;
};

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