Koks yra tipizacijos sistema Dart kalboje?

Dart sistēma ir stipra, statiska un ļauj dinamiski noteikt tipu.

Galvenās koncepcijas:

• Statiska tipizācija: Mainīgo tipi tiek pārbaudīti kompilācijas laikā. Tas palīdz identificēt kļūdas pirms programmas palaišanas.

  // Statiska tipizācijas piemērs
  int vecums = 30;
  // vecums = "trīsdesmit"; // Kompilācijas kļūda
  

• Tipu inference: Kompilators var automātiski noteikt mainīgā tipu pēc piešķirtās vērtības.

  // Tipu inferences piemērs
  var vārds = "Alice"; // Kompilators noteiks, ka tas ir String
  

• Dinamisks tips (dynamic): Atļauj mainīgajam glabāt jebkura veida vērtības. Tipu pārbaude notiek izpildes laikā. Ieteicams minimizēt dynamic lietošanu.

  // Dinamisks tips piemērs
  dynamic vērtība = 10;
  vērtība = "sveiki";
  

• Null drošība (Null Safety): Ieviesta, lai novērstu kļūdas, kas saistītas ar null vērtībām. Mainīgie pēc noklusējuma nevar būt null, ja vien tie nav skaidri atzīmēti kā nullable (?).

  // Null drošības piemērs
  String navNull = "nav null";
  // navNull = null; // Kompilācijas kļūda
  
  String? nullable = null; // Atļauts būt null
  

• Stingra Null drošība: Nodrošina, ka darbības ar ne-null tipiem nesīs NullPointerException, ja vien nullabilitāte nav skaidri atļauta.

Dart tipizācijas sistēma nodrošina līdzsvaru starp statiski tipētu valodu drošību un dinamiski tipētu valodu elastību.