Jaký je systém typování v jazyce Dart?

Systém typizace v Dart je silný, statický a umožňuje dynamické určení typu.

Hlavní koncepty:

• Statická typizace: Typy proměnných jsou kontrolovány během kompilace. To pomáhá odhalit chyby před spuštěním aplikace.

  // Příklad statické typizace
  int věk = 30;
  // věk = "třicet"; // Chyba kompilace
  

• Inference typů: Kompilátor může automaticky určit typ proměnné na základě přiřazené hodnoty.

  // Příklad inference typů
  var jméno = "Alice"; // Kompilátor určí, že je to String
  

• Dynamický typ (dynamic): Umožňuje proměnné uchovávat hodnoty jakéhokoliv typu. Kontrola typů probíhá za běhu. Použití dynamic by mělo být minimalizováno.

  // Příklad dynamického typu
  dynamic hodnota = 10;
  hodnota = "ahoj";
  

• Null bezpečnost (Null Safety): Zavedená pro prevenci chyb souvisejících s nulovými hodnotami. Proměnné implicitně nemohou být null, pokud nejsou výslovně označeny jako nullable (?).

  // Příklad null safety
  String nenull = "ne null";
  // nenull = null; // Chyba kompilace
  
  String? nullable = null; // Povolen být null
  

• Přísná Null bezpečnost: Zajišťuje, že operace s nenullovatelnými typy nezpůsobí výjimku NullPointerException, pokud explicitně nepovolíte nullabilitu.

Systém typizace v Dart poskytuje rovnováhu mezi bezpečností staticky typovaných jazyků a flexibilitou dynamicky typovaných jazyků.