Kaj so primitivni tipi in referenčni tipi v Javi?

Question

Accepted Answer

Java ima dve temeljni kategoriji tipov: **primitivni tipi** (enostavne vrednosti shranjene neposredno) in **referenčni tipi** (objekti, kjer spremenljivka vsebuje referenco/kazalec na objekt). Se obnašajo zelo različno v pomnilniku, dodelitvi in primerjavi. ## Osem primitivnih tipov ```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 ``` Primitivni tipi shranjujejo **dejansko vrednost** neposredno, so fiksne velikosti, ne morejo biti null in se nahajajo v stacku (za lokalne spremenljivke). So hitri in varčni s pomnilnikom. ## Referenčni tipi — objekti ```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 ``` Referenčne spremenljivke vsebujejo **referenco** (naslov pomnilnika) na objekt shranjen v heapu — ne samega objekta. Lahko so `null`. ## Kritična razlika: dodelitev in primerjava ```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 ``` To je velika past: **`==` na objektih primerja istovetnost (isti objekt?), ne vsebine** — uporabite `.equals()` za primerjavo vsebine. ## Wrapper razredi povezujejo oba ```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 ``` Vsak primitivni tip ima wrapper razred (`int`→`Integer` itd.), tako da se primitivni tipi lahko uporabljajo tam, kjer so potrebni objekti (zbirke, generici). ## Zakaj je pomembno Razlika med primitivnimi in referenčnimi tipi je temeljna za Javo in vir številnih subtilnih napak in vedenja: dodelitev kopira vrednosti za primitivne tipe, vendar deli reference za objekte (zato spreminjanje deljivega objekta vpliva na vse reference), in še posebej da **`==` primerja istovetnost za objekte** (klasična napaka — uporabite `.equals()` za primerjavo vsebine). Razumevanje tega vpliva na pravilnost primerjav, argumente metod (objekti so učinkovito podani po referenčni vrednosti), obravnavo null-a (samo reference morejo biti null) in zmogljivost (primitivni tipi so lažji). Je temeljno znanje za pisanje pravilne Jave.