Действительно ли массивы JavaScript реализованы как массивы?

Разница между JavaScript Array и Object не очень велика. На самом деле кажется, что Array в основном добавляет поле length, поэтому вы можете использовать как Arrays, так и Objects как числовые массивы:

var ar = new Array();
ar[0] = "foo";
ar["bar"] = "foo";

var ob = new Object();
ob[0] = "foo";
ob["bar"] = "foo";

assert(ar[0] == ob[0] == ar["0"] == ob["0"] == ar.bar == ob.bar); // Should be true.

Итак, мои вопросы: в популярных движках JavaScript (V8, JavaScriptCore, SpiderMonkey и т. д.), как это обрабатывается? Очевидно, мы не хотим, чтобы наши массивы фактически хранились в виде хэш-карт со значениями ключей! Как мы можем быть уверены, что наши данные хранятся в виде фактического массива?

Насколько я вижу, есть несколько подходов, которые могут использовать двигатели:

1. Array реализован точно так же, как Object — как ассоциативный массив со строковыми ключами.
2. Array — это особый случай, с массивом, подобным std::vector, поддерживающим числовые клавиши, и некоторой эвристикой плотности, чтобы предотвратить безумное использование памяти, если вы делаете ar[100000000] = 0;
3. Array совпадает с Object, и все объекты получают эвристику, чтобы увидеть, будет ли использование массива иметь больше смысла.
4. Что-то безумно сложное, до чего я не додумался.

На самом деле это было бы проще, если бы существовал правильный тип массива (cough WebGL типизированные массивы кашель).