Junior Java Backend — питання на співбесіді Java розробника

Як влаштований HashMap усередині і чим від нього відрізняється ConcurrentHashMap?

HashMap зберігає записи в масиві бакетів, індекс береться з хешу ключа; колізії складаються у звʼязний список, який після восьми вузлів перетворюється на червоно-чорне дерево. Він не потокобезпечний — одночасний ресайз може зіпсувати структуру. ConcurrentHashMap досягає потокобезпеки блокуванням лише того кошика, у який пишуть (CAS плюс synchronized на вузлі), а не всієї мапи, тому читання йдуть без блокувань, а записи конкурують лише в межах одного кошика.

Поясніть контракт equals() і hashCode(). Що ламається при його порушенні?

Якщо два обʼєкти рівні за equals(), вони зобовʼязані повертати однаковий hashCode; нерівні обʼєкти можуть збігатися за хешем, але в ідеалі не збігаються. Порушення ламає всі хеш-колекції: обʼєкт потрапляє в один бакет, а наступний пошук рахує інший хеш, іде в інший бакет і повідомляє, що запису немає. Класичний баг — змінити поле, що бере участь у hashCode, вже після додавання обʼєкта до множини.

Що таке garbage collection і які збирачі є в JVM?

GC звільняє памʼять купи для обʼєктів, до яких більше не можна дістатися від GC roots. Купа поколіннєва — більшість обʼєктів помирають молодими, тому мінорні збірки в young generation дешеві. Зі збирачів є Serial і Parallel для пропускної здатності, G1 як сучасний дефолт з балансом паузи та throughput, а також ZGC і Shenandoah для дуже великих куп із паузами менше мілісекунди.

У чому різниця між checked і unchecked винятками?

Checked успадковуються від Exception і мають бути оголошені або оброблені — вони описують відновлювані ситуації, до яких код-викликач має готуватися, наприклад IOException. Unchecked успадковуються від RuntimeException і сигналять про помилки програміста: NullPointerException, IllegalArgumentException. На практиці порада така: unchecked для багів, checked помірно, бо примус обробляти виняток у кожному виклику найчастіше породжує порожні catch-блоки.

Що таке Dependency Injection у Spring і які є типи інʼєкції?

DI означає, що обʼєкт отримує залежності від контейнера, а не створює їх сам, — це розвʼязує класи й робить їх тестованими. Spring підтримує інʼєкцію через конструктор, сетер і поле. Бажана конструкторна: залежності стають final, обʼєкт ніколи не існує в недобудованому вигляді, і клас не може приховати розростання списку залежностей так, як це дозволяє інʼєкція в поле.

У чому різниця між @Component, @Service, @Repository і @Controller?

Усі чотири реєструють клас як бін Spring і технічно взаємозамінні для сканування. Відрізняються наміром і тим, що Spring до них додає: @Repository транслює винятки персистентності в ієрархію DataAccessException, @Controller і @RestController беруть участь у маппінгу запитів, а @Service — семантична позначка бізнес-логіки. Використання конкретної анотації документує шар і вмикає потрібну поведінку.

Що таке транзакція? Поясніть рівні ізоляції.

Транзакція — це одиниця роботи, що задовольняє ACID: вона або цілком комітиться, або відкочується. Рівні ізоляції міняють консистентність на паралелізм: Read Uncommitted допускає брудні читання, Read Committed їх виключає, Repeatable Read додатково виключає неповторювані читання, Serializable прибирає й фантоми ціною пропускної здатності. Більшість систем працюють на Read Committed і закривають залишкові аномалії оптимістичними блокуваннями.

У чому різниця між ArrayList і LinkedList? Коли обрати кожен?

ArrayList спирається на розширюваний масив: доступ за індексом O(1), але вставка й видалення в середині зсувають елементи. LinkedList — двозвʼязний список: вставка й видалення біля відомого вузла O(1), зате доступ за індексом O(n), і кожен елемент несе накладні витрати вузла. На практиці ArrayList виграє майже завжди, бо локальність кешу процесора важливіша за теоретичну складність; LinkedList корисний переважно як Deque.

Що таке volatile і synchronized? Коли використовувати кожен?

volatile гарантує видимість — запис одразу видно іншим потокам, а читання не кешуються — але не дає атомарності, тому volatile-лічильник усе одно втрачає інкременти. synchronized дає і видимість, і взаємне виключення, тож блок у кожен момент виконує лише один потік. volatile беруть для простого прапорця, який читають багато потоків; synchronized або Atomic — коли операція це читання-зміна-запис.