تفتح مصروفًا، وتغيّر مبلغه من 4.50 إلى 5.00 في شاشة التعديل، ثم تنقر Cancel. هل يجب أن تبقى القائمة تعرض 4.50؟ مع الـ struct (البنية) يحدث ذلك تلقائيًا. أما مع الـ class (الصنف)، فالقائمة تعرض 5.00 بالفعل، لأن شاشة التعديل والقائمة كانتا تنظران إلى الكائن نفسه. هذا الفرق الواحد، سلوك القيمة مقابل سلوك المرجع، يحدّد سلوك تطبيق iOS أكثر من أي قرار تصميمي آخر.
\nهذا هو نوع المصروف، وخصائصه الآن معرّفة بـ var حتى يمكن تعديله:
import Foundation\n\nstruct Expense {\n var title: String\n var amount: Decimal\n}\n\nvar original = Expense(title: \"Coffee\", amount: 4.5)\nvar draft = original\ndraft.amount = 5\n\nprint(original.amount) // 4.5\nprint(draft.amount) // 5var draft = original تنتج نسخة كاملة مستقلّة. تعديل المسوّدة لا يمكن أن يؤثّر في الأصل، فتستطيع شاشة التعديل أن تعمل على مسوّدة، ولا يكلّف زر Cancel شيئًا: ترمي المسوّدة وحسب. تعطي Swift كل struct مُهيِّئًا مجانيًا اسمه memberwise initializer، ولهذا يعمل Expense(title:amount:) دون أن تكتب init.
النصوص والمصفوفات والقواميس وDecimal وInt كلها structs. لهذا أعطتك var copy = amounts في درس المجموعات مصفوفة مستقلّة. وتجعل Swift هذه النسخ رخيصة بمشاركة التخزين إلى أن يغيّره أحد الطرفين فعلًا.
final class Account {\n var balance: Decimal\n\n init(balance: Decimal) {\n self.balance = balance\n }\n}\n\nlet checking = Account(balance: 500)\nlet sameAccount = checking\nsameAccount.balance -= 50\n\nprint(checking.balance) // 450\nprint(checking === sameAccount) // true: same instanceالـ instance (النسخة) من class يعيش في مكان واحد؛ والمتغيّرات تحمل مراجع إليه. let sameAccount = checking تنسخ المرجع، فيشير الاسمان إلى الحساب نفسه. والعامل === يسأل «هل هذا هو الـ instance نفسه تمامًا؟»، وهو سؤال لا معنى له مع الـ structs. تحتاج الـ classes إلى init صريح للخصائص المخزّنة التي لا قيم افتراضية لها. علّمها بـ final إلا إذا كنت تخطّط للوراثة منها، وهذا نادر في Swift الحديثة.
let تجمّد ما يحمله الاسم. في الـ struct يحمل الاسم القيمة كلها، فلا يمكن تغيير أي شيء بداخلها. وفي الـ class يحمل الاسم مرجعًا، فيكون المرجع ثابتًا لكن خصائص الكائن المعرّفة بـ var تبقى قابلة للتغيير، وهذا بالضبط سبب ترجمة sameAccount.balance -= 50 رغم أن sameAccount معرّف بـ let.
الـ methods (الدوال التابعة) في الـ struct التي تغيّر الخصائص يجب أن تصرّح بذلك عبر mutating:
struct Budget {\n var limit: Decimal\n var spent: Decimal = 0\n\n var remaining: Decimal { limit - spent } // computed property\n\n mutating func record(_ amount: Decimal) {\n spent += amount\n }\n}\n\nvar food = Budget(limit: 300)\nfood.record(42)\nprint(food.remaining) // 258توصية Apple، وتوصيتي أنا، هي أن تبدأ بـ struct. القيم أسهل في التفكير لأن لا شيء يستطيع تغييرها من وراء ظهرك، وهي آمنة للتمرير بين الـ threads، وهذا مهم جدًا في Swift 6. استخدم class حين تحتاج إلى هوية: شيء واحد مشترك تراه أجزاء متعدّدة من التطبيق وتحدّثه. في Pocket Budget، كل Expense هو struct، أما المخزن الذي يملك القائمة وتراقبه عدة شاشات فسيكون class. والماكرو @Observable من إطار Observation و@Model من SwiftData، اللذان ستستخدمهما لاحقًا، يتطلّبان classes لهذا السبب تحديدًا.
اختبار سريع حين لا تكون متأكّدًا: تخيّل أنك تسلّم نسخة إلى شاشة أخرى. إن كان يجب أن تحصل تلك الشاشة على نسختها الخاصة لتعدّلها بحرية، فأنت تريد struct. وإن كان يجب أن ترى كل تغيير يجريه باقي التطبيق، وأن تظهر تغييراتها في كل مكان، فأنت تريد class. معظم البيانات في معظم التطبيقات تنجح في الاختبار الأول.
\nتُحرَّر الـ classes عبر العدّ التلقائي للمراجع (ARC): كل مرجع قوي يضيف واحدًا إلى عدّاد، وحين يصل العدّاد إلى الصفر يُحرَّر الكائن ويُنفَّذ deinit الخاص به. تبدأ المشكلة حين يخزّن كائنٌ closure يلتقط الكائن نفسه:
final class BudgetAlert {\n let threshold: Decimal\n var onTrigger: (() -> Void)?\n\n init(threshold: Decimal) {\n self.threshold = threshold\n }\n\n func arm() {\n onTrigger = { [weak self] in\n guard let self else { return }\n print(\"Spent more than \\(self.threshold)\")\n }\n }\n\n deinit { print(\"BudgetAlert freed\") }\n}بدون [weak self]، يمتلك التنبيهُ الـ closure ويمتلك الـ closure التنبيه. لا يصل أيّ من العدّادين إلى الصفر أبدًا، ولا يُنفَّذ deinit، وتكون قد سرّبت ذاكرة. قائمة الالتقاط [weak self] تجعل مرجع الـ closure ضعيفًا واختياريًا، فيفكّه guard let self ما دام الكائن حيًّا. الـ struct وحده لا يستطيع تكوين هذه الدورات، وهذا سبب آخر لكون الـ structs الخيار الافتراضي.
القيمة أو المرجع نصف عملية التصميم. والنصف الآخر هو وصف بيانات تأتي بأشكال مختلفة، مثل مصروف مدفوع بالبطاقة مقابل آخر مدفوع نقدًا. لهذا وُجدت الـ enums ذات القيم المرتبطة، وهي موضوع الدرس التالي.
\n","toc":[{"id":"sec-1","text":"الـ structs تُنسَخ","level":2},{"id":"sec-2","text":"الـ classes تُشارَك","level":2},{"id":"sec-3","text":"let تعني أشياء مختلفة","level":2},{"id":"sec-4","text":"أيّهما تختار","level":2},{"id":"sec-5","text":"ARC ودورات الاحتفاظ","level":2}],"takeaways":["إسناد struct ينتج نسخة مستقلّة؛ أما إسناد instance من class فينتج مرجعًا ثانيًا إلى الكائن نفسه.","الـ struct المعرّف بـlet مجمّد بالكامل، بينما المرجع إلى class المعرّف بـ let ما زال يسمح بتغيير خصائص الكائن المعرّفة بـ var.","الـ methods في الـ struct التي تغيّر الخصائص يجب أن تُعلَّم بـ mutating، ولا تُستدعى إلا على var.","اجعل الـ struct خيارك الافتراضي للبيانات؛ واستخدم class حين تحتاج إلى هوية مشتركة، مثل كائن واحد تراقبه شاشات كثيرة.","الـ class الذي يخزّن closure يلتقط self التقاطًا قويًا ينشئ دورة احتفاظ (retain cycle)؛ التقط [weak self] لكسرها."],"further":[{"title":"Choosing Between Structures and Classes","url":"https://developer.apple.com/documentation/swift/choosing-between-structures-and-classes"},{"title":"Structures and Classes","url":"https://docs.swift.org/swift-book/documentation/the-swift-programming-language/classesandstructures/"},{"title":"Automatic Reference Counting","url":"https://docs.swift.org/swift-book/documentation/the-swift-programming-language/automaticreferencecounting/"}],"quiz":[{"q":"Budget هو struct فيه mutating func record(_:). لماذا لا يُترجَم let food = Budget(limit: 300); food.record(42)؟
mutating وتُستدعى على var."},{"text":"food معرّف بـ let، فالقيمة كلها غير قابلة للتغيير والـ mutating methods ممنوعة عليها.","why":"صحيح. غيّره إلى var food وسيُترجَم الاستدعاء."},{"text":"يجب أن تُعلَّم الـ method بـ static.","why":"الـ methods من نوع static تنتمي إلى النوع نفسه، لا إلى ميزانية بعينها. هذا يغيّر التصميم ولا يصلح الخطأ."}],"answer":1},{"q":"Account هو class. لديك let a = Account(balance: 500); let b = a; b.balance -= 50. ما قيمة a.balance؟
a وb يشيران إلى الكائن نفسه، فالتغيير عبر أحدهما يظهر عبر الآخر."},{"text":"500","why":"هذا سلوك الـ struct. إسناد الـ class ينسخ المرجع، لا الكائن."},{"text":"لا يُترجَم لأن b معرّف بـ let.","why":"let يجمّد المرجع b، لا خصائص الكائن المعرّفة بـ var."}],"answer":0},{"q":"أيّ البيانات في Pocket Budget هي الأنسب لأن تكون class بدل struct؟
","options":[{"text":"مصروف واحد له عنوان ومبلغ وتاريخ.","why":"المصروف بيانات بسيطة لا هوية لها سوى قيمها؛ والـ struct يُبقي النسخ مستقلّة وآمنة."},{"text":"زوج من تاريخَي بداية ونهاية لتقرير.","why":"البيانات الصغيرة غير القابلة للتغيير هي المثال النموذجي للـ struct."},{"text":"المخزن المشترك الوحيد الذي تقرأ منه عدة شاشات وتحدّثه.","why":"صحيح. عدة شاشات تحتاج إلى رؤية الـ instance نفسه، وهذا بالضبط ما يمنحه لك سلوك المرجع."},{"text":"رمز عملة مثل “EUR”.","why":"الرمز قيمة؛ يناسبه struct أو حتىString عادي أكثر."}],"answer":2},{"q":"يخزّن class القيمة onTrigger = { print(self.threshold) } في إحدى خصائصه. ما النتيجة؟
self، فلا تظهر له التغييرات على الكائن.","why":"الـ classes لا تُنسخ أبدًا بالالتقاط. الـ closure يحمل مرجعًا قويًا إلى الكائن نفسه."},{"text":"ترفض Swift ترجمة أي closure يذكر self.","why":"Swift تُلزمك فقط بكتابة self. صراحةً في الـ escaping closures؛ ولا تمنع التقاطه."},{"text":"لا شيء خاص؛ يحرّر ARC الاثنين عند إغلاق الشاشة.","why":"لا يستطيع ARC تحرير كائنات يُبقي كلٌّ منها الآخر حيًّا. هذه هي المشكلة كلها."},{"text":"الكائن والـ closure يُبقي كلٌّ منهما الآخر حيًّا، فلا يُحرَّر الكائن أبدًا.","why":"صحيح. التقط [weak self] حتى لا يمتلك الـ closure الكائن."}],"answer":3}],"exercise":{"kind":"choice","options":["a","b","c","d"],"correct":["b"],"title":"struct أم class: توقّع الناتج","prompt":"Limit هو struct وWallet هو class. اقرأ المقطع وتوقّع السطر الوحيد الذي يطبعه.
import Foundation\n\nstruct Limit {\n var amount: Decimal\n}\n\nfinal class Wallet {\n var balance: Decimal\n init(balance: Decimal) { self.balance = balance }\n}\n\nvar food = Limit(amount: 300)\nvar fun = food\nfun.amount = 100\n\nlet mine = Wallet(balance: 500)\nlet shared = mine\nshared.balance -= 50\n\nprint(food.amount, fun.amount, mine.balance)var fun = food، كم قيمة من النوع Limit توجد؟","بعد let shared = mine، كم كائنًا من النوع Wallet يوجد؟"],"explanation":"var fun = food تنسخ الـ struct، فتغيير fun.amount إلى 100 يترك food.amount على 300. أما let shared = mine فتنسخ المرجع فقط: ما زال هناك Wallet واحد، وطرح 50 عبر shared يظهر عبر mine. الناتج هو 300 100 450.
لاحظ أن shared معرّف بـ let ومع ذلك تُرجمت عملية الطرح. let تثبّت الكائن الذي يشير إليه shared، لا خصائص الكائن المعرّفة بـ var.
100 100 450","why":"هذا يعامل الـ struct كأنه class. var fun = food أنشأت نسخة منفصلة، فيحتفظ food بالقيمة 300."},"b":{"text":"300 100 450","why":"صحيح. نسخة الـ struct مستقلّة، ومرجعا الـ class يتشاركان محفظة واحدة."},"c":{"text":"300 100 500","why":"هذا يعامل الـ class كأنه struct. shared وmine هما الكائن نفسه، فتختفي الـ 50 من كليهما."},"d":{"text":"لا يُترجَم: shared معرّف بـ let.","why":"let يجمّد المرجع، لا خصائص الكائن المعرّفة بـ var، لذلك shared.balance -= 50 مسموح."}}},"words":632,"readMinutes":4}