Сколько типов данных в Java?

Типы данных в Java

В языке Java существует два основных вида типов данных: примитивные типы (primitive types) и ссылочные типы (reference types). Эта классификация фундаментальна и напрямую влияет на работу с памятью, передачу параметров в методы и общую семантику языка.

1. Примитивные типы данных (Primitive Types)

Это базовые, встроенные в язык типы, которые хранят непосредственно значение, а не ссылку на объект. Они занимают фиксированный объем памяти и не являются объектами. Всего существует 8 примитивных типов:

• Целочисленные типы:

    *   `byte` (8 бит, диапазон от -128 до 127)
    *   `short` (16 бит, от -32 768 до 32 767)
    *   `int` (32 бита, наиболее часто используемый, от -2^31 до 2^31-1)
    *   `long` (64 бита, требует суффикс `L`, например, `100L`)

• Типы с плавающей запятой (для дробных чисел):

    *   `float` (32 бита, требует суффикс `f`, например, `3.14f`)
    *   `double` (64 бита, стандартный выбор для дробных чисел)

• Символьный тип:

    *   `char` (16 бит, хранит один символ Unicode, например, `'A'`)

• Логический тип:

    *   `boolean` (хранит значение `true` или `false`, точный размер не специфицирован JVM)

Пример объявления и использования:

int numberOfUsers = 150;
double averageScore = 95.7;
boolean isDataValid = true;
char grade = 'A';

2. Ссылочные типы данных (Reference Types)

Переменные ссылочного типа хранят не само значение, а адрес (ссылку) на объект или массив в памяти кучи (Heap). К ним относятся:

• Классы (Classes): Объекты любых пользовательских классов (например, String, Object, ArrayList) или созданных разработчиком.
• Интерфейсы (Interfaces): Ссылка может указывать на объект класса, реализующего данный интерфейс.
• Массивы (Arrays): Даже массивы примитивных типов (например, int[]) являются ссылочными типами.

// Примеры ссылочных типов
String greeting = "Hello, QA!"; // Класс String
List<Integer> scores = new ArrayList<>(); // Интерфейс List и класс ArrayList
int[] numbers = {1, 2, 3, 4, 5}; // Массив
Object obj = new MyCustomClass(); // Базовый класс Object и пользовательский класс

Ключевые различия с точки зрения QA-инженера

Понимание этих типов критически важно для тестирования, так как влияет на поведение кода:

1. Сравнение объектов (== vs equals()): Для примитивов оператор == сравнивает значения. Для ссылочных типов == сравнивает адреса в памяти, а не содержимое объектов. Для сравнения логики (например, текста двух строк) необходимо использовать метод equals().

   // Потенциальный баг, который должен насторожить QA
   String s1 = new String("test");
   String s2 = new String("test");
   if (s1 == s2) { // ЛОЖЬ, т.к. сравниваются ссылки на разные объекты
       // Этот блок кода не выполнится
   }
   if (s1.equals(s2)) { // ИСТИНА, т.к. сравнивается содержимое
       // Правильное сравнение
   }
   

2. Значения по умолчанию: Примитивные поля класса автоматически инициализируются (например, int — нулем, boolean — false). Ссылочные типы по умолчанию получают значение null, что является частым источником NullPointerException — одного из самых распространенных дефектов.

3. Работа с памятью: Примитивы хранятся в стеке (Stack), что быстро. Объекты ссылочных типов создаются в куче (Heap), а в стеке хранится лишь ссылка на них. Это важно при анализе производительности и потребления памяти.

4. Автоупаковка и распаковка (Autoboxing/Unboxing): Начиная с Java 5, возможен автоматический переход между примитивами и их классами-обертками (например, int ↔ Integer). Это удобно, но может скрывать проблемы с производительностью или NullPointerException.

   Integer nullableCount = null;
   int count = nullableCount; // Runtime Exception: NullPointerException при распаковке!
   

Итог: Формально в Java 8 примитивных типов и бесконечное множество ссылочных типов (поскольку любой новый класс создает новый ссылочный тип). Для QA-специалиста глубокое понимание этой системы — основа для составления грамотных тест-кейсов, анализа логов, поиска причин дефектов, связанных с обработкой данных, сравнением объектов и управлением памятью. Тестирование граничных значений для примитивов (переполнение int, точность double) и проверка на null для ссылочных объектов должны быть стандартными пунктами в чек-листах.