0

我有一个需要访问的某个库的 C 头文件。因此，我使用 JNAerator 进行了无聊的代码转换——在我读到这些天人们推荐它之后。从我所看到的看来似乎很可靠：

public class Z3_apiLibrary implements Library {
public static final String JNA_LIBRARY_NAME = LibraryExtractor.getLibraryPath("z3_api", true, z3_api.Z3_apiLibrary.class);

    public static final NativeLibrary JNA_NATIVE_LIB = NativeLibrary.getInstance(JNA_LIBRARY_NAME, com.ochafik.lang.jnaerator.runtime.MangledFunctionMapper.DEFAULT_OPTIONS);

static {
    Native.register(JNA_LIBRARY_NAME);
    }
public static interface Z3_lbool {
public static final int Z3_L_FALSE = -1;
public static final int Z3_L_UNDEF = 0;
public static final int Z3_L_TRUE = 1;
};

public static interface Z3_symbol_kind {
public static final int Z3_INT_SYMBOL = 0;
public static final int Z3_STRING_SYMBOL = 1;
};

完整的代码在我的GitHub 上。

现在我想将 dll 实例化为一个对象，并将我编写的接口中的头信息作为包装器传递：

public class z3_Solver {

   public static void main(String[] args) {
    Z3_apiLibrary solver = (Z3_apiLibrary) Native.loadLibrary("z3", Z3_apiLibrary.class);
    Z3_apiLibrary config = new Z3_apiLibrary.Z3_config(); // will not work!


   }

令我惊讶的是，这不起作用。.Z3_config() 是抽象的。mk_config 是静态的和本机的。所以我也无法解决这个问题....实际上我认为需要将 Path 作为参数传递给 Native.loadLibrary 函数来定位 dll。我将 dll 放在与 Java 类相同的路径中。这令人困惑，我怀疑也是错误的。

那么实例化 JNAerator 生成的接口的正确方法是什么？

4

1 回答 1

1

您发布的标题没有定义 Z3_config 是什么，它只说 DEFINE_TYPE(Z3_config); 此标头没有足够的信息来生成有效的绑定。清理标题，删除所有#ifdef 等，包括这些类型实际上应该是什么，然后再次尝试生成代码。

于 2011-05-26T10:10:48.607 回答