可存储空数据声明

我正在尝试为 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 on ptr打电话之前get_struct:

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

不过，这感觉就像是黑客攻击。

有没有办法让空数据声明被考虑Storable没有定义实例？

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

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