RsImpl实现了Rs特质

这是该库的主要优势之一。它将从Java生成类型安全的绑定，并要求*RsImpl类型实现所有必需的本地函数。此外，它还正确地将Rust调用和Java（在撰写本文时仅测试了基本类型）之间的类型进行转换。编译器将有助于失败，直到所有本地接口都已实现。

以下是从integration_tests的示例，这些Java本地接口

public class NativePrimitives extends ParentClass {
    // basic test
    public static native void voidVoid();

    // a parameter
    public static native void voidLong(long foo);

    // ...
}

然后生成Rust中的一个特质

pub trait NativePrimitivesRs<'j> {
    fn from_env(env: JNIEnv<'j>) -> Self;
    fn void_void(&self, class: NetBluejekyllNativePrimitivesClass<'j>);
    fn void_long_j(
        &self, 
        class: NetBluejekyllNativePrimitivesClass<'j>, 
        arg0: i64
    );

    // ...
}

其中env应该捕获在from_env中，它构建Rust类型。然后从关联的C FFI函数调用绑定（无需直接使用这些函数）

#[no_mangle]
pub extern "system" fn Java_net_bluejekyll_NativePrimitives_voidVoid<'j>(
    env: JNIEnv<'j>, 
    class: NetBluejekyllNativePrimitivesClass<'j>
) -> JavaVoid {
    // ...
}

#[no_mangle]
pub extern "system" fn Java_net_bluejekyll_NativePrimitives_voidLong__J<'j>(
    env: JNIEnv<'j>, 
    class: NetBluejekyllNativePrimitivesClass<'j>, 
    arg0: JavaLong
) -> JavaVoid {
    // ...
}

所有调用Rust的函数都正确地封装在panic处理器中，并根据需要将错误转换为异常（反之亦然）。请参阅下面的Exceptions，Errors和Panics。

特定类的包装器，即回调到Java

在所有函数调用中，都有一个this参数可用于调用类的任何public方法。对于静态方法，this绑定到生成的*Class类型。静态方法调用和对象方法调用共享一个特质，该特质实现了这两个都公开所有public static方法。

以下是从inegration_tests的示例

    /// A constructor method wrapped and then the type returned from Rust to Java
    fn ctor(
        &self,
        _class: NetBluejekyllNativeStringsClass<'j>,
        arg0: String,
    ) -> NetBluejekyllNativeStrings<'j> {
        println!("ctor: {arg0}");
        NetBluejekyllNativeStrings::new_1net_bluejekyll_native_strings_ljava_lang_string_2(
            self.env, arg0,
        )
    }

支持超类

如果在 build.rs 中指定为 classes_to_wrap 选项，则除了指定的超类外，任何作为参数出现的类也将被包装（如果在类路径中找到）。要访问超类或接口及其方法，只需在对象上调用 this.as_{package}_{Class}() 即可（在静态原生方法上不起作用），然后可以在这个对象上调用超类的方法。

来自 integration_tests 的示例

    fn call_dad_native(
        &self,
        this: net_bluejekyll::NetBluejekyllNativePrimitives<'j>,
        arg0: i32,
    ) -> i32 {
        println!("call_dad_native with {arg0}");

        let parent = this.as_net_bluejekyll_parent_class();
        parent.call_1dad(self.env, arg0)
    }

异常、错误和恐慌

Rust 代码中的任何恐慌都将通过 std::panic::set_hook 和 std::panic::catch_unwind 被捕获。恐慌钩子将在 Java 中创建一个 RuntimeException（基于 Rust 中的 PanicInfo）。catch_unwind 将捕获恐慌并确保从原生方法返回一个适当的默认 null 值，这个值实际上毫无用处，因为异常应该使 Java 中的返回短路。

Java 类文件中的类型签名将用于评估异常。Rust 将生成一个枚举类型，其中包含可以在 Java 中抛出或由 jaffi 自动将 Rust 错误转换为 Java 异常的各种异常类型。Rust 生成的接口抽象出了方法接口中的这些对话。如果一个方法在其 throws 节中没有列出异常，但需要捕获这些异常，则可以通过生成的 JNIEnv（这些方法可用）手动完成。

来自 integration_tests 的示例

    fn throws_something(
        &self,
        _this: NetBluejekyllExceptions<'j>,
    ) -> Result<(), Error<SomethingExceptionErr>> {
        Err(Error::new(
            SomethingExceptionErr::SomethingException(SomethingException),
            "Test Message",
        ))
    }

    fn catches_something(
        &self,
        this: net_bluejekyll::NetBluejekyllExceptions<'j>,
    ) -> net_bluejekyll::NetBluejekyllSomethingException<'j> {
        let ex = this
            .i_always_throw(self.env)
            .expect_err("error expected here");

        #[allow(irrefutable_let_patterns)]
        if let SomethingExceptionErr::SomethingException(SomethingException) = ex.throwable() {
            net_bluejekyll::NetBluejekyllSomethingException::from(JObject::from(ex.exception()))
        } else {
            panic!("expected SomethingException")
        }
    }

    /// this panic will generate an RuntimeException in Java.
    fn panics_are_runtime_exceptions(&self, _this: NetBluejekyllExceptions<'j>) {
        panic!("{}", "Panics are safe".to_string());
    }

接下来是什么？

我构建了这个项目来帮助我在一个不同的项目中工作，我在那里不断追踪 FFI 绑定中的错误，当变量更改且签名未正确更新时。这应该有助于减少这些简单错误并提高使用 JNI 和 Rust 时的生产力。

谢谢

该项目大量使用了这些crate，感谢所有为它们工作的人

• cafebabe - 一个 Java 类文件读取器
• jni - Rust 中的最先进的 JNI 支持
• tinytemplate - 用于所有 Rust 代码生成

谢谢！

许可证

根据您选择的以下任一项进行许可

• Apache License，版本 2.0，（LICENSE-APACHE 或 https://www.apache.org/licenses/LICENSE-2.0）
• MIT 许可证（LICENSE-MIT 或 https://opensource.org/licenses/MIT）

任选其一。

贡献

除非您明确说明，否则根据 Apache-2.0 许可证定义的，您有意提交给作品以供包含的贡献，将根据上述方式双许可，而无需任何额外的条款或条件。