haskell - 可存储的空数据声明

我正在尝试为C库创建Haskell包装器。基础结构太复杂，无法表达为显式类型，除了在C函数之间传递外，我实际上没有使用它们，因此我使用EmptyDataDecls让GHC为我解决。

我需要的是指向这些数据类型之一的指针，但是当我尝试使用alloca创建数据类型时，它会提示该数据不是Storable类型。例如:

{-# LANGUAGE ForeignFunctionInterface, EmptyDataDecls #-}

module Main where

import Foreign.Marshal.Alloc
import Foreign.Ptr

data Struct

foreign import ccall "header.h get_struct"
    get_struct :: Ptr Struct -> IO ()

main = alloca $ \ptr -> get_struct ptr

GHC不会编译它，说Storable Struct没有实例。我可以自己实现:

instance Storable Struct where
    sizeOf _    = ...
    alignment _ = ...

但这几乎无法达到目的-如果我不在乎结构中的内容，我不想定义这些东西。

我注意到一个指向指针的指针可以正常工作，因为Ptr类是Storable。因此，我可以在调用peek之前在ptr上使用get_struct来实现我的目标:

main = alloca $ \ptr -> do
  ptr <- peek ptr
  get_struct ptr

但是，这感觉像是一个hack。

有没有一种方法可以在不定义实例的情况下将空数据声明视为Storable？

最佳答案

如果您不知道东西有多大，就无法分配。函数会忽略它的参数吗？然后传入一个空指针。否则，您实际上需要为该结构分配足够的空间-不要通过分配零字节或指针大小的缓冲区来偷工减料，否则被调用的函数将写入缓冲区的末尾，从而破坏内存。

完成数据声明，或编写具有适当大小和对齐值的Storable实例；无法以某种形式提供尺寸/对齐数据。

关于haskell - 可存储的空数据声明，我们在Stack Overflow上找到一个类似的问题：https://stackoverflow.com/questions/4794644/