يوشك Pocket Budget أن يستدعي خادمًا للحصول على أسعار الصرف. قد يستغرق الطلب 200 ميلي ثانية، أو ثماني ثوانٍ في القطار. لو جلس الـ main thread، الذي يرسم الواجهة ويتعامل مع اللمسات، ينتظره، لتجمّد التطبيق وربما أنهاه iOS في النهاية. نموذج الـ concurrency (التزامن) في Swift يتيح لك كتابة كود ينتظر دون أن يحجب، بأسلوب يُقرأ من الأعلى إلى الأسفل، وتضيف Swift 6 فحوصات في الـ compiler تثبت أن الكود الذي يعمل بالتوازي خالٍ من سباقات البيانات.
\nimport Foundation\n\nstruct RateService {\n func fetchRate(from base: String, to target: String) async throws -> Decimal {\n try await Task.sleep(for: .milliseconds(300)) // stands in for a network call\n return target == \"EUR\" ? 0.92 : 0.79\n }\n}async في التوقيع تعني «هذه الدالة قد تتوقّف مؤقتًا». وكل استدعاء لها يُعلَّم بـ await، التي تعلّم نقطة تعليق (suspension point): قد تتوقّف الدالة هناك، ويذهب الـ thread لأداء عمل آخر (مثل تمرير قائمة)، ثم تستأنف الدالة حين تكون النتيجة جاهزة. وتجتمع async مع throws، فيكون الاستدعاء try await. في الدرس التالي يصبح Task.sleep طلبًا حقيقيًا.
الدوال غير المتزامنة لا تُستدعى إلا من سياق غير متزامن. ويعطيك SwiftUI واحدًا عبر الـ modifier المسمّى .task:
@MainActor\n@Observable\nfinal class BudgetStore {\n var expenses: [Expense] = []\n var euroRate: Decimal?\n var isLoadingRate = false\n private let rates = RateService()\n\n func loadEuroRate() async {\n isLoadingRate = true\n defer { isLoadingRate = false }\n do {\n euroRate = try await rates.fetchRate(from: \"USD\", to: \"EUR\")\n } catch {\n euroRate = nil\n }\n }\n}\n\nstruct RateBanner: View {\n let store: BudgetStore\n\n var body: some View {\n Group {\n if store.isLoadingRate {\n ProgressView()\n } else if let rate = store.euroRate {\n Text(\"1 USD = \\(rate.formatted()) EUR\")\n } else {\n Text(\"Rate unavailable\")\n }\n }\n .task {\n await store.loadEuroRate()\n }\n }\n}تبدأ .task حين يظهر الـ view وتُلغى تلقائيًا حين يختفي، فالمستخدم الذي يغادر الشاشة لا يترك طلبًا يعمل في الخلفية. أما للنقر على زر، فغلّف الاستدعاء في Task { await store.loadEuroRate() }، الذي يبدأ عملًا جديدًا على المستوى الأعلى. وتعيد defer ضبط علامة التحميل أيًّا كانت طريقة خروج الدالة.
طلبان مستقلّان لا يجب أن ينتظر أحدهما الآخر. async let تبدأ العمل فورًا وتتيح لك جمعه لاحقًا:
func loadBothRates(using service: RateService) async throws -> (eur: Decimal, gbp: Decimal) {\n async let eur = service.fetchRate(from: \"USD\", to: \"EUR\")\n async let gbp = service.fetchRate(from: \"USD\", to: \"GBP\")\n return try await (eur, gbp)\n}يعمل الطلبان في الوقت نفسه، فيستغرق هذا نحو 300 ms بدل 600. ولعدد من المهام لا تعرفه إلا وقت التشغيل، استخدم مجموعة مهام (task group):
\nfunc loadRates(for codes: [String], using service: RateService) async throws -> [String: Decimal] {\n try await withThrowingTaskGroup(of: (String, Decimal).self) { group in\n for code in codes {\n group.addTask {\n (code, try await service.fetchRate(from: \"USD\", to: code))\n }\n }\n var rates: [String: Decimal] = [:]\n for try await (code, rate) in group {\n rates[code] = rate\n }\n return rates\n }\n}هذه هي الـ concurrency المهيكلة (structured concurrency): المهام الأبناء تعيش داخل نطاق أبيها. لا تستطيع الدالة أن تعود ما دام ابن ما زال يعمل، وإن رمى أحد الأبناء خطأً أُلغي الباقون، وإلغاء الأب يلغي كل الأبناء. لاحظ أن كل ابن يعيد نتيجته والأب يجمّع القاموس. الأبناء لا يكتبون أبدًا في state مشتركة.
\nيحدث سباق البيانات (data race) حين يصل threadان إلى الذاكرة نفسها في الوقت نفسه ويكتب أحدهما على الأقل. والنتيجة بيانات تالفة أو عطل يظهر مرة في كل ألف تشغيل. يحوّل وضع اللغة Swift 6 فحوصات ذلك إلى أخطاء ترجمة، منظّمة حول مفهوم العزل (isolation): كل قطعة من الـ state القابلة للتغيير تنتمي إلى نطاق واحد بالضبط، ولا يلمسها مباشرةً إلا الكود الموجود في ذلك النطاق.
\nثلاث أدوات تغطّي معظم الحالات في أي تطبيق:
\nالـ main actor. يعزل @MainActor النوع على الـ main thread. حالة الواجهة تنتمي إلى هناك، ولهذا عُلّم BudgetStore بـ @MainActor في الكود أعلاه: الـ views التي تقرؤه تعمل على الـ main actor، والآن يضمن الـ compiler ألّا يكتب فيه أي شيء آخر. مشاريع التطبيقات الجديدة في Xcode 26 وما بعده تضبط إعداد البناء Default Actor Isolation على MainActor، فيكون كود تطبيقك معزولًا على الـ main actor ما لم تقل غير ذلك. إنه افتراض معقول: معظم كود التطبيقات هو كود واجهة.
الـ actors. الـ actor نوع مرجعي يحمي الـ state الخاصة به بتنفيذ استدعاء واحد في كل مرة. والكود خارج الـ actor يجب أن يستخدم await للوصول إليه:
actor RateCache {\n private var rates: [String: Decimal] = [:]\n\n func rate(for code: String) -> Decimal? {\n rates[code]\n }\n\n func save(_ rate: Decimal, for code: String) {\n rates[code] = rate\n }\n}\n\n// From anywhere: await cache.save(0.92, for: \"EUR\")القيم من نوع Sendable. يكون النوع Sendable (قابلًا للإرسال) حين يكون تمريره بين النطاقات آمنًا. أنواع القيم المبنية من أجزاء Sendable (String وDecimal والـ struct المسمّى Expense) تستوفي ذلك تلقائيًا، وكذلك الـ actors والـ classes المعزولة على الـ main actor. أما الـ class العادي الذي فيه خصائص var فلا يستوفيه، ويمنعك الـ compiler من مشاركته بين المهام.
هذه هي المفردات: async وawait والمهام والـ actors وSendable. لا تحتاج إلى إتقان كل قاعدة دفعة واحدة؛ اقرأ كل خطأ من الـ compiler كسؤال عن النطاق الذي يملك البيانات. بعد ذلك تستبدل Task.sleep التمثيلية بطلب حقيقي وتفكّ ترميز الـ JSON الذي يعيده.
await تعلّم نقطة قد تتوقّف فيها الدالة مؤقتًا؛ ويكون الـ thread حرًّا لأداء عمل آخر، مثل إبقاء الواجهة مستجيبة، أثناء الانتظار.","ابدأ العمل غير المتزامن من view عبر .task، الذي يلغيه SwiftUI تلقائيًا حين يختفي الـ view.","async let ومجموعات المهام تشغّل العمل بالتوازي كمهام أبناء يجب أن تنتهي، أو تُلغى، قبل أن يعود الأب.","ترفض Swift 6 ترجمة الكود الذي قد تلمس فيه مهمّتان الـ state القابلة للتغيير نفسها في الوقت ذاته؛ والـ actors والأنواع من نوع Sendable هي طريقتك لإرضائها.","أبقِ حالة الواجهة على الـ main actor عبر @MainActor؛ ومشاريع Xcode الجديدة تجعل العزل على الـ main actor هو الافتراضي لكود التطبيق."],"further":[{"title":"Concurrency (The Swift Programming Language)","url":"https://docs.swift.org/swift-book/documentation/the-swift-programming-language/concurrency/"},{"title":"Swift 6 Migration Guide","url":"https://www.swift.org/migration/documentation/migrationguide/"},{"title":"Updating an app to use strict concurrency","url":"https://developer.apple.com/documentation/swift/updating-an-app-to-use-strict-concurrency"}],"quiz":[{"q":"يحمّل view أسعار الصرف داخل .task { await store.loadEuroRate() }. يغادر المستخدم الشاشة قبل انتهاء الطلب. ماذا يحدث؟
Task { } داخل زر. أما .task فمرتبطة بعمر الـ view."},{"text":"يلغي SwiftUI المهمة، والاستدعاءات التي تنتبه للإلغاء مثل Task.sleep أو طلبات URLSession ترمي خطأً.","why":"صحيح. الإلغاء تعاوني؛ والـ APIs غير المتزامنة المنضبطة تلاحظه وتتوقّف مبكرًا."},{"text":"يتعطّل التطبيق لأن الـ view لم يعد موجودًا.","why":"المهمة تحمل ما تحتاجه؛ ولا تعتمد على بقاء الـ struct الخاص بالـ view."}],"answer":1},{"q":"لديك async let eur = fetch("EUR") وasync let gbp = fetch("GBP")، وكلٌّ منهما يستغرق نحو 300 ms، يليهما try await (eur, gbp). كم يستغرق ذلك في المجمل؟
async let تبدأ مهمة ابنًا فورًا؛ وتجمع await النتيجتين."},{"text":"نحو 600 ms، لأن كل await تنتظر دورها.","why":"هذا ما يحدث مع استدعاءين عاديين try await على التوالي. أما async let فتبدأ الاثنين قبل انتظار أيٍّ منهما."},{"text":"فورًا، لأن async let لا تنتظر.","why":"العمل ما زال يستغرق وقتًا؛ async let تسمح فقط بتداخله."}],"answer":0},{"q":"لماذا تستطيع استدعاء await cache.save(rate, for: "EUR") على actor من مهام كثيرة في الوقت نفسه دون سباق بيانات؟
await.","why":"صحيح. هذا التسلسل هو سبب حاجة كل استدعاء خارجي لـ actor إلى await."}],"answer":2},{"q":"أيّ نوع يكون Sendable دون أن تكتب أي شيء إضافي؟
final class فيه خاصية var.","why":"الـ state المشتركة القابلة للتغيير هي بالضبط ما يستبعده Sendable؛ ولن يستنتجه الـ compiler."},{"text":"struct غير عام كل خصائصه المخزّنة Sendable، مثل String وDecimal.","why":"صحيح. أنواع القيم المبنية من قيم Sendable يمكن نسخها بأمان بين المهام، فتستنتج Swift ذلك."},{"text":"أي class معلّم بـ @Observable.","why":"الـ classes المراقَبة قابلة للتغيير وليست Sendable إلا إذا كانت معزولة على actor مثل @MainActor."}],"answer":1}],"exercise":{"kind":"spot-bug","language":"swift","code":"import Foundation\n\nfinal class Tally {\n var total: Decimal = 0\n}\n\nfunc totalOfAll(_ amounts: [Decimal]) async -> Decimal {\n let tally = Tally()\n await withTaskGroup(of: Void.self) { group in\n for amount in amounts {\n group.addTask { tally.total += amount }\n }\n }\n return tally.total\n}","bugLines":[11],"title":"سباق البيانات الذي ترفض Swift 6 بناءه","prompt":"هذه الدالة المساعدة تجمع قائمة من المبالغ باستخدام مجموعة مهام. ستعمل بلا مشكلة في اختبار سريع، ومع ذلك يرفض الـ compiler في Swift 6 بناءها. اختر السطر الذي ينشئ سباق البيانات.
\n","hints":["كم مهمة ابنًا تعمل في الوقت نفسه، وما الذي تلمسه كلها؟","Tally هو class عادي فيه var. هل هو Sendable؟","في الـ concurrency المهيكلة، يجب أن يسلّم الأبناء النتائج إلى الأب بدل الكتابة في state مشتركة."],"explanation":"السطر 11 يبدأ مهمة ابنًا لكل مبلغ، وكل ابن يعدّل كائن Tally نفسه. المهام الأبناء تعمل بالتوازي، فقد يقرأ اثنان منها total ويكتبانها في اللحظة نفسها فيضيع أحد التحديثين. ولأن Tally ليس Sendable، ترفض Swift 6 الالتقاط (“passing closure as a ‘sending’ parameter risks causing data races”، أو خطأ عزل على الـ main actor حين يستخدم مشروعك العزل الافتراضي على الـ main actor).
اجعل كل ابن يعيد قيمته واجمع في الأب، الذي لا ينفّذ إلا دورة واحدة من الحلقة في كل مرة:
\nfunc totalOfAll(_ amounts: [Decimal]) async -> Decimal {\n await withTaskGroup(of: Decimal.self) { group in\n for amount in amounts {\n group.addTask { amount }\n }\n var total: Decimal = 0\n for await part in group {\n total += part\n }\n return total\n }\n}وإن كان لا بدّ فعلًا من مشاركة الـ state، فاجعل Tally من نوع actor واستدعِ await tally.add(amount).