在 Haskell 中删除对象时调用函数

Question

我正在为 C++ 类编写 Haskell 包装器。我决定将其表示为包含指向 C++ 中类实例的指针 (Foreign.Ptr) 的 Haskell 数据结构。类似的东西。

在 C++ 中：

class MyClass {
public:
    double my_method();

    // ...
};

extern "C" MyClass* cpp_new_MyClass() {
    return new MyClass();
}

extern "C" double cpp_my_method(MyClass *obj) {
    return obj->my_method();
}

在 Haskell 中：

Data MyClass = MyClass (Ptr ())

foreign import ccall "cpp_new_MyClass" cppNewMyClass :: Ptr () 
foreign import ccall "cpp_my_method" cppMyMethod :: Ptr () -> Double

mkMyClass :: MyClass
mkMyClass = MyClass cppNewMyClass

myMethod :: MyClass -> Double
myMethod (MyClass ptr) = cppMyMethod ptr

问题是，我不知道如何正确实现 MyClass 删除。在某些时候，Haskell 垃圾收集器会删除 MyClass 对象，但不会触发 C++ 中的 MyClass* 内存释放。我该如何解决？

我知道ForeignPtr，但它使用IO monad，这并不令人满意，因为我希望包装的数据结构与普通的 Haskell 数据结构完全一样，而不需要显式分配/释放内存或IO monads。

Answer 1

“它使用IO monad，这并不令人满意，因为我希望包装的数据结构与普通的 Haskell 数据结构完全一样”

当然可以，但不幸的是，这实际上是不可能的。外来的“函数”总是可以做一些在 Haskell 中不可能做的有趣的事情；类型系统无法查看并阻止它。

这种困境是我们拥有unsafePerformIO 的唯一 (!) 原因，而您的确实是该事物有效应用的一个很好的例子。

我自己还没有这样做，但是您的代码应该如下所示：

extern "C" void cpp_delete_MyClass(MyClass* obj) {
    delete obj;
}

foreign import ccall "cpp_new_MyClass" cppNewMyClass :: IO (Ptr ())
foreign import ccall "&cpp_delete_MyClass" cppDeleteMyClass :: FunPtr (Ptr () -> IO ())

data MyClass = MyClass (ForeignPtr ())

mkMyClass :: MyClass
mkMyClass = unsafePerformIO $ do
   newObj <- cppNewMyClass
   fPtr <- newForeignPtr cppDeleteMyClass newObj
   return $ MyClass fptr

我不太确定那些FunPtrs，希望有人对此发表评论......