我想知道C头文件和ABI是如何关联的。各种类型的大小是体系结构的,甚至依赖于编译器。那么如何才能可靠地链接到C库呢?
对于更具体的问题:当使用Haskell的FFI时,甚至只使用像CDouble这样的Haskell类型来定义(复制)C库接口。我不知道二进制字体大小信息从何而来。让链接起作用的诀窍是什么?
发布于 2013-08-07 23:44:27
请参阅此链接https://code.google.com/p/tabi
它可以帮助您避免Haskell和C之间可能存在的ABI差异带来的困难。
发布于 2016-03-07 17:24:30
库类型信息来自魔术宏,这些宏被运行以插入由autoconf从C编译器抓取的信息。
例如,在这里查看CDouble的定义:https://hackage.haskell.org/package/base-4.8.2.0/docs/src/Foreign.C.Types.html#CDouble
然后在下面的autoconf输入中查看HTYPE_DOUBLE大小的来源:https://hackage.haskell.org/package/base-4.8.2.0/src/include/HsBaseConfig.h.in
由于GHH是针对编译器/arch进行编译的(除了在特殊的交叉编译器模式下,这些模式是新的,并且在我不完全了解的方式上有所不同),这使得一切都正确地与ABI绑定在一起。
https://stackoverflow.com/questions/18106116
复制相似问题