如何在Rust通过FFI安全释放C++数组？能否复用单元素释放函数？

问题 #

我在编写Rust与C的FFI程序，现有一个通过以下代码创建的C数组指针T*已传入Rust端，需要对其进行释放：

T* array = new T[len];
// Some initialization codes

已知该数组可通过delete [] array;释放。目前我已实现用于释放单个T元素的函数：

void ffi_delete_pointer_of_T(void * arr) {
    delete reinterpret_cast<T *>(arr);
}

也可实现专门的数组释放函数ffi_delete_array_of_T，或合并为带标识的函数：

void ffi_delete_whatever_of_T(void * arr, bool is_array) {
    if (is_array)
        delete [] reinterpret_cast<T *>(arr);
    else
        delete reinterpret_cast<T *>(arr);
}

但觉得上述方案存在冗余，想知道仅提供ffi_delete_pointer_of_T时，Rust能否实现数组释放？已知C++的delete []依赖分配时存储的数组长度，但Rust端并不知晓该长度，是否有其他可行方案？

回答 #

仅靠现有的ffi_delete_pointer_of_T，Rust端绝对无法正确释放C++数组，因为C++的delete和delete[]是完全不兼容的操作，混用会直接触发未定义行为，比如内存泄漏、程序崩溃、数据损坏。

底层逻辑说明 #

C++用new[]分配数组时，会在返回给你的指针前方额外存储数组长度等元数据——这些数据属于编译器或标准库内部管理的内容，Rust端根本无法访问。delete[]会读取这些元数据，逐个调用数组元素的析构函数，再释放对应大小的内存；而delete是针对单个对象设计的，它不会读取这些元数据，直接按单个对象的逻辑释放，结果必然出错。

可行方案 #

不存在绕开C++标准要求的“捷径”，只能用以下清晰安全的方式处理：

• 最推荐：拆分两个独立释放函数
  直接实现专门的数组释放函数，和单个对象的释放函数分开，职责明确，完全避免误用：

  void ffi_delete_array_of_T(void* arr) {
      delete[] reinterpret_cast<T*>(arr);
  }
  

  Rust端释放数组时调用ffi_delete_array_of_T，释放单个对象时调用ffi_delete_pointer_of_T，逻辑清晰，没有歧义。

• 可选：带标识的合并函数
  如果不想写两个函数，带is_array参数的方案是可行的，但必须确保Rust端调用时严格传递正确的标识——一旦传错，同样会触发未定义行为：

  void ffi_delete_whatever_of_T(void* arr, bool is_array) {
      if (is_array) {
          delete[] reinterpret_cast<T*>(arr);
      } else {
          delete reinterpret_cast<T*>(arr);
      }
  }
  

总之，不要试图在Rust端“自己实现”C数组的释放逻辑，必须依赖C提供的对应释放函数，这是保证内存安全的唯一正确方式。

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