Prečo je hodnota typu String v Jave nemenná?

Hodnota String v Jave je nezmenná z niekoľkých dôvodov:

• Bezpečnosť vlákien (Thread Safety): Nezmeniteľné objekty je bezpečné používať viacerými vláknami súčasne bez potreby vonkajšej synchronizácie. Pretože stav String nemôže byť zmenený po vytvorení, neexistuje riziko závodného stavu pri čítaní alebo odovzdávaní reťazca medzi vláknami.

  // Príklad: dve vlákna pristupujú k rovnakému reťazcu
  String sharedString = "Hello";
  
  // Vlákno 1 môže bezpečne používať sharedString
  new Thread(() -> {
      System.out.println(sharedString.toUpperCase());
  }).start();
  
  // Vlákno 2 tiež môže bezpečne používať sharedString
  new Thread(() -> {
      System.out.println("Dĺžka: " + sharedString.length());
  }).start();
  

• Efektívnosť (Pooling a Sharing): Vďaka nezmeniteľnosti môže JVM optimalizovať využívanie pamäte pomocou bazéna reťazcov (String Pool). Ak viaceré premenné odkazujú na rovnakú hodnotu, môžu odkazovať na ten istý objekt v bazéne, čím sa šetrí pamäť.

  String s1 = "World"; // Vytvorí sa objekt "World" v bazéne
  String s2 = "World"; // Odkazuje na ten istý objekt v bazéne
  String s3 = new String("World"); // Vytvorí sa nový objekt mimo bazéna
  
  System.out.println(s1 == s2); // true - odkazujú na ten istý objekt
  System.out.println(s1 == s3); // false - odkazujú na rôzne objekty
  

• Použitie ako kľúče v Map: String sa často používa ako kľúč v hash mapách (HashMap). Ak by reťazec bol zmeniteľný, jeho hash kód by sa mohol zmeniť po pridaní do mapy, čo by znemožnilo nájdenie zodpovedajúcej hodnoty. Nezmeniteľnosť zaručuje, že hash kód zostáva konštantný.

  import java.util.HashMap;
  import java.util.Map;
  
  Map<String, Integer> ages = new HashMap<>();
  ages.put("Alice", 30);
  // Ak by "Alice" mohol byť zmenený, vyhľadávanie podľa "Alice" by nemohlo fungovať
  System.out.println(ages.get("Alice")); // 30
  

• Bezpečnosť (Security): Reťazce sa používajú na ukladanie dôverných informácií, ako sú názvy súborov, sieťové adresy alebo používateľské heslá. Nezmeniteľnosť zabraňuje náhodnej alebo škodlivej zmene týchto hodnôt po inicializácii, čím sa zvyšuje bezpečnosť.

Tieto faktory robia String základným a spoľahlivým typom údajov v Jave.