使用 SBCL FFI 传递和接收字符串

Question

我有一个用优化的c（library.c）编写的复杂库：

#include <stdio.h>
#include "library.h"

void make_fullname(char* fullname, char* name, int version) {
  sprintf(fullname, "%s-%d", name, version);
  printf("lib-name: %s\n", name);
  printf("lib-fullname: %s\n", fullname);
}

其中library.h包含

void make_fullname(char* fullname, char* name, int version);

该库编译如下：

gcc library.c -o library.so -shared

我试图从SBCL中使用它，这是我的最终结果（我给出的那个）并转到 stackoverflow）：

(load-shared-object "library.so")

(define-alien-routine make_fullname void
  (fullname (c-string :external-format :ascii))
  (name (c-string :external-format :ascii))
  (x int))


(defun print-name-version (name version)
  (with-alien ((fullname (c-string :external-format :ascii)))
    (setf fullname (make-alien char 100))
    (setf fullname "dummy-string")
    (make_fullname fullname name version)
    (format t "~a~%" fullname)))

运行时，例如，（print-name-version "Program" 1）我得到了这个

lib-name: Program
lib-fullname: Program-1
dummy-string
NIL

所以，除了将字符串传递回 lisp 之外，一切正常。这个例子有什么问题吗？谢谢，安德烈。

更新 我已经让我的 lisp 代码可以工作了，但我仍然不明白为什么原始代码片段失败了。这是一个工作的：

(defun print-name-version (name version)
  (let ((fullname (make-alien char 100)))
    (make_fullname fullname name version)
    (with-alien ((fn-str-repr (c-string :external-format :ascii) fullname))
      (format t "~a~%" fn-str-repr))
    (free-alien fullname)))

Answer 1

我从未使用过 SBCL 原生 FFI 绑定，但我想我已经弄清楚了。为了将来参考，您更有可能获得有关 CFFI 的帮助，而不是实现特定的 FFI 绑定。

当从 Lisp 代码访问时，外来类型 c 字符串的变量会自动转换为 Lisp 字符串。顶层函数 make_fullname 是 Lisp 代码，它依次调用外星人例程，但此时 fullname 已转换为 Lisp 字符串，然后再转换为new c 字符串，调用完成后将被丢弃。

您需要执行编辑中所做的操作：分配存储缓冲区并将其传递给 Alien 函数，并将关联的 C 字符串变量视为该存储上的 Lisp 视图。