ماذا يجب أن يحدث حين يحاول المستخدم حفظ مصروف بلا عنوان، أو بمبلغ سالب، أو بمبلغ يتجاوز ميزانية الطعام لهذا الشهر دفعة واحدة؟ إعادة optional، كما فعلت في درس الـ optionals، تخبر المستدعي أن العملية فشلت لكنها لا تخبره لماذا، وPocket Budget يحتاج إلى السبب ليعرض الرسالة المناسبة. معالجة الأخطاء في Swift تجعل الفشل جزءًا من توقيع الدالة، مع أسباب مكتوبة كأنواع.
\nابدأ بسرد الطرق التي قد يفشل بها تسجيل مصروف:
\nimport Foundation\n\nenum BudgetError: Error, Equatable {\n case emptyTitle\n case nonPositiveAmount\n case overLimit(by: Decimal)\n}أي نوع يتوافق مع Error يمكن رميه، والـ enum ذو القيم المرتبطة هو الخيار الطبيعي: كل حالة فشلٌ واحد، وoverLimit تحمل مقدار التجاوز الذي سيقع فيه المستخدم. ليس لـ Error أي متطلّبات؛ هو فقط يعلّم النوع على أنه قابل للرمي. وسيساعد Equatable في الاختبارات في الدرس الأخير.
الدالة التي قد تفشل تصرّح بذلك عبر throws وتتوقّف عبر throw:
struct CategoryBudget {\n var limit: Decimal\n private(set) var spent: Decimal = 0\n\n mutating func record(title: String, amount: Decimal) throws {\n guard !title.trimmingCharacters(in: .whitespaces).isEmpty else {\n throw BudgetError.emptyTitle\n }\n guard amount > 0 else {\n throw BudgetError.nonPositiveAmount\n }\n let newTotal = spent + amount\n guard newTotal <= limit else {\n throw BudgetError.overLimit(by: newTotal - limit)\n }\n spent = newTotal\n }\n}guard وthrow ثنائي مثالي: كل guard تنصّ على قاعدة، وفرع else فيها يرمي الخطأ المناسب. وprivate(set) تسمح لأي أحد بقراءة spent لكنها لا تسمح بتغييرها إلا للميزانية نفسها، فتكون الطريقة الوحيدة لإنفاق المال عبر record التي تفرض القواعد.
كل استدعاء لدالة ترمي أخطاء يجب أن يُعلَّم بـ try. هذه الكلمة موجّهة للبشر: امسح الدالة بعينيك بحثًا عن try وسترى كل سطر قد يغادر فيه التنفيذ مبكرًا.
var food = CategoryBudget(limit: 50)\n\ndo {\n try food.record(title: \"Dinner\", amount: 62)\n print(\"Saved\")\n} catch BudgetError.overLimit(let by) {\n print(\"That's \\(by) over your food budget\")\n} catch {\n print(\"Couldn't save: \\(error)\")\n}حين ترمي record خطأً، يقفز التنفيذ مباشرة إلى أول catch يطابق نمطها، متخطّيًا print("Saved"). وتستخدم جمل catch مطابقة الأنماط نفسها التي في switch، فيمكنك ربط القيم المرتبطة. أما catch الأخيرة المجرّدة فتعالج كل ما تبقّى وتعطيك الخطأ كثابت اسمه error.
إن لم تكن الدالة قادرة على معالجة الخطأ بشكل معقول، فليس عليها ذلك. علّمها بـ throws أيضًا، واستدعِ بـ try دون do، وسيصعد الخطأ إلى من استدعاها.
هناك اختصاران. try? تحوّل النتيجة إلى optional: النجاح يعطي قيمة، والفشل يعطي nil. أما try! فتؤكّد أن الاستدعاء لا يمكن أن يفشل، وتُسقط التطبيق إن فشل، بالمخاطرة نفسها التي في الفكّ القسري.
print(error) تعرض overLimit(by: 12)، وهذا مقبول في السجلّ لكنه بلا فائدة في تنبيه. اجعل النوع يتوافق مع LocalizedError لتقدّم نصًا يفهمه البشر:
extension BudgetError: LocalizedError {\n var errorDescription: String? {\n switch self {\n case .emptyTitle: \"Give the expense a name.\"\n case .nonPositiveAmount: \"Enter an amount greater than zero.\"\n case .overLimit(let by): \"This puts you \\(by.formatted(.currency(code: \"USD\"))) over budget.\"\n }\n }\n}الآن تعيد error.localizedDescription تلك الجملة، جاهزة لتنبيه في SwiftUI.
throws العادية تعني «قد ترمي أي Error». وتضيف Swift 6 الـ typed throws (الرمي محدّد النوع)، حيث يسمّي التوقيع النوع الدقيق:
mutating func record(title: String, amount: Decimal) throws(BudgetError) {\n // same body; inside, `throw .emptyTitle` can drop the type name\n}الفائدة تظهر في موضع الاستدعاء. حين ترمي كل try داخل كتلة do الخطأ BudgetError، يكون error داخل catch من النوع BudgetError لا any Error، فيمكنك كتابة switch شاملة عليه دون حالة التقاط عامة. اكتب do throws(BudgetError) لتصرّح بذلك صراحةً:
do throws(BudgetError) {\n try food.record(title: \"Snack\", amount: 100)\n} catch {\n switch error {\n case .emptyTitle: print(\"Give it a name\")\n case .nonPositiveAmount: print(\"Amount must be positive\")\n case .overLimit(let by): print(\"That's \\(by) over budget\")\n }\n}الثمن هو الجمود: متى وعدت الدالة بـ BudgetError، لا تستطيع أن تبدأ برمي خطأ فكّ ترميز أو خطأ شبكة دون تغيير توقيعها وكل من يستدعيها. وتوصية مشروع Swift نفسه هي إبقاء throws غير المحدّدة النوع خيارًا افتراضيًا، واستخدام الـ typed throws داخل الـ module حيث يعالج المستدعون كل حالة، كما يفعل التحقّق في Pocket Budget. وفي الشبكات لاحقًا في الدورة ستبقى مع throws العادية، لأن تلك الاستدعاءات قد تفشل بطرق أكثر مما تتحكّم فيه.
بهذا يكتمل قسم التصميم. صار بإمكانك الآن وصف بيانات Pocket Budget وحالات فشلها بدقة. بعد ذلك تضع هذه البيانات على الشاشة باستخدام SwiftUI.
\n","toc":[{"id":"sec-1","text":"الأخطاء enums","level":2},{"id":"sec-2","text":"throw وtry","level":2},{"id":"sec-3","text":"معالجة الأخطاء بـ do-catch","level":2},{"id":"sec-4","text":"try? وtry!","level":2},{"id":"sec-5","text":"رسائل يفهمها المستخدم","level":2},{"id":"sec-6","text":"الـ typed throws في Swift 6","level":2}],"takeaways":["صِف الطرق التي قد تفشل بها عملية ما كـ enum يتوافق معError، مع قيم مرتبطة للتفاصيل.","كل استدعاء لدالة ترمي أخطاء يُعلَّم بـ try، فيرى القارئ بالضبط أين قد يقفز التنفيذ إلى الخارج.","الكتلة do-catch تعالج الأخطاء؛ ويمكن لجمل catch أن تطابق حالات محدّدة، وتستقبل catch الأخيرة الباقي باسم error.","try? تحوّل الفشل إلى nil وتتخلّص من السبب، فاستخدمها فقط حين لا يهمّك السبب فعلًا.","الـ typed throws (throws(BudgetError)) تناسب الكود الذي يعالج فيه المستدعون كل حالة؛ أما throws غير المحدّدة النوع فتبقى الخيار الافتراضي الأفضل للـ APIs العامة."],"further":[{"title":"Error Handling","url":"https://docs.swift.org/swift-book/documentation/the-swift-programming-language/errorhandling/"},{"title":"LocalizedError","url":"https://developer.apple.com/documentation/foundation/localizederror"}],"quiz":[{"q":"لديك func record(...) throws. ماذا يعطيك let result = try? budget.record(title: "Tea", amount: 3) حين يفشل؟
result.","why":"try? تتخلّص من الخطأ كليًا؛ لا تعرف إلا أن شيئًا ما فشل."},{"text":"nil، ويضيع السبب.","why":"صحيح. هذه هي المقايضة مع try?، ولهذا لا تناسب إلا حالات الفشل التي كنت ستتجاهلها أصلًا."},{"text":"عطل مع وصف الخطأ.","why":"هذا ما تفعله try!. أما try? فلا تُسقط التطبيق أبدًا."}],"answer":1},{"q":"دالة تستدعي try budget.record(...) لكن ليس فيها do-catch. متى تُترجَم؟
throws، فينتقل الخطأ إلى من استدعاها.","why":"صحيح. تصعد الأخطاء في سلسلة الاستدعاءات حتى يلتقطها شيء ما."},{"text":"أبدًا؛ كل try يجب أن تكون داخل كتلة do.","why":"الدالة التي ترمي أخطاء تستطيع أن تمرّر الأخطاء إلى من استدعاها دون أن تلتقطها."},{"text":"دائمًا؛ الأخطاء غير الملتقَطة تُسجَّل وتُتجاهل.","why":"تفحص Swift معالجة الأخطاء وقت الترجمة. والخطأ غير الملتقَط في دالة لا ترمي أخطاء هو خطأ ترجمة."}],"answer":0},{"q":"متى تكون الـ typed throws، مثل throws(BudgetError)، الخيار الأفضل؟
throws غير المحدّدة النوع هي الافتراضية لأنها تسمح للـ API بإضافة أنواع فشل جديدة لاحقًا."},{"text":"للـ APIs العامة في المكتبات التي تعتمد عليها فرق أخرى.","why":"هنا بالتحديد يؤلم نوع الخطأ الثابت أكثر؛ فإضافة نوع فشل لاحقًا تصبح تغييرًا كاسرًا."},{"text":"للكود داخل الـ module الخاص بك حيث يعالج المستدعون كل حالة بشكل شامل.","why":"صحيح. هنا تؤتي معرفة النوع الدقيق ثمارها، مع switch بلا حالة التقاط عامة."}],"answer":2}],"exercise":{"kind":"choice","options":["a","b","c","d"],"correct":["d"],"title":"تتبّع الأخطاء","prompt":"يستخدم هذا المقطع CategoryBudget وBudgetError من الدرس: ترمي record الخطأ .emptyTitle للعنوان الفارغ، و.nonPositiveAmount للمبلغ الذي يساوي صفرًا أو أقل، و.overLimit(by:) حين يتجاوز المجموع الجديد الحدّ. توقّع كل ما تطبعه الحلقة.
var food = CategoryBudget(limit: 50)\nlet attempts: [(String, Decimal)] = [(\"Lunch\", 12), (\"\", 5), (\"Dinner\", 45)]\n\nfor (title, amount) in attempts {\n do {\n try food.record(title: title, amount: amount)\n print(\"Saved \\(title)\")\n } catch BudgetError.overLimit(let by) {\n print(\"Over by \\(by)\")\n } catch {\n print(\"Rejected: \\(error)\")\n }\n}\nprint(food.spent)spent بعد كل محاولة. هل تغيّرها المحاولة الفاشلة؟","المحاولة الثانية تفشل حتى قبل فحص المبلغ. أيّ guard تأتي أولًا؟","في المحاولة الثالثة، سيكون المجموع الجديد 12 + 45. بكم يتجاوز ذلك 50؟"],"explanation":"يجتاز Lunch كل الـ guards، فتصبح spent مساوية لـ 12 ويُطبع “Saved Lunch”. العنوان الفارغ يفشل في أول guard؛ و.emptyTitle لا يطابق نمط overLimit، فتطبع catch المجرّدة “Rejected: emptyTitle”. أما Dinner فسيرفع المجموع إلى 57، فترمي record الخطأ .overLimit(by: 7) وتطبع أول catch العبارة “Over by 7”.
ولأن record ترمي الخطأ قبل أن تُسند spent، فالمحاولات الفاشلة لا تغيّر شيئًا، ويطبع السطر الأخير 12. كتابة كل الفحوصات أولًا والتعديل في النهاية هي ما يجعل استدعاء الدالة مرة أخرى بعد الفشل آمنًا.
spent = newTotal، فلا يصل المجموع أبدًا إلى 57."},"c":{"text":"Saved Lunch / Over by 7 / 12","why":"العنوان الفارغ ما زال ينتج مخرجات. تلتقطه catch الأخيرة المجرّدة، فتطبع “Rejected: emptyTitle”."},"d":{"text":"Saved Lunch / Rejected: emptyTitle / Over by 7 / 12","why":"صحيح. كل فشل تلتقطه أول جملة مطابقة، والمحاولات الفاشلة تترك spent دون تغيير."}}},"words":624,"readMinutes":4}