Что такое примитивные типы и ссылочные типы в Java?

Question

Accepted Answer

Java имеет две фундаментальные категории типов: **примитивные типы** (простые значения, хранящиеся непосредственно) и **ссылочные типы** (объекты, где переменная содержит ссылку/указатель на объект). Они ведут себя очень по-разному в памяти, при присваивании и сравнении. ## 8 примитивных типов ```java int i = 42; // 32-bit integer long l = 100L; // 64-bit integer double d = 3.14; // 64-bit floating point float f = 1.5f; // 32-bit floating point boolean b = true; // true/false char c = 'A'; // 16-bit Unicode character byte by = 127; // 8-bit short s = 1000; // 16-bit ``` Примитивные типы хранят **фактическое значение** непосредственно, имеют фиксированный размер, не могут быть null и находятся в стеке (для локальных переменных). Они быстрые и эффективные по памяти. ## Ссылочные типы — объекты ```java String name = "Ann"; // reference to a String object int[] arr = {1, 2, 3}; // reference to an array object List list = new ArrayList<>(); // reference to a List object Person p = new Person("Bob"); // reference to a Person object ``` Переменные ссылок содержат **ссылку** (адрес памяти) на объект, хранящийся в куче — не сам объект. Они могут быть `null`. ## Критическое различие: присваивание и сравнение ```java // primitives — assignment COPIES the value (independent) int a = 5; int b = a; // b is a COPY b = 10; // a is still 5 // references — assignment COPIES the reference (both point to the SAME object) int[] x = {1, 2, 3}; int[] y = x; // y points to the SAME array y[0] = 99; // x[0] is now 99 too! (shared object) ``` ```java // == compares VALUES for primitives, but REFERENCES (identity) for objects String s1 = new String("hi"); String s2 = new String("hi"); s1 == s2; // false — different objects (different references) s1.equals(s2); // true — equals() compares CONTENT ``` Это основная ошибка: **`==` для объектов сравнивает идентичность (один и тот же объект?), а не содержание** — используйте `.equals()` для сравнения содержания. ## Классы-обёртки связывают оба типа ```java Integer boxed = 42; // Integer is the OBJECT wrapper for int (autoboxing) int unboxed = boxed; // auto-unboxing back to primitive List nums; // collections need objects, not primitives ``` Каждый примитивный тип имеет класс-обёртку (`int`→`Integer` и т. д.), чтобы примитивные типы можно было использовать там, где требуются объекты (коллекции, обобщённые типы). ## Почему это важно Различие между примитивными и ссылочными типами является фундаментальным для Java и источником многих тонких ошибок и поведения: присваивание копирует значения для примитивных типов, но делит ссылки для объектов (поэтому изменение общего объекта влияет на все ссылки), и в особенности то, что **`==` сравнивает идентичность для объектов** (классическая ошибка — используйте `.equals()` для сравнения содержания). Понимание этого влияет на корректность сравнений, параметры методов (объекты эффективно передаются по значению ссылки), обработку null (только ссылки могут быть null) и производительность (примитивные типы легче). Это базовые знания для написания правильного Java кода.