瞭解庫綁定

Question

我最近意識到可以通過爲該庫編寫一個綁定程序來使用爲另一種語言編寫的庫。 我遇到的問題是如何編寫活頁夾。 有人可以寫一個簡短的例子，將C庫（只有一個函數讓我能夠理解它）綁定到另一種語言嗎？

非常感謝你

Answer 1

這取決於語言及其實現。大多數語言實現文檔很好如何連接C函數對他們說：

• 對於C++，它主要是在聲明調用的函數extern "C"（但你必須要小心，egwrt例外）
• 爲Ocaml，閱讀約Interfacing C with Ocaml
• 爲Guile章，閱讀章Programming in C
• 爲SBCL，閱讀Foreign Function Interface部分。
• 爲CLISP，讀取其§32.3. The Foreign Function Call Facility
• 爲Python 3，閱讀其Extending & Embedding the Python Interpreter
• 爲MELT（一lispy領域特定語言擴展和定製的GCC編譯器），也有一些技巧和設施（code_chunk -s， defprimitive,defciterator,defcmatcher ...），以便更容易。
• 爲Ruby，瞭解To Ruby From C and C++
• 爲Lua，讀取其章4 – The Application Program Interface
• 爲EclipseCLP（Prolog的方言），讀取其Embedding and Interfacing manual
• 爲Java &其他JVM基於語言（即Clojure的或斯卡拉）瞭解更多關於JNI
• for Parrot，閱讀大約Parrot Dynamic C-level Objects
• for Neko，閱讀關於Neko FFI
• 等...

注意，你應該如何接口取決於實現了很多。 Memory management應該是一個特別的問題：許多語言都有garbage collector，你應該尊重它的不變式。同樣，某些語言實現是多線程的，您應該遵守與線程相關的規則。一些實現需要一些特定的C接口來添加新的基元，而另一些則更加靈活。一些實現允許回調（即調用C語言函數的語言函數調用一些語言函數），但其他實現則不然。

還要注意相同語言的兩個不同的實施方式（例如CLISP和SBCL都是Common Lisp實現）具有不同的（並且通常不相容）接口到C的方法

由於Oliver Chalesworth評論，你可能會看看Swig裏面，這可能會爲你生成一些膠水代碼。

我的感覺是，最重要的是要理解語言使用的垃圾回收器的約束。您可能（或不需要）使用它的finalization工具（例如，文檔句柄或數據庫句柄是否通過在GC內部定稿或通過用戶調用的某個函數隱式關閉？）。您可能想要閱讀Garbage Collection Handbook以獲得不同GC技術的概述。

GTK庫有很多language bindings及其GObjectIntrospection層聲明以促進語言綁定。您可能還會對libffi感興趣（至少如果您正在實施某種語言）。