Vai iOS programmēšanas valoda ir tipizēta?

Jā, tas ir pareizi. Swift un Objective-C (galvenās programmēšanas valodas iOS / macOS) ir stipri tipizētas valodas.

Stipri tipizētās valodās mainīgo tipi ir zināmi vai nu kompilācijas laikā (statiskā tipizācija, kā Swift), vai izpildes laikā (dinamiskā tipizācija, kas ir Objective-C). Tas palīdz identificēt daudzus kļūdas, kas saistītas ar tipu neatbilstību, pirms programma tiek palaista.

Tipizācijas priekšrocības:

• Drošība: Novērš nesaderīgu tipu kļūdas.
• Veiktspēja: Kompilators var optimizēt kodu, zinot datu tipus.
• Koda lasāmība: Skaidras tipu deklarācijas uzlabo koda sapratni.
• Instrumentu atbalsts: IDE nodrošina labāku automātisko pildījumu un pārstrukturēšanu.

Swift ir statiski tipizēta valoda, tas nozīmē, ka tipu pārbaude notiek kompilācijas laikā. Objective-C ir gan statiskas, gan dinamisks tipa elementi (piemēram, vēlā sasaistīšana).

Statiska tipa piemērs Swift:

// swift
let number: Int = 10 // Skaidri norādīts tips Int
// let text: String = number // Kompilācijas kļūda: nevar piešķirt 'Int' tipu 'String'

Dinamiska tipa piemērs (polimorfisms) Objective-C:

// objective-c
id object = [[NSString alloc] initWithFormat:@"Hello"];
// object var saturēt jebkuru objektu. Tips tiek pārbaudīts izpildes laikā, sūtot ziņojumu.
NSString *stringObject = object; // Casting, bet pamattips id ir elastīgs