c - 如何为递归类型创建 Storable 实例？

Question

我在 Haskell 模块中有以下数据类型，我想编写一个可存储实例以通过 FFI 将其与 C 一起使用:

data MyType a =
        TypeDouble Double
      | TypeLst [a] 
      | TypeAdd (MyType a) (MyType a) 

我首先定义了 sizeOf 函数:

instance Storable a => Storable (MyType a)  where
  sizeOf (TypeDouble _) = sizeOf (0 :: Double)
  sizeOf (TypeLst lst)  = sum $ map sizeOf lst
  sizeOf (TypeAdd a b)  = sizeOf a + sizeOf b

它编译得很好，但我不知道如何实现 peek 和 poke 功能。我认为以与 this answer 中相同的方式实现这些功能但只有当列表中的所有元素都具有相同的大小时，此实现才有效，而这里不是这种情况。

对于元素具有 float 大小的递归类型，实现 peek 和 poke 函数的正确方法是什么？

Answer 1

你不能为此设置一个Storable。这些数据类型需要有固定的大小，就像 C struct 一样。另外，请注意 sizeof 不应该检查您给它的值。它只是类型参数的代理/载体，因此您可以编写例如sizeof (undefined::Int)。也许看看Foreign.Marshal.Array