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

Question

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

在 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 数据结构完全一样，不需要显式 allocating/freeing 内存或 IO 单子。

Answer 1

“it uses IO monad, which is not satisfying because I want the wrapped data structure to behave exactly as a normal Haskell data structure”

当然可以，但遗憾的是这不太可能。外国“函数”总是可以做一些有趣的事情，而这些事情在 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

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

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

Calling a function at object deletion in Haskell

c++

garbage-collection

haskell

ffi