用 JNI 进行 Java 编程(4)

高级主题

概述

从 Java 程序内调用本机代码破坏了 Java 程序的可移植性和安全性。尽管已编译的 Java 字节码保持了很好的可移植性，但必须为您打算用来运行该应用程序的每一个平台从新编译本机代码。另外，因为本机代码在 JVM 以外执行，因此约束它的安全性协议没必要和 Java 代码的相同。

从本机程序调用 Java 代码也很复杂。由于 Java 语言是面向对象的，因此从本机应用程序调用 Java 代码一般涉及面向对象技术。有些本机语言不支持面向对象编程或只是有限地支持面向对象编程（譬如 C），使用这些语言调用 Java 方法可能会产生问题。在本节中，咱们将讨论使用 JNI 所带来的若干复杂性，并研究解决它们的方法。

Java 字符串 vs. C 字符串

Java 字符串是做为 16 位 Unicode 字符存储的，而 C 字符串是做为一组 8 位且以空字符为结束的字符存储的。JNI 提供了几个有用的函数，它们用于在 Java 字符串和 C 字符串之间进行转换并操做这两种字符串。下面的代码片断演示了如何将 C 字符串转换成 Java 字符串：

/* Convert a C string to a Java String. */
char[]  str  = "To be or not to be.\n";
jstring jstr = (*env)->NewStringUTF(env, str);

接下来，咱们研究将 Java 字符串转换成 C 字符串的代码。请注意第 5 行对 ReleaseStringUTFChars() 函数的调用。当您再也不使用 Java 字符串时，应该使用这个函数来释放它们。当本机代码再也不须要引用字符串时，请老是确保释放它们。不这样作可能致使内存泄漏。

/* Convert a Java String into a C string. */
char buf[128; 
const char *newString = (*env)->GetStringUTFChars(env, jstr, 0);
...
(*env)->ReleaseStringUTFChars(env, jstr, newString);

Java 数组 vs. C 数组

与字符串相似，Java 数组和 C 数组在内存中的表示不一样。幸运的是，一组 JNI 函数能够提供指向数组中元素的指针。下图显示了如何将 Java 数组映射到 JNI C 类型。

C 类型 jarray 表示通用数组。在 C 语言中，全部数组类型实际上只是 jobject 的同义类型。可是，在 C++ 语言中，全部的数组类型都继承了 jarray，jarray 又依次继承了 jobject 。有关全部 C 类型对象的继承图，请参阅附录 A：JNI 类型。

使用数组

一般，处理数组时，首先想到要作的是肯定其大小。为了作到这一点，应该使用 GetArrayLength() 函数，它返回一个表示数组大小的 jsize。

接下来，会想要获取一个指向数组元素的指针。可使用 GetXXXArrayElement() 和 SetXXXArrayElement() 函数（根据数组的类型替换方法名中的 XXX：Object、Boolean、Byte、Char、Int、Long 等等）来访问数组中的元素。

当本机代码完成了对 Java 数组的使用时，必须调用函数 ReleaseXXXArrayElements() 来释放它。不然，可能致使内存泄漏。下面的代码段显示了如何循环遍历一个整型数组的全部元素：

/* Looping through the elements in an array. */
int* elem = (*env)->GetIntArrayElements(env, intArray, 0);
for (i=0; I < (*env)->GetIntArrayLength(env, intArray); i++)
   sum += elem[i]
(*env)->ReleaseIntArrayElements(env, intArray, elem, 0);

局部引用 vs. 全局引用

当使用 JNI 编程时，会须要使用对 Java 对象的引用。缺省状况下，JNI 建立局部引用以确保它们能够被垃圾收集。因为这一点，您可能会由于尝试存储一个本地引用，以便稍后重用它而无心间编写出非法代码，以下面的代码样本所示：

/* This code is invalid! */
static jmethodID mid;
 
JNIEXPORT jstring JNICALL
Java_Sample1_accessMethod(JNIEnv *env, jobject obj)
{
    ...
    cls = (*env)->GetObjectClass(env, obj);
    if (cls != 0)
    mid = (*env)->GetStaticMethodID(env, cls, "addInt", "(I)I");
    ...
}

由于第 10 行的错误，因此这个代码段是非法的。mid 是 methodID，而且 GetStaticMethodID() 返回 methodID。可是，返回的 methodID 是一个局部引用，而您不该该将一个局部引用赋给全局引用。而 mid 是一个全局引用。

在 Java_Sample1_accessMethod() 返回以后，mid 引用就再也不有效，由于赋给它如今超出做用域之外的局部引用。尝试使用 mid 将致使错误结果或 JVM 崩溃。

建立全局引用

要纠正这个问题，须要建立和使用全局引用。全局引用将在显式释放以前一直有效，您必须记住去显式地释放它。没有释放引用可能致使内存泄漏。

使用 NewGlobalRef() 建立全局引用，并用 DeleteGlobalRef() 删除它，以下面的代码样本所示

/* This code is valid! */
static jmethodID mid;
  
JNIEXPORT jstring JNICALL
 Java_Sample1_accessMethod(JNIEnv *env, jobject obj)
{
   ...
   cls = (*env)->GetObjectClass(env, obj);
   if (cls != 0)
   {
      mid1 = (*env)->GetStaticMethodID(env, cls, "addInt", "(I)I");
      mid = (*env)->NewGlobalRef(env, mid1);
      ...
}

错误处理

在 Java 程序中使用本机方法，就以某种基本的方式破坏了 Java 安全性模型。由于 Java 程序在一个受控的运行时系统（JVM）中运行，因此 Java 平台设计师决定经过检查常见运行时系统错误（如数组下标、越界错误、空指针错误）来帮助程序员。从另外一方面讲，因为 C 和 C++ 不使用此类错误检查，因此本机方法程序员必须本身处理全部错误状况，而在运行时，这些错误能够在 JVM 中被捕获。

例如，对于 Java 程序而言，经过抛出一个异常来向 JVM 报告出错是常见和正确的操做。C 没有异常，所以必须使用 JNI 的异常处理函数。

JNI 的异常处理函数

有两种方法用来在本机代码中抛出异常：能够调用 Throw() 函数或 ThrowNew() 函数。在调用 Throw() 以前，首先须要建立一个 Throwable 类型的对象。能够经过调用 ThrowNew() 跳过这一步，由于这个函数为您建立了该对象。在下面的示例代码片断中，咱们使用这两个函数抛出 IOException：

/* Create the Throwable object. */
jclass cls = (*env)->FindClass(env, "java/io/IOException");
jmethodID mid = (*env)->GetMethodID(env, cls, "<init>", "()V");
jthrowable e = (*env)->NewObject(env, cls, mid);
 
/* Now throw the exception */
(*env)->Throw(env, e);
 ...
 
/* Here we do it all in one step and provide a message*/
 (*env)->ThrowNew(env,(*env)->FindClass("java/io/IOException"),
                  "An IOException occurred!");

Throw() 和 ThrowNew() 函数并不中断本机方法中的控制流。直到本机方法返回，在 JVM 中才会将异常实际抛出。在 C 中，一旦碰到错误条件，不能使用 Throw() 和 ThrowNew() 函数当即退出方法，而在 Java 中，这可使用 throw 语句来退出方法。相反，须要在 Throw() 和 ThrowNew() 函数以后当即使用 return 语句，以便在出错点退出本机方法。

JNI 的异常捕获函数

当从 C 或 C++ 调用 Java 时，也可能须要捕获异常。 许多 JNI 函数都能抛出但愿捕获的异常。ExceptionCheck() 函数返回 jboolean 以代表是否抛出了异常，而 ExceptionOccured() 方法返回指向当前异常的 jthrowable 引用（或者返回 NULL，若是未抛出异常的话）。

若是正在捕获异常，可能要处理异常，在这种状况下须要在 JVM 中清除该异常。可使用 ExceptionClear() 函数来进行这个操做。ExceptionDescribed() 函数用来显示异常的调试消息。

本机方法中的多线程

在使用 JNI 工做时，您将遇到的更高级的问题之一是在本机方法中使用多线程。即便是在不须要支持多线程的系统上运行时，Java 平台也是做为多线程系统来实现的；所以您有责任确保本机函数是线程安全的。

在 Java 程序中，能够经过使用 synchronized 语句实现线程安全的代码。synchronized 语句的语法使您可以获取对象上的锁。 只要在 synchronized 块中，就能够执行任何数据操做，而没必要担忧其它线程会悄悄进入并访问您锁定的对象。

JNI 使用 MonitorEnter() 和 MonitorExit() 函数提供相似的结构。对于传递到 MonitorEnter() 函数中的对象，您会获得一个用于该对象的监视器（锁），并在使用 MonitorExit() 函数释放它以前一直持有该锁。对于您锁定的对象而言，MonitorEnter() 和 MonitorExit() 函数之间的全部代码保证是线程安全的。

本机方法中的同步

下表显示了如何在 Java、C 和 C++ 中同步一块代码。正如您所见，这些 C 和 C++ 函数相似于 Java 代码中的 synchronized 语句。

XML error: The image is not displayed because the width is greater than the maximum of 580 pixels. Please decrease the image width.

随本机方法一块儿使用 synchronized

确保本机方法同步的另外一种方法是：当在 Java 类中声明 native 方法时使用 synchronized 关键字。

使用 synchronized 关键字将确保任什么时候候从 Java 程序调用 native 方法，它都将是 synchronized。 尽管用 synchronized 关键字来标记线程安全的本机方法是个好想法，但一般最好老是在本机方法实现中实现同步。这样作的主要缘由以下：

• C 或 C++ 代码和 Java 本机方法声明不一样，所以，若是方法声明有变更（即，若是一旦除去了 synchronized 关键字），此方法可能立刻再也不是线程安全的了。
  
  
• 若是有人对使用该函数的其它本机方法（或其它 C 或 C++ 函数）进行编码，他们可能并无意识到该本机实现不是线程安全的。
  
  
• 若是将函数做为普通的 C 函数在 Java 程序以外使用，则它不是线程安全的。

其它同步技术

Object.wait()、Object.notify() 和 Object.notifyAll() 方法也支持线程同步。由于全部 Java 对象都将 Object 类做为父类，因此全部 Java 对象都有这些方法。您能够象调用其它方法同样，从本机代码调用这些方法，并以 Java 代码中相同的方式来使用它们，以实现线程同步。