haskell - 定义可存储实例时如何找到对齐值

Question

如果我可以访问头文件中的 C 结构定义，但想手动定义我的可存储实例而不使用 hsc2hs 之类的东西，我如何找到对齐值？

错误的对齐值也会导致崩溃或仅影响性能吗？

Answer 1

编辑:抱歉，我误读了这个问题，并认为您是在询问使用 hsc2hs 执行此操作，而不是没有。不正确的对齐会导致不正确的数据并导致崩溃(考虑是否正在编码结构数组)，因此您确实应该使用可移植的东西。

根据FFI cookbook , 你可以定义

#let alignment t = "%lu", (unsigned long)offsetof(struct {char x__; t (y__); }, y__)

然后用作

instance Storable Struct where
  alignment _ = #{alignment my_struct}
  sizeOf _ = #{size my_struct}

alignment关键字应该在 ghc > 7.2.1 中可用，因此您不需要使用非常新的 ghc 自己定义它。