რატომ არ გამოყოფს Swift-ის ობიექტი მეხსიერებას დეინიციალიზაციის გამოძახების შემდეგ?

Swift-ში ობიექტი არ გაათავისუფლებს მეხსიერებას მაშინვე deinit-ის გამოძახების შემდეგ, რადგან მეხსიერების გათავისუფლება მართავს ავტომატური მიმთითებლების გამოთვლის სისტემა (ARC — Automatic Reference Counting).

deinit გამოიძახება მაშინ, როდესაც ობიექტის მიმთითებლების გამოთვლის მაჩვენებელი მიაღწევს ნულს, ანუ როდესაც აღარ არსებობს ძლიერი მიმთითებლები ობიექტზე. თუმცა, რეალური მეხსიერების გათავისუფლება შეიძლება მოხდეს მოგვიანებით, რადგან:

• ARC შეუძლია ოპტიმიზაცია განახორციელოს მეხსიერების გათავისუფლებაზე.
• თუ ობიექტი მონაწილეობს ციკლურ მიმთითებლებში, deinit შეიძლება საერთოდ არ გამოიძახოს, სანამ ციკლები არ დაირღვევა.
• ზოგიერთ შემთხვევაში, სისტემა შეიძლება გადადოს მეხსიერების გათავისუფლება ოპტიმიზაციისთვის.

ამიტომ, deinit არის სიგნალი, რომ ობიექტი მზად არის წაშლისთვის, მაგრამ რეალური მეხსიერების გათავისუფლება პასუხისმგებლობაა ARC-ის და მეხსიერების მართვის სისტემის.