使用Ctypes和Foreign从OCaml向C库传递字符串

我对OCaml真的很陌生，想尝试使用pcap做一些工作，作为开始的一种方式，只是，似乎没有为它维护的库。在看了这本很棒的真实世界OCaml书籍之后，我想我应该尝试一下编写装订

下面是（糟糕的）代码片段：

open Ctypes
open Foreign
open PosixTypes
let char_ptr = "                 "

let pcap_lookupdev = foreign "pcap_lookupdev" (string @-> returning string_opt)

let result = pcap_lookupdev char_ptr

let test2 =
    match result with
    | None -> char_ptr
    | Some str -> str
 ;;

print_string test2;;

pcap_lookupdev函数返回包含设备名称的字符串或空指针。这一点似乎工作得很好（尽管我知道我的代码几乎不是惯用的）

在用C编写时，需要提供一个字符数组来保存任何错误消息。因此，如果返回空指针，您应该失败，原因保留在此字符数组中。此字符数组的长度应为“PCAP\u ERRBUF\u SIZE”。然而，我不知道有两件事：

如何从C库中提取该常量大小并创建该大小的字符串

将字符串正确传递给函数，以便正确填充错误消息

非常感谢您的任何帮助：）

对于1）将#ifdef’d符号输入OCaml最简单的方法是编写一个C程序，输出一个带有这些符号值的单独模块。然后，当需要符号时，只需在绑定中使用此模块。你可以找到这种方法的一个例子

对于2）我想说ctypes的

string

有点欺骗性，因为它似乎不是以双向方式工作的，也就是说，您应该只将它用于

const char*

或返回类型。在这种情况下，您需要使用字符数组，然后将其转换为字符串（此

char\u array\u as\u string

函数应添加到ctypes I）。下面是完整的示例，请注意，在未来的ctypes版本中，

Array

模块将其名称更改为

CArray

：

(* Compile with: ocamlfind ocamlopt -package ctypes.foreign -linkpkg -cclib -lpcap \
                                    -o test.native test.ml *)

open Ctypes;;
open Foreign;;

module Pcap : sig
  val lookupdev : unit -> [ `Ok of string | `Error of string ]
end = struct

  let errbuf_size = 256 (* N.B. This should not be hardcoded, see 1) above *)

  let char_array_as_string a =
    let len = Array.length a in 
    let b = Buffer.create len in 
    try 
      for i = 0 to len -1 do 
        let c = Array.get a i in 
        if c = '\x00' then raise Exit else Buffer.add_char b c
      done;
      Buffer.contents b 
    with Exit -> Buffer.contents b

  let lookupdev = 
    foreign "pcap_lookupdev" (ptr char @-> returning string_opt)

  let lookupdev () =
    let err = Array.make char ~initial:'\x00' errbuf_size in
    match lookupdev (Array.start err) with 
    | None -> `Error (char_array_as_string err)
    | Some dev -> `Ok dev

end

let test () = match Pcap.lookupdev () with 
| `Ok dev -> Printf.printf "dev: %s\n" dev
| `Error err -> Printf.printf "error: %s\n" err

let () = test ()

---

谢谢你如此详细和完整的回答——没有你的帮助，我不可能得到这个答案。谢谢，新年快乐