- html - 出于某种原因,IE8 对我的 Sass 文件中继承的 html5 CSS 不友好?
- JMeter 在响应断言中使用 span 标签的问题
- html - 在 :hover and :active? 上具有不同效果的 CSS 动画
- html - 相对于居中的 html 内容固定的 CSS 重复背景?
我希望通过将 OCaml 编译为包含 C 接口(interface)的静态或共享库来通过 C++ 调用 OCaml 代码。 This page似乎解释了如何为 OCaml 创建 C 接口(interface)。但是我该怎么做并编译它呢?以及如何获取要加载到我的 C++ 代码中的 .h 文件?
此外,有人可以解释一下是这部分吗:
The OCaml runtime system comprises three main parts: the bytecodeinterpreter, the memory manager, and a set of C functions thatimplement the primitive operations. Some bytecode instructions areprovided to call these C functions, designated by their offset in atable of functions (the table of primitives).
我认为 OCaml 可以编译成本地机器语言。为什么它被编译成字节码并在运行时解释?是一直如此,还是仅适用于使用 C 接口(interface)编译的 OCaml 库?
最佳答案
该页面的大部分内容都描述了如何从 OCaml 调用 C。你想做相反的事情,这在 Advanced Topics: callbacks from C to OCaml 中有描述。 , 靠近页面底部。
正如您所说,当您进行 native 编译时,不涉及字节码。 native 编译器 (ocamlopt) 生成普通对象(Unix 中的 .o)文件和包含 OCaml 元数据的额外文件。
如果你看Advanced Example with callbacks ,您将看到一个示例,其中主程序在 C 中,调用 OCaml 中定义的两个函数。事情应该在 C++ 中类似地工作。 (不过,我自己只在 C 中完成过。)
更新
这是使用带有回调的高级示例 中的代码的已解决示例。我在 Ubuntu 18.04.4 (x86_64) 上运行这段代码。
OCaml 代码如下所示:
$ cat mod.ml
let rec fib n = if n < 2 then 1 else fib (n - 1) + fib (n - 1)
let format_result n = Printf.sprintf "Result is: %d\n" n
let () = Callback.register "fib" fib
let () = Callback.register "format_result" format_result
编译这段代码并请求一个完整的目标文件:
$ ocamlopt -output-obj -o bigmod.o mod.ml
将 C 代码重命名为 modwrap.cc。 (代码在 OCaml 手册部分给出。)
$ head -6 modwrap.cc
#include <stdio.h>
#include <string.h>
#include <caml/mlvalues.h>
#include <caml/callback.h>
int fib(int n)
请注意,OCaml 包含文件是根据它们是从 C 还是 C++ 包含的条件化的(如今几乎所有头文件都是如此)。
OCaml 手册部分的主要功能也是有效的 C++;将其重命名为 main.cc:
$ head -7 main.cc
#include <stdio.h>
#include <caml/callback.h>
extern int fib(int n);
extern char * format_result(int n);
int main(int argc, char ** argv)
现在编译并链接一切:
$ g++ -c modwrap.cc
$ g++ -o myprog -I $(ocamlopt -where) \
main.cc modwrap.o bigmod.o $(ocamlopt -where)/libasmrun.a -ldl
$
现在运行程序
$ ./myprog
fib(10) = Result is: 89
没有自动生成头文件。在本例中,main.cc
的extern
行本质上是头文件。如果你想要一个头文件,你必须自己写这样的东西。
更新 2
以下是创建包含 OCaml 函数及其包装器的实际静态库的命令。这假设您已经完成上述编译以创建 bigmod.o 和 modwrap.o:
$ cp $(ocamlopt -where)/libasmrun.a libmyoc.a
$ ar r libmyoc.a bigmod.o modwrap.o
现在您可以在您的 C++ 代码中使用这个库(由 main.cc 表示):
$ g++ -o myprog -I $(ocamlopt -where) main.cc -L . -lmyoc -ldl
$ ./myprog
fib(10) = Result is: 89
更新 3
(我更新了上面的命令以在 Unbuntu 上工作。)
关于c - OCaml 作为 C 库, Hello World 示例,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/61416259/
Java 库和 android 库有什么区别,各自有什么优点/缺点? 最佳答案 您可以在 Android 应用程序中包含标准 Java .jar 文件库。它们在 .apk 构建时被翻译成 Dalvik
所以,我现在的代码就像从 Java 层加载库(比如 liba.so),并在内部 liba.so 加载 libb.so。因此,如果我必须将所有库打包到 APK 中并将其安装在没有 root 访问权限的设
我想在我的系统中设置 LEDA 库。 我已经从以下链接下载了 LEDA 库 http://www.algorithmic-solutions.info/free/d5.php Instruct
我想用 autoconf 创建一个共享库。但是,我希望共享库具有“.so”扩展名,而不是以“lib”开头。基本上,我想制作一个加载 dlopen 的插件。 .是否有捷径可寻? 当我尝试使用 autoc
我需要在 Apps 脚本应用程序上修改 PDF。为此,我想使用 JS 库:PDF-LIB 我的代码: eval(UrlFetchApp.fetch("https://unpkg.com/pdf-lib
我正在构建一个使用以下 Boost header 的程序(我使用的是 Microsoft Visual C++ 10), #include #include #include #include
当我通过 cygwin 在 hadoop 上运行此命令时: $bin/hadoop jar hadoop-examples-*.jar grep input output 'dfs[a-z.]+' 我
我已经通过 vcpgk 成功安装了一个 C++ 库,名为:lmdb:x64-windows 我还安装了lmdb通过 Cabal 安装的 Haskell 绑定(bind)包 在尝试测试 lmdb 包时:
我该如何解决这个问题? 我刚刚将 javacv jar 文件复制到我的项目 Lib 文件夹下,但出现了这个错误! 我可以找到这个thread来自谷歌,但不幸的是,由于我国的谷歌限制政策,该页面无法打开
我有一个 Android 库项目 FooLib。 FooLib 引用 Android Context 之类的东西,但不需要任何资源文件(res/ 中的东西)所以我目前将其打包为供我的应用使用的 JAR
我正在开发一个 Android 应用程序(使用 Android Studio),它能够通过手势识别算法了解您正在进行的 Activity 。对于我使用 nickgillian ithub 帐户上可用的
关于从 .NET Framework 项目中引用 .NET Standard 类库的问题有很多类似的问题,其中 netstandard 库中的 NuGet 包依赖项不会流向 netframework
我已经从互联网上下载了 jna-4.2.2.jar,现在想将这个 jar 导入到我的项目中。但是当我试图将这个 jar 导入我的项目时,出现以下错误。 [2016-06-20 09:35:01 - F
我正在尝试通过编译在 Mac 上安装 rsync 3.2.3。但是,我想安装所有功能。为此,它需要一些库,此处 ( https://download.samba.org/pub/rsync/INSTA
进入 Web 开发有点困难。过去 5 年我一直致力于 winforms 工作。所以我正在努力从一种切换到另一种。前段时间,我使用过 JavaScript,但现在还没有大量的 JavaScript 库
很难说出这里要问什么。这个问题模棱两可、含糊不清、不完整、过于宽泛或夸夸其谈,无法以目前的形式得到合理的回答。如需帮助澄清此问题以便重新打开,visit the help center . 关闭 1
我正在寻找一个用Python编写的与logstash(ruby + java)类似的工具/库。 我的目标是: 从 syslog 中解析所有系统日志 解析应用程序特定日志(apache、django、m
就目前情况而言,这个问题不太适合我们的问答形式。我们希望答案得到事实、引用资料或专业知识的支持,但这个问题可能会引发辩论、争论、民意调查或扩展讨论。如果您觉得这个问题可以改进并可能重新开放,visit
我花了几天时间试图寻找用于 JavaPOS 实现的 .jar 库,但我找不到任何可以工作的东西。我找到了很多像这样的文档:http://jpos.1045706.n5.nabble.com/file/
这个问题在这里已经有了答案: Merge multiple .so shared libraries (2 个答案) 关闭 9 年前。 我有我在代码中使用的第三方库的源代码和对象。该库附带有关如何使
我是一名优秀的程序员,十分优秀!