Haskell的FFI - 回報更新結構

我有以下C功能，我想從Haskell撥打：Haskell的FFI - 回報更新結構

void read_params_for (property_list_t *props);

功能應該接受一些property_list_t，並在其中填充一些值，所以再調用者一個更新的結構。

我擁有所有property_list_t必要的包裝（如Storable等），但我無法弄清楚如何包裝這一功能爲像

readParamsFor :: ForeignPtr PropertyListT -> IO (ForeignPtr PropertyListT)

我使用C2HS試過了，我也嘗試手動寫入FFI綁定，如：

foreign import ccall "read_params_for" 
    readParamsFor' :: Ptr PropertyListT -> IO() 

readParamsFor :: ForeignPtr PropertyListT -> IO (ForeignPtr PropertyListT) 
readParamsFor ps = do 
    withForeignPtr ps $ \ps' -> do 
     res <- readParamsFor' ps' 
     pl <- newForeignPtr propertyListDestroy ps' 
     return pl

但是在這兩種情況下，我找回原來的「underpopulated」列表。

我如何獲得更新結構回Haskell？

來源

2017-08-29 Alexey Raga

那麼'Foreign.Storable.poke'？ – arrowd

爲什麼你返回另一個指針？ 'ForeignPtr PropertyListT - > IO（ForeignPtr PropertyListT）'讀作'property_list_t * read_params_for（property_list_t * props）'。由於後者返回'void'，我會使用'ForeignPtr PropertyListT - > IO（）'來代替。你不應該需要'newForeignPtr'。 – chi

你的函數可以簡單地寫成'readParamsFor p = withForeignPtr p readParamsFor'>> return p';如果這不起作用，那麼你的實現在其他地方存在問題（並且由於沒有給出可驗證的例子，所以不可能確定它在哪裏）。這與在C函數本身中返回指定爲輸入的指針沒有區別。 – user2407038

我意識到在C庫中有一個我想使用的bug，如果bug不存在，那麼簡單的withForeignPtr就足夠了。

來源

2017-09-08 09:24:14

Haskell的FFI - 回報更新結構

回答

相關問題