if-let: bu nədir, sintaksis və opsional tiplərlə iş

if-let nədir

if-let — şərt operatoru if-i yeni dəyişən elanı ilə birləşdirən konstruksiyadır. Əsas vəzifə opsional tipdən dəyəri təhlükəsiz çıxarmaq, kod bloku daxilində dəyişənin mütləq dəyərə malik olduğunu təmin etməkdir. Birbaşa opsionala müraciətdən fərqli olaraq, if-let nil-in dereferensiyası zamanı crash ehtimalını istisna edir.

Tərif və təyinat

Güclü tipləşdirməyə malik dillərdə dəyişən dəyərin olmama vəziyyətində ola bilər. Swift-də bu Optional, Kotlin-də — tipdən sonra sual işarəsi ilə nullable tipdir. if-let dəyərin mövcudluğunu yoxlamağa və dərhal onu blok daxilində yeni sabitə təyin etməyə imkan verir. Blokdan çıxdıqdan sonra orijinal opsional dəyişən dəyişməz qalır.

Səhv idarəetməsində rolu

if-let Error Handling kateqoriyasına aiddir, çünki crash-lərin tez-tez rast gəlinən səbəblərindən birinin — nil-in dereferensiyasının qarşısını alır. Firebase Crashlytics 2024-ə görə, mobil tətbiqlərdə crash-lərin təxminən 35%-i işlənməmiş null dəyərləri ilə bağlıdır. if-let istifadəsi bu səhv sinfini tamamilə aradan qaldırır, else qolu ilə birləşmə isə dəyər olmadıqda alternativ davranışı nəzərdə tutmağa imkan verir.

if-let necə işləyir

Optional binding mexanizmi üç addımdan ibarətdir: kompilyator opsional dəyişənin dəyərə malik olub-olmadığını yoxlayır, onu çıxarır və yeni sabitlə əlaqələndirir. Əgər opsional dəyişən nil-ə bərabərdirsə — if bloku icra olunmur və proqram else qoluna keçir və ya konstruksiyadan sonra icranı davam etdirir. Bu proses proqramçı üçün tamamilə şəffafdır və kompilyator tərəfindən idarə olunur.

Opsionalın açılma prosesi

if-let ilə qarşılaşdıqda kompilyator yoxlama kodu yaradır. Swift-də bu flatMap metodunun nil ilə müqayisə ilə çağırılmasına bərabərdir. Kompilyator bu yoxlamanı optimallaşdırır, dəyər mövcud olduqda icra zamanı sıfır xərc təmin edir. Kotlin-də analoji rolu let funksiyası yerinə yetirir, o, lambda qəbul edir və onu yalnız dəyər null olmadıqda çağırır, lambdanın nəticəsini qaytarır.

Dəyişənin görünmə sahəsi

if-let şərtində yaradılan dəyişən yalnız if bloku daxilində əlçatandır. Bu, yoxlanılmış kontekstdən kənarda qeyri-opsional dəyərin təsadüfən istifadəsinin qarşısını alır. Proqramçı dəyişənin icra zamanı dəyişəcəyindən və ya nil olacağından narahat olmamalıdır. Shadowing — icazə verilən davranışdır: opsional ilə eyni adda dəyişən yaradıla bilər və blok daxilində o, qeyri-opsional olacaq.

Çoxlu bağlama

Swift-in müasir versiyaları bir şərtdə vergüllə bir neçə if-let birləşdirməyə imkan verir. Bütün opsionallar ardıcıl yoxlanılır və əgər ən azı biri nil-ə bərabərdirsə, blok icra olunmur. Where ilə birləşmə artıq çıxarılmış dəyərlərə əlavə şərt əlavə edir: if let x = opt, let y = opt2, x > y { }. Bu, iç-içə if bloklarını əvəz edir və kodu xətti edir.

Swift-də if-let sintaksisi

Swift-də if-let konstruksiyası if açar sözü ilə yazılır, onun ardınca let və yeni sabitin adı, bərabər işarəsi və opsional ifadə gəlir. Əgər dəyər mövcuddursa — sabitlə əlaqələndirilir və blokun gövdəsi icra olunur. Əgər nil-dirsə — blok keçilir və icra else qoluna keçir və ya konstruksiyadan sonra davam edir.

let optionalName: String? = "Alice"

if let name = optionalName {
    print("Salam, \(name)")
} else {
    print("Adın dəyəri nil-dir")
}

let nilName: String? = nil
if let unwrapped = nilName {
    print("\(unwrapped) alındı")
} else {
    print("Dəyər nil-dir — keç")
}

// Where şərti ilə çoxlu if-let
let age: Int? = 25
if let name = optionalName,
   let userAge = age,
   userAge > 18 {
    print("\(name) yetkindir")
}

Çoxlu if-let bir şərtdə vergüllə bir neçə opsionalı açmağa imkan verir. Bütün opsionallar dəyərə malik olmalıdır, əks halda if bloku icra olunmur. Bu, bir neçə sahənin olmaya biləcəyi server cavabları ilə işləyərkən rahatdır. Where şərti ilə birləşmə iç-içə if blokları olmadan çıxarılmış dəyərə yoxlama əlavə edir.

var ilə if-let (let əvəzinə)

Swift blok daxilində dəyişdirilə bilən dəyişən üçün if var-ı da dəstəkləyir. Əgər çıxarılmış dəyər dəyişdirilməlidirsə, if var name = optional konstruksiyası let əvəzinə var dəyişəni yaradır. Bu, blok daxilində mutasiya tələb edən value tipləri ilə iş üçün nadir istifadə olunan, lakin faydalı imkandır.

Kotlin-də if-let: null-təhlükəsizlik ilə iş

Kotlin-də if-letin birbaşa analoqu let funksiyasının təhlükəsiz çağırış operatoru ilə birləşməsidir. Kompilyator let bloku daxilində dəyişənin null olmayan tipə malik olduğunu təmin edir və əlavə yoxlamalar tələb etmir. Kotlin həmçinin if (variable != null) vasitəsilə birbaşa yoxlamanı smart cast mexanizmi ilə dəstəkləyir, o, avtomatik olaraq tipi çevirir.

val nullableName: String? = "Bob"

// if-letin let + safe call vasitəsilə analoqu
nullableName?.let { name ->
    println("Salam, $name")
}

// Null yoxlamasından sonra smart cast
val serverResponse: Map<String, Any?> = fetchData()
val userId = serverResponse["id"]
val userName = serverResponse["name"]

if (userId != null && userName != null) {
    // Smart cast: userId və userName — artıq String, String? deyil
    println("İstifadəçi $userId: $userName")
}

// Default dəyər üçün Elvis ilə let zənciri
val displayName = nullableName?.let { it.uppercase() } ?: "GUEST"

Smart cast Kotlin-də — yoxlamadan sonra nullable tipi avtomatik olaraq null olmayana çevirən başqa bir mexanizmdir. Kompilyator null yoxlama yerlərini izləyir və əlavə let və ya if-let olmadan dəyişəndən istifadə etməyə imkan verir. Lakin mürəkkəb zəncirlər üçün təhlükəsiz çağırış operatoru ilə açıq let konstruksiyası üstünlük təşkil edir, çünki smart cast yalnız yoxlama bloku daxilində işləyir və iç-içə çağırışlara yayılmır.

Kotlin-in scope funksiyaları — let, run, with, apply, also — nullable dəyərlərlə iş üçün müxtəlif yollar təqdim edir. let if-let-ə ən yaxındır, çünki null olmayan dəyərlə yeni görünmə sahəsi yaradır. run funksiyası obyekt konteksti ilə kod blokunu icra etmək üçün, apply isə nəticə qaytarmadan obyekti konfiqurasiya etmək üçün uyğundur.

if-let vs guard let: müqayisəli təhlil

guard let — Swift-də nil dəyərində funksiyadan erkən çıxışı həyata keçirən alternativ konstruksiyadır. if-let-dən fərqli olaraq, qeyri-opsional dəyişən yalnız blok daxilində əlçatandır, guard let isə dəyişəni eyni görünmə sahəsində yaradır, onu guard blokundan sonra istifadə etməyə imkan verir. Bu, guard let-i giriş parametrlərinin validasiyası üçün üstünlüklü edir.

Nə vaxt if-let seçmək

if-let üstünlük təşkil edir, opsional dəyərlə qısa hərəkət yerinə yetirmək və əsas kodun icrasını davam etdirmək lazım olduqda. UI yeniləmələri — tipik ssenari: opsional şəkil aldıq, ImageView-i if-let blokunda yenilədik, nil olduqda heç nə etmirik. Belə hallarda else qolu lazım deyil və if-let məcburi return olmadan minimal kod verir.

Nə vaxt guard let seçmək

guard let nil dəyəri funksiyanın sonrakı icrasını mənasız etdikdə istifadə olunur. Erkən çıxış iç-içəliyi azaldır və kodu xətti edir. SwiftLint tövsiyələrinə görə, guard let opsional parametrin iş üçün kritik olduğu bütün funksiyalarda üstünlük təşkil edir. guard let həmçinin çoxlu opsionallı funksiyalarda məcburidir — hər parametr üçün bir guard piramidasız düz kod verir.

if-let istifadəsində tipik səhvlər

Hətta təcrübəli proqramçılar optional binding ilə səhv edirlər. Ən geniş yayılmışı — unudulmuş else qolu, nil dəyəri nəzərə alınmadıqda və proqram xəbərdarlıq etmədən səhv işləyir. Swift-də else-in olmaması kompilyasiya xətasına səbəb olmur, bu da məntiqi səhvlərə gətirib çıxarır: istifadəçi UI yeniləməsini görmür, lakin xəta barədə bildiriş də almır.

Həddindən artıq iç-içəlik

Hər yeni if-let iç-içəlik səviyyəsini artırır. 4-5 opsionalda kod piramidaya çevrilir. Refaktorinq guard let və ya vergüllə birləşdirilmiş şərtlərlə problemi həll edir. Swift 5.7+-da bir şərtdə iç-içəlik olmadan bir neçə let istifadə etmək olar, bu, koqnitiv yükü azaldır və kod icmalında oxunaqlılığı yaxşılaşdırır.

Opsionalın gizli açılması

Bəzi proqramçılar vaxta qənaət etmək üçün if-let əvəzinə force unwrap istifadə edirlər. Bu, nil dəyərində crash-lərə səbəb olur. Statik kod analizatoru force unwrap-ı xəbərdarlıq kimi qeyd edir, lakin bir çox layihələr bu qaydanı söndürərək texniki borc yaradır. Production kodda force unwrap yalnız unit testlərdə və ya dəyərin mövcudluğuna mütləq zəmanət olduqda rast gəlinməlidir.

Unudulmuş opsional çağırış yoxlaması

if-let olmadan opsional çağırışlar zənciri problemi gizlədə bilər. Əgər optional chaining metodu zəncirin ortasında nil qaytarırsa, bütün nəticə nil olacaq, lakin açıq yoxlama olmadan proqramçı bunu hiss etməyə bilər. Optional chaining-in if-let ilə birləşməsi son nəticənin yoxlanıldığını və çıxarıldığını təmin edir.