Question

我在Haskell模块中有以下数据类型，我想编写一个可存储的实例，通过FFI使用它：

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中的相同，但只有当列表中的所有元素都具有相同的大小时，此实现才有效。

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

Answer 1

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

如何为递归类型创建可存储实例？

1 个答案: