java - 不同语言的数组 - 存储引用或原始对象？

Question

在使用数组时，我正在努力思考原始内存在不同语言中的样子。

考虑以下 Java 代码:

String a = "hi";
String b = "there";
String c = "everyone";
String[] array = {a, b, c};

很明显数组保存的是引用，而不是对象；也就是说，内存中有一个包含三个引用的连续数组，每个引用都指向内存中对象所在的某个其他位置。所以对象本身不一定位于三个连续的桶中；而是引用。

现在考虑一下:

String[] array = {"hi", "there", "everyone"}

我想在这种情况下字符串与内存中的所有其他常量一起存在于某个地方，然后数组保存对内存中这些常量的引用？因此，同样，在原始内存中，数组看起来不像 ['h', 'i', '\0', 't', 'h', 'e', 'r', 'e' ...(等)]。 (为方便起见，使用 c 风格的终止)。相反，它更像是 ['a83a3edf' ,'a38decd' ... (etc)]，其中每个元素都是一个内存位置(引用)。

我从这个思考过程中得出的结论是，在 Java 中，您永远无法将数组想象成内存中连续对象的桶，而是连续引用。我想不出任何方法来保证对象将始终连续存储在 Java 中。

现在考虑 C:

char *a = "hi";
char *b = "there";
char *c = "everyone";
char *array[] = {a, b, c};

上面的代码在功能上等同于上面的 Java——也就是说，数组包含对其他内存位置的引用(指针)。与 Java 一样，指向的对象不一定是连续的。

但是，在以下 C 代码中:

struct my_struct array[5];  // allocates 5 * size(my_struct) in memory! NOT room for 5
                            // references/pointers, but room for 5 my_structs.

array 中的结构连续位于原始内存中。

现在是我的具体问题:

1. 我的假设是否正确，即在 Java 中，数组必须始终包含引用，因为程序员只能访问 Java 中的引用？原始数据类型呢？那么它的工作方式会有所不同吗？ Java 中的 int 数组在原始内存中看起来就像 C 中的数组吗(除了 Object Java 会添加的 cruft 类)？

2. 在Java中，程序员就没有办法保证对象的内存分配是连续的吗？这可能是偶然发生的，或者很有可能发生，但程序员不能保证一定会发生？

3. 在 C 中，程序员可以在内存中连续创建对象(结构)的原始数组，正如我上面所展示的，对吗？

4. 其他语言如何处理这个问题？我猜 Python 像 Java 一样工作？

这个问题的动机是我想深入了解这些语言中数组在原始内存级别发生的情况。主要针对程序员面试问题。我在之前的一次采访中说过，数组(不是任何语言，只是一般意义上的)像桶一样在内存中连续保存对象。只是在我说了这句话之后，我才意识到在 Java 这样的语言中并不是这样工作的。所以我想 100% 清楚这一点。

谢谢。如果有任何需要澄清的地方，请告诉我。

Answer 1

you can never ever imagine arrays as buckets of contiguous objects in memory, but rather as contiguous references.

理论上你是对的，实际上，JVM 不会随机化内存访问。它按顺序分配内存，并在 GC 期间按发现顺序(或相反顺序)复制对象

Was I correct in my assumption that in Java, arrays must ALWAYS hold references, as the programmer only ever has access to references in Java?

是的，当然，除非你有一个基元数组。

What about for raw data types? Will it work differently then?

基元和引用在内存中是连续的。它们基本相同。

Will an array of ints in Java look just like one in C in raw memory (besides the Object class cruft Java will add)?

是的。

In Java, is there no way for the programmer to guarantee contiguous memory allocation of objects?

除非您使用堆外内存，否则不会。虽然一般来说这并不像您想象的那样是一个大多数时候的问题，但对象在内存中是连续的。

It might happen by chance, or with high probability, but the programmer can not GUARANTEE it will be so?

正确。通常，当您查看最差的 0.1% 或更高延迟时，您会遇到更大的问题。

In C, programmers CAN create raw arrays of objects (structs) contiguously in memory, as I have shown above, correct?

是的。您也可以在 Java 中执行此操作，但您必须使用堆外内存。有许多库支持此功能，例如 Javolution、Chronicle、SBE。