У Java кожна змінна має певний тип даних, і цей тип визначає, яке значення вона може зберігати. Ця концепція називається безпечністю типів.

Головна мета безпечності типів проста: Java гарантує, що ви випадково не збережете у змінній дані неправильного типу.

Як працює безпечність типів

Після створення змінної з певним типом Java очікує, що вона завжди буде дотримуватися цього правила.

Наприклад, це коректно:

int coffeesSold = 35;

А це викликає помилку — текст не може бути у int:

coffeesSold = "Thirty Five"; // ERROR

Те саме стосується String — він може містити лише текст:

String coffeeName = "Cappuccino";

Спроба присвоїти число викликає помилку:

coffeeName = 25; // ERROR

Java виявляє такі невідповідності ще до запуску програми і зупиняє її виконання.

Це може здатися суворим, але насправді дуже корисно. Безпечність типів дозволяє уникати багатьох помилок на ранніх етапах і робить код зрозумілішим — лише поглянувши на тип змінної, ви вже знаєте, які дані вона повинна містити. У великих програмах це надзвичайно важливо для уникнення заплутаних помилок і неочікуваної поведінки.