C 代码中的 Java 数组

Question

我正在学习 Java 数组，并且来自 C/C++ 背景，我试图围绕 Java 中数组的整个概念展开思考。 由于 Java 中的所有内容都是指针，因此我理解甚至数组也是指向对象（在本例中为数组对象）的指针，并且这些数组对象包含原始类型值（int[] ia）或指向对象的指针（String[] sa )，因为我们不能像在 C++ 中那样操作对象，而只能引用堆上的对象。 那么像这样在 C 代码中表示二维 Java 数组是否正确：

TYPE *(*(*aptr)[M])[N];

(*aptr)          has type: TYPE *(*[M])[N] and is converted to: TYPE *(**)[N]
(*aptr)[m]       has type: TYPE *(*)[N]      
*(aptr)[m]       has type: TYPE *[N]       and is converted to: TYPE **
(*(*aptr)[m])[n] has type: TYPE *

so

TYPE obj = *(*(*aptr)[m])[n]) has type TYPE

我做对了吗？

Answer 1

你错过了两点。 Java 数组知道它的类型和长度，因此它的 C 等价物将是一个结构。 Java int[] 数组的一个粗略类比是（这种解释并不意味着任何现有的 JVM 都使用这种结构，它只是作为 Java 数组的 C 语言类比）：

struct int_array {
    TYPE *type;  // This points to a description that we are an int[] array
    int length;
    int *data;   // Allocated with malloc(length*sizeof(int))
};

如果i 位于0...length-1 之外，则Java a[i] 然后转换为C a->data[i] 加上ArrayIndexOutOfBoundsException。

二维数组只是数组的数组，例如int[][] 可能看起来像：

struct two_dim_int_array {
    TYPE *type;  // This points to a description that we are an int[][] array
    int length;
    struct int_array *data;   // Allocated with malloc(length*sizeof(struct int_array))
};

因此，b[i][j] 转换为 b->data[i].data[j]，并带有必要的范围和空值检查。