Dəfər operatoruna ilkinləşdirilmiş dəyişənin dəyəri nə vaxt ötürülür və bu, funksiyanın adlandırılması ilə necə əlaqəlidir?

Go dilində, funksiyanın arqumentləri, o cümlədən defer əmri ilə istifadə olunanlar, defer çağırışının vaxtında qiymətləndirilir, faktiki gecikdirilmiş funksiyanın icrası vaxtında deyil.

Bu, əgər defer-ə dəyişən verilsə, onun dəyərinin defer-in elan olunduğu vaxtda müəyyənləşdirildiyi anlamına gəlir, hətta gecikdirilmiş funksiya daha sonra, məsələn, funksiyadan çıxışdan sonra icra olunsa belə.

Nümunə:

func nümunə() (nəticə int) {
    x := 5
    defer fmt.Println("defer x:", x) // x burada müəyyən edilir, 5-dir
    x = 10
    return x
}

nümunə() çağırıldıqda, çıxış "defer x: 5" olacaq, halbuki dönüş vaxtında, x artıq 10-dur.

Adlandırılmış dönüş dəyərlərinə gəldikdə, defer onları dəyişə bilər, əgər gecikdirilmiş funksiya onlara birbaşa müraciət edərsə:

func nümunə() (nəticə int) {
    defer func() {
        nəticə += 1 // adlandırılmış nəticəni dəyişirik
    }()
    nəticə = 5
    return // defer icrasından sonra 6 qaytarır
}

Beləliklə, defer arqumentlərin dəyərlərini elan zamanı müəyyən edir, lakin içərisində dəyişdirilən adlandırılmış dönüş dəyərlərinə təsir göstərə bilər.