اشرح ARC بعمق: weak مقابل unowned، وكيف تكتشف التسريبات (leaks).

Question

IT Interview Practice · Accepted Answer

يدير **ARC (Automatic Reference Counting)** الذاكرة لنسخ الأصناف عبر تتبّع المراجع القوية وقت الترجمة: يُدرِج المترجم استدعاءات `retain`/`release`، وعندما يصل عدّاد المراجع القوية لكائن إلى صفر يُحرَّر فورًا — بشكل حتمي، لا بواسطة جامع قمامة (garbage collector) في الخلفية.

## كيف تؤثر المراجع في العدّاد

- **strong** (الافتراضي) — يزيد العدّاد؛ ويُبقي الكائن حيًّا.
- **weak** — لا يزيد العدّاد؛ ويُضبط تلقائيًا إلى `nil` عند التحرير. يجب أن يكون `var` و optional.
- **unowned** — لا يزيد العدّاد؛ ويُفترَض أنه صالح دائمًا. والوصول بعد التحرير يسبب انهيارًا (أو أسوأ، سلوكًا غير مُعرَّف مع `unowned(unsafe)`).

```swift
final class Customer {
    var card: Card?                 // strong: customer owns card
}
final class Card {
    unowned let owner: Customer     // unowned: card never outlives its owner
    init(owner: Customer) { self.owner = owner }
}
```

## weak مقابل unowned — القرار

اختر حسب **علاقة العمر (lifetime relationship)**، لا حسب العادة:

| | weak | unowned |
|--|------|---------|
| Optional | نعم (يصبح nil) | لا |
| كلفة ARC | أعلى قليلًا (متتبَّع) | أقل |
| آمن إذا اختفى الكائن الآخر | نعم | **انهيار** |
| يُستخدم متى | يمكن للمرجع أن يصبح nil بشكل مشروع (مندوبون، أب قد يُحرَّر أولًا) | مضمون أن يعيش المرجع أطول من self (ابن → أب إلزامي) |

## اكتشاف التسريبات

1. **Xcode Memory Graph Debugger** — أوقِف مؤقتًا وابحث عن كائنات كان يجب أن تختفي؛ علامات `!` البنفسجية تشير إلى الدورات.
2. **Instruments → Leaks / Allocations** — راقب الذاكرة المتزايدة باطّراد عند تكرار تدفق ما.
3. **تسجيل `deinit`** — أسرع فحص للسلامة: إذا لم يطبع `deinit` أبدًا عند إغلاق شاشة، فقد تسرّب ذلك الكائن.

```swift
deinit { print("released \(Self.self)") }  // silence on dismiss = leak
```

## مصادر التسريب الشائعة

الـ closures الهاربة التي تلتقط `self`، والمراجع القوية ثنائية الاتجاه بين الأب والابن، و`Timer`/`DispatchSourceTimer` التي تحتفظ بهدفها، واشتراكات Combine غير المخزَّنة في cancellable يُحرَّر.

## لماذا يهم

ARC حتمي، لذا فالتسريبات مسؤوليتك أنت لا مسؤولية جامع القمامة — فمتحكم عرض واحد محتفَظ به يمكن أن يثبّت ميغابايتات من الصور وشجرة كائناته بأكملها. تسبر مقابلات المستوى الأعلى هذا الأمر لأن الاختيار الصحيح بين weak و unowned ومعرفة كيفية *إثبات* التسريب عبر الرسم البياني للذاكرة هو ما يمنع التطبيقات طويلة التشغيل من التضخّم.

	weak	unowned
Optional	نعم (يصبح nil)	لا
كلفة ARC	أعلى قليلًا (متتبَّع)	أقل
آمن إذا اختفى الكائن الآخر	نعم	انهيار
يُستخدم متى	يمكن للمرجع أن يصبح nil بشكل مشروع (مندوبون، أب قد يُحرَّر أولًا)	مضمون أن يعيش المرجع أطول من self (ابن → أب إلزامي)

كيف تؤثر المراجع في العدّاد

weak مقابل unowned — القرار

اكتشاف التسريبات

مصادر التسريب الشائعة

لماذا يهم

أسئلة ذات صلة