Об’єкти дозволяють зберігати набори значень з ключами. Це чудово.
Але досить часто ми розуміємо, що нам необхідна впорядкована колекція даних, яка складається з 1-го, 2-го, 3-го тощо елементів. Наприклад, така колекція може знадобитись для зберігання списку користувачів, товарів, HTML елементів та ін.
Використовувати об’єкти в такому випадку не зручно, тому що вони не надають методів управління порядком елементів. Ми не можемо вставити нову властивість “між” тих, що вже існують. Об’єкти просто не призначені для цього.
Для зберігання впорядкованих колекцій існує інший тип даних, який має назву масив, Array.
Оголошення
Існує два типи синтаксису для створення порожнього масиву:
Майже завжди використовують другий тип синтаксису. Ми можемо вказати початкові елементи масиву у квадратних дужках:
Елементи масиву нумеруються починаючи з нуля.
Ми можемо отримати елемент масиву, вказавши його номер у квадратних дужках:
Можемо замінити елемент:
…Або додати новий:
Загальна кількість елементів масиву зберігається у його властивості length:
Ми можемо переглянути масив цілком за допомогою alert
У масивах можуть зберігатись елементи будь-якого типу.
Наприклад:
Список елементів масиву, як і список елементів об’єкта може закінчуватись комою:
Кома в кінці рядка спрощує процес додавання/видалення елементів, тому що всі рядки стають однотипними.
Отримати останні елементи за допомогою “at”
Скажімо, нам потрібен останній елемент масиву.
Деякі мови програмування дозволяють використовувати від’ємні індекси з цією ж метою, наприклад, fruits[-1].
Проте в JavaScript це не працюватиме. Результат буде undefined, оскільки індекс у квадратних дужках трактується буквально.
Ми можемо явно обчислити індекс останнього елемента, а потім отримати до нього доступ: fruits[fruits.length - 1].
Трохи громіздко, чи не так? Нам потрібно двічі написати ім’я змінної.
На щастя, є коротший синтаксис: fruits.at(-1):
Інакше кажучи, arr.at(i):
- те саме, що й arr[i], якщо i >= 0.
- для від’ємних значень i він шукає елемент відступаючи від кінця масиву.
Методи pop/push, shift/unshift
Черга – один з найбільш популярних варіантів використання об’єкта. У комп’ютерних науках так позначають колекцію елементів, яка підтримує дві операції:
- push додає елемент у кінець списку.
- shift видаляє елемент на початку, зміщуючи чергу, таким чином, що 2-й елемент стає 1-м.
Масиви підтримують обидві операції.
На практиці це дуже часто стає у пригоді. Наприклад, черга з повідомлень, які необхідно показувати на екрані.
Існує також інший варіант використання масивів – структура даних, яка називається стек.
Вона підтримує два типи операцій:
- push додає елементи в кінець.
- pop видаляє елемент з кінця.
Таким чином нові елементи завжди додаються або видаляються з “кінця”.
Хорошим прикладом стеку є колода карт: нові карти кладуться на верх і беруться теж зверху:
У стеках – останній доданий елемент повертається першим, цей принцип також називають LIFO (з англ. Last-In-First-Out, “останній прийшов – перший пішов”). Для черг ми використовуємо принцип FIFO (з англ. First-In-First-Out, “перший прийшов – перший пішов”).
Масиви в JavaScript можуть працювати як стеки і як черги. Ми можемо додавати/видаляти елементи як на початку, так і у кінці масиву.
В комп’ютерних науках структури даних, які дозволяють це робити, мають назву двобічна черга.
Методи, які працюють з кінцем масиву:
popВидаляє останній елемент масиву та повертає його:
Що fruits.pop(), що fruits.at(-1) – обидва повертають останній елемент масиву, але fruits.pop() також змінює масив, видаляючи його.
pushДодає елемент в кінець масиву:
Виклик fruits.push(...) рівнозначний fruits[fruits.length] = ....
Методи, які працюють з початком масиву:
shiftВидаляє перший елемент з масиву та повертає його:
Додає елемент в початок масиву:
Методи push та unshift можуть додавати одразу декілька елементів:
Внутрішня структура масивів
Масив – це спеціальний вид об’єктів. Квадратні дужки використовують для доступу до властивості arr[0], що своєю чергою прийшло з синтаксису об’єктів. Це теж саме, що доступ до властивості об’єкта obj[key], де arr це об’єкт в якому числа використовуються як ключі.
Масиви розширюють функціональність об’єкта тим, що надають можливість працювати з упорядкованими колекціями даних, а також надають доступ до властивості length. Але в основі це досі об’єкт.
Запам’ятайте, JavaScript містить лише 8 базових типів даних (більше інформації у розділі Типи даних). Масив – це об’єкт, тому він поводить себе як об’єкт.
Наприклад, копіюється за посиланням:
…Але те, що робить масиви дійсно особливими –- це їх внутрішнє представлення. Рушій JavaScript намагається зберігати елементи масиву у неперервній області пам’яті, один за одним, як це представлено на ілюстраціях в цьому розділі, а також застосовує інші способи оптимізації, що дозволяють масивам працювати дуже швидко.
Проте масиви втратять всю свою ефективність, якщо ми перестанемо працювати з ними як з “упорядкованою колекцією даних” і почнемо використовувати як звичайний об’єкт.
Наприклад, технічно ми можемо виконати наступне:
Це можливо тому, що в основі масивів – об’єкти. Ми можемо додати будь-які властивості до них.
Але рушій зрозуміє, що ми використовуємо масиви, як звичайні об’єкти. Методи оптимізації, які використовуються для масивів в цьому випадку не підходять, тому вони будуть відключені та не принесуть ніякої користі.
Варіанти неправильного використання масивів:
- Додавання нечислових властивостей, таких як arr.test = 5.
- Створення “дірок”, наприклад: arr[0], а за ним arr[1000] (та нічого між цими елементами).
- Заповнення масиву у зворотному порядку, наприклад: arr[1000], arr[999] тощо.
Будь ласка, думайте про масиви як про особливі структури для роботи з впорядкованими даними. Вони надають спеціальні методи для цього. Масиви дуже ретельно налаштовані на роботу з неперервними впорядкованими даними, тому використовуйте їх саме таким чином. Тому, якщо вам необхідні довільні ключі, дуже ймовірно, що вам більше підійдуть звичайні об’єкти {}.
Продуктивність
Методи push/pop працюють швидко, на відміну від методів shift/unshift, які працюють повільно.
Чому працювати з кінцем масиву швидше, ніж з початком? Перегляньмо, що відбувається під час виконання:
Але недостатньо просто взяти та видалити елемент з номером 0. Всі інші елементи також необхідно пронумерувати ще раз.
Операція shift має виконати 3 дії:
- Видалити елемент з індексом 0.
- Перемістити всі елементи вліво змінивши в них нумерацію – індекс 1 на 0, 2 на 1 і так далі.
- Оновити властивість length.
Чим більше елементів у масиві, тим більше часу необхідно для того, щоб перемістити їх, більше операцій з пам’яттю.
Теж саме відбувається з методом unshift: для того, щоб додати елемент в початок масиву, необхідно спочатку перемістити всі елементи масиву вправо збільшуючи їх індекси.
А як щодо методів push/pop? Вони нічого не переміщують. Для видалення елементу з кінця масиву метод pop очищає індекс та скорочує властивість length.
Дії при операції pop:
Метод pop не переміщує нічого, адже кожен елемент зберігає свій індекс. Саме тому цей метод так швидко працює.
Метод push працює аналогічно.
Цикли
Один з найстаріших методів перебору елементів масиву – це цикл for по індексах:
Але для масивів можливий інший варіант циклу, for..of:
Цикл for..of не надає доступу до індексу поточного елементу, тільки до його значення, але у більшості випадків цього достатньо. До того ж це коротше.
Технічно, оскільки масив це об’єкт, ми можемо використовувати цикл for..in:
Але насправді це погана ідея. Існують потенційні проблеми:
-
Цикл for..in ітерується по всіх властивостях, не тільки по числових.
У браузерах та різних програмних середовищах існують масивоподібні об’єкти, які виглядають як масив. Тобто вони мають властивість length та індекси, проте вони також містять інші нечислові властивості та методи, які нам часто не потрібні. Цикл for..in відобразить і їх. Тому, коли нам необхідно працювати з масивами, ці “екстра” властивості можуть стати проблемою.
-
Цикл for..in оптимізований для довільних об’єктів, не для масивів, і тому працює в 10-100 разів повільніше. Звісно, це все одно дуже швидко. Збільшення швидкості виконання має значення лише у вузьких місцях. Але ми все одно повинні бути обережні з відмінностями.
Словом, не варто використовувати цикл for..in для масивів.
Декілька слів про “length”
Властивість length оновлюється автоматично, коли масив змінився. Якщо бути точнішим, то length відображає не кількість елементів в масиві, а індекс останнього елементу плюс один.
Наприклад, один елемент з великим індексом дасть велику довжину:
Зверніть увагу, що зазвичай ми не використовуємо масив подібним чином.
Інший цікавий момент стосовно властивості length – її можна перезаписати.
Якщо ми вручну збільшимо length, нічого цікавого не відбудеться. Але якщо зменшимо, масив стане коротшим. Цей процес незворотній, наприклад:
Отож, найпростіший метод очищення масиву це: arr.length = 0;.
new Array()
Існує ще один варіант створення масиву:
Він використовується рідше, адже використання квадратних дужок [] більш зручний спосіб. Крім того, new Array має певну особливість.
Якщо new Array викликається з одним аргументом, а саме числом, він створить порожній масив з довжиною, яка дорівнює цьому числу.
Подивімось, як можна завдати собі ведмежої послуги:
Для того, щоб позбутись таких сюрпризів, ми використовуємо квадратні дужки [], якщо тільки ми дійсно не маємо причини для використання методу new Array.
Багатовимірні масиви
Масиви можуть містити елементи, які своєю чергою теж є масивами. Ми можемо використовувати це для створення багатовимірних масивів, наприклад, для зберігання матриць:
toString
Масиви по-своєму реалізують метод toString, який повертає список елементів розділених комою.
Наприклад:
Спробуймо це:
Масиви не мають Symbol.toPrimitive, або робочого valueOf, вони реалізують лише метод toString таким чином, що [] стає порожнім рядком, [1] стає "1" або [1,2] стає "1,2".
Коли бінарний оператор "+" додає щось до рядка, це конвертується в рядок та виглядає наступним чином:
Не порівнюйте масиви за допомогою ==
На відміну від інших мов програмування, масиви в JavaScript не варто порівнювати за допомогою оператора ==.
Цей оператор не має спеціальних методів для опрацювання масивів, тому він працює з ними, як з об’єктами.
Згадаймо правила:
- Два об’єкти рівні == лише коли вони посилаються на один об’єкт.
- Якщо один з аргументів оператора == об’єкт, а інший – примітив, тоді об’єкт конвертується в примітив. Це пояснюється в розділі Перетворення об’єктів в примітиви.
- …Лише два виключення – це null та undefined, які рівні == один одному та нічому більше.
Строге порівняння === ще простіше, тому що не конвертує типи.
Тому, якщо ми порівнюємо масиви оператором ==, то вони ніколи не будуть однаковими, за виключенням, коли ми порівнюємо дві змінні, які посилаються на один масив.
Наприклад:
Технічно ці масиви є різними об’єктами. Тому вони не рівні. Оператор == не порівнює елемент за елементом.
Порівняння масиву з примітивами теж може дати досить цікаві результати:
В обох випадках ми порівнювали примітиви з масивом. Масив [] задля порівняння конвертується в примітив і стає порожнім рядком ''.
Далі відбувається порівняння примітивів. Логіка такого порівняння описана в розділі Перетворення типу:
Тож, як порівнювати масиви?
Все просто: не використовуйте оператор ==. Натомість порівнюйте їх в циклі, елемент за елементом. Також можна використати методи перебору, про які написано в наступному розділі.
Підсумки
Масив – це особливий вид об’єкта, створений для зберігання та обробки впорядкованих елементів.
Оголошення масиву:
Виклик new Array(number) створює масив з заданою довжиною, але без елементів.
- Властивість length демонструє довжину масиву або, якщо точніше, останній цифровий індекс масиву плюс один. Це виконується автоматично методами масиву.
- Якщо ми вручну скорочуємо length, масив зменшується (нагадаємо, що ця операція незворотна).
Отримання елементів:
- ми можемо отримати елемент за його індексом, ось так arr[0]
- також ми можемо використати метод at(i), який допускає від’ємні індекси. Для від’ємних значень i він відступає від кінця масиву. Якщо i >= 0, він працює так само як arr[i].
Ми можемо використовувати масив як двосторонню чергу за допомогою наступних операцій:
- push(...items) додає items в кінець масиву.
- pop() видаляє елемент з кінця масиву та повертає його.
- shift() видаляє елемент з початку масиву та повертає його.
- unshift(...items) додає items в початок масиву.
Для того, щоб пройтись циклом по елементах масиву:
- for (let i=0; i<arr.length; i++) – працює швидше, сумісний зі старими браузерами.
- for (let item of arr) – новий синтаксис, лише для значень елементів (відсутній доступ до індексів масиву).
- for (let i in arr) – ніколи не використовуйте!
Для порівняння масивів, не використовуйте оператор == (так само як >, < та інші), тому що в них немає спеціальних методів для порівнювання масивів. Ці оператори працюють з масивами як з об’єктами, а це не те, що нам потрібно.
Натомість для порівняння масивів використовуйте цикл for..of, щоб порівнювати елемент за елементом.
Ми повернемось до масивів та вивчимо методи додавання, видалення, відокремлення елементів та сортування масивів в розділі Методи масивів.
Коментарі