أراجع كل عام كودًا كتبه مطوّرو iOS جدد، وأغلب تقارير الأعطال تعود إلى العادات القليلة نفسها: قيم تتغيّر حين لم يتوقّع أحد ذلك، وأرقام تفقد دقّتها بصمت، وافتراضات كان بإمكان الـ compiler (المترجِم) أن يكتشفها. صُمّمت Swift لتلتقط هذه الأخطاء بالتحديد، لكن بشرط أن تعمل مع نظام الأنواع لا أن تلتفّ عليه.
\nخلال هذه الدورة ستبني Pocket Budget، تطبيق iPhone صغيرًا يتتبّع ما تنفقه. يبدأ هنا بعدد قليل من القيم داخل playground في Xcode، وينتهي تطبيقًا بـ SwiftUI على TestFlight. لتتابع معي، افتح Xcode، واختر File › New › Playground، ثم اختر القالب Blank، واكتب الأمثلة. الـ playground (ملف التجارب) يشغّل الكود وأنت تكتبه ويعرض نتيجة كل سطر في الشريط الجانبي.
\nفي Swift طريقتان لتسمية قيمة. let تعرّف ثابتًا يُسنَد مرة واحدة. وvar تعرّف متغيّرًا يمكن أن يتغيّر.
let monthlyLimit = 1500\nvar spentSoFar = 0\n\nspentSoFar = spentSoFar + 42\nspentSoFar += 18 // shorthand for the line above\n// monthlyLimit = 2000 // error: cannot assign to value: 'monthlyLimit' is a 'let' constantاستخدم let افتراضيًا. حين تكون القيمة ثابتة، لن تتساءل أبدًا من الذي غيّرها. وإن احتجت إلى تغييرها لاحقًا، يخبرك الـ compiler بذلك، ويعرض عليك Xcode إصلاحًا بنقرة واحدة يحوّل let إلى var. وفي الاتجاه المعاكس، يحذّرك Xcode حين لا يتغيّر var أبدًا. تعامل مع هذا التحذير كطلب لترتيب الكود.
لم تكتب نوعًا واحدًا في المثال السابق، ومع ذلك لكل قيمة نوع (type). Swift تستنتج النوع من أول قيمة تسندها:
\nlet category = \"Coffee\" // String\nlet cups = 3 // Int\nlet pricePerCup = 4.5 // Double\nlet isRecurring = false // Boolاضغط Option مع النقر على أي اسم في Xcode لترى نوعه المستنتَج. ويمكنك أيضًا أن تكتب النوع بنفسك عبر تحديد صريح للنوع (type annotation)، وهذا مفيد حين تختار القيمة المكتوبة وحدها النوع الخطأ:
\nlet fee: Double = 3 // without the annotation, 3 would be an Intمتى أخذت القيمة نوعًا احتفظت به. لا يمكنك أن تضع String داخل cups لاحقًا. وهذا ما يجعل كود Swift مقروءًا بعد أشهر: الاسم يعني نوعًا واحدًا من الأشياء، إلى الأبد.
هذا هو السطر الذي يفاجئ القادمين من JavaScript أو Python:
\nlet cups = 3\nlet pricePerCup = 4.5\n// let total = cups * pricePerCup // error: binary operator '*' cannot be applied to operands of type 'Int' and 'Double'\nlet total = Double(cups) * pricePerCup // 13.5لا تحوّل Swift قيمة Int إلى Double (أو العكس) من وراء ظهرك. أنت تكتب التحويل، فيراه القارئ. وتحويل Double إلى Int بالكتابة Int(13.5) يحذف الكسر ويعطي 13، وهذا بالضبط نوع القرارات التي تريدها ظاهرة أثناء مراجعة الكود.
النوع Double فاصلة عائمة ثنائية. هو سريع ومثالي للمسافات أو توقيت الحركات، لكنه لا يستطيع تخزين معظم الكسور العشرية بدقة. أضف عشرة سنتات عشر مرات وانظر إلى النتيجة:
import Foundation\n\nvar withDouble = 0.0\nvar withDecimal: Decimal = 0\nfor _ in 1...10 {\n withDouble += 0.1\n withDecimal += 0.1\n}\nprint(withDouble) // 0.9999999999999999\nprint(withDecimal) // 1تطبيق ميزانية يقول إنك أنفقت $0.9999999999999999 يفقد ثقة المستخدم فورًا. أما Decimal، القادم من Foundation، فيخزّن أرقامًا بالنظام العشري، فتبقى السنتات دقيقة. يستخدم Pocket Budget النوع Decimal لكل مبلغ، وستراه في معظم الدروس من الآن فصاعدًا.
لكن انتبه إلى أمر واحد: القيمة الكسرية المكتوبة مباشرة مثل let tip: Decimal = 0.07 تُقرأ أولًا على أنها Double ثم تُحوَّل، فقد تصل بالشكل 0.07000000000000001024. المبالغ القصيرة في الأمثلة مثل 4.5 أو 12.99 تمرّ سليمة، أما المبالغ التي تهمّ فعلًا فابنِ الـ Decimal فيها من نص (Decimal(string: "0.07")) أو من عدد السنتات الصحيح (Decimal(7) / 100).
صار لديك الآن ثوابت ومتغيّرات والأنواع التي خلفها. في الدرس التالي تتعرّف على النوع الذي جعل Swift مشهورة بالأمان: الـ optional، وهو طريقة Swift لتقول «قد لا توجد قيمة هنا».
\n","toc":[{"id":"sec-1","text":"let وvar","level":2},{"id":"sec-2","text":"استنتاج النوع","level":2},{"id":"sec-3","text":"لا تحويلات صامتة","level":2},{"id":"sec-4","text":"المال ليس Double","level":2}],"takeaways":["استخدمlet افتراضيًا، ولا تنتقل إلى var إلا عندما يخبرك الـ compiler أن القيمة يجب أن تتغيّر.","تستنتج Swift النوع من أول قيمة تسندها، ولا يتغيّر هذا النوع بعد ذلك أبدًا.","لا تحوّل Swift بين Int وDouble بصمت؛ أنت من يكتب التحويل صراحةً، فلا تفاجئك العمليات الحسابية بين نوعين مختلفين.","خزّن المال بالنوع Decimal لا Double، لأن الفاصلة العائمة الثنائية لا تستطيع تمثيل معظم السنتات بدقة."],"further":[{"title":"The Basics (The Swift Programming Language)","url":"https://docs.swift.org/swift-book/documentation/the-swift-programming-language/thebasics/"},{"title":"Decimal","url":"https://developer.apple.com/documentation/foundation/decimal"}],"quiz":[{"q":"كتبت let limit = 300 ثم لاحقًا limit = 350. ماذا يحدث؟
limit الآن 350.","why":"هذا صحيح لو استخدمت var. أما الثابت المعرّف بـ let فيُسنَد مرة واحدة فقط."},{"text":"يرفض الـ compiler السطر الثاني: limit ثابت معرّف بـ let.","why":"صحيح. تكتشف Swift إعادة الإسناد وقت الترجمة، قبل أن يعمل التطبيق."},{"text":"يُترجَم الكود، لكن التطبيق يتعطّل عند تنفيذ ذلك السطر.","why":"لا تؤجّل Swift هذا الفحص إلى وقت التشغيل. قابلية التغيير يفحصها الـ compiler."}],"answer":1},{"q":"ما النوع الذي تستنتجه Swift للتعريف let coffee = 4.5؟
Float","why":"تختار Swift النوع Double للرقم العشري المكتوب مباشرة، إلا إذا طلبت Float صراحةً."},{"text":"Decimal","why":"لا يُستنتج Decimal أبدًا من قيمة مكتوبة مباشرة؛ عليك أن تحدّده بنفسك، كما في let coffee: Decimal = 4.5."},{"text":"Double","why":"صحيح. القيمة المكتوبة التي فيها جزء كسري تصبح Double افتراضيًا."}],"answer":2},{"q":"عرّفت let rent = 1200 وlet fee = 2.5. لماذا لا يُترجَم rent + fee؟
rent من النوع Int وfee من النوع Double، وSwift لا تخلط بينهما أبدًا دون تحويل صريح.","why":"صحيح. اكتب Double(rent) + fee وتكون قد صرّحت بالتحويل الذي تريده."},{"text":"لا يمكن استخدام الثوابت في العمليات الحسابية؛ المتغيّرات فقط يمكنها ذلك.","why":"الثوابت تعمل في أي تعبير. المشكلة في اختلاف النوعين."},{"text":"العامل + يعمل على النصوص فقط في Swift.","why":"العامل + يعمل على الأرقام والنصوص، لكن يجب أن يكون الطرفان من النوع نفسه."}],"answer":0}],"exercise":{"kind":"choice","multiple":true,"options":["reassign-let","increment-var","literal-sum","mixed-sum","string-to-int","annotated-double"],"correct":["increment-var","literal-sum","annotated-double"],"title":"أيّ الأسطر تُترجَم؟","prompt":"في أول playground لتطبيق Pocket Budget بضعة أسطر سيرفضها الـ compiler في Swift. كل خيار أدناه مقطع كامل قائم بذاته. اختر كل مقطع يُترجَم دون أخطاء.
\n","hints":["اسأل سؤالين عن كل مقطع: هل أُسند شيء مرتين باستخدامlet؟ وهل يخلط أي عامل بين قيمتين نوعاهما محدّدان مسبقًا؟","القيم المكتوبة مباشرة مثل 1200 و4.5 ليس لها نوع حتى تختار Swift نوعًا لها، لذلك يمكنها أن تتكيّف مع بعضها.","التحديد الصريح للنوع مثل : Double يخبر Swift كيف تقرأ القيمة المكتوبة التي تليه."],"explanation":"ثلاثة مقاطع تُترجَم. var spent يمكن أن يتغيّر، فالعامل += مقبول. و1200 + 4.5 قيمتان مكتوبتان بلا نوع، فتجعل Swift كلتيهما Double. وlet fee: Double = 3 يقرأ الرقم الصحيح على أنه Double بسبب تحديد النوع.
أما المقاطع الثلاثة الأخرى فتفشل لأسباب ستقابلها كل أسبوع: الثابت المعرّف بـ let لا يُعاد إسناده، وقيمة Int لا تُجمع مع قيمة Double دون Double(rent)، والمتغيّر من النوع String لا يمكن أن يحمل Int أبدًا.
let budget = 500; budget = 450","why":"الثابت المعرّف بـ let يُسنَد مرة واحدة فقط. استخدم var إن كانت الميزانية تتغيّر فعلًا."},"increment-var":{"text":"var spent = 0; spent += 12","why":"يُترجَم. spent متغيّر من النوع Int، وإضافة Int إليه مسموحة."},"literal-sum":{"text":"let total = 1200 + 4.5","why":"يُترجَم. الطرفان قيمتان مكتوبتان مباشرة، فتختار Swift النوع Double لكليهما وتصبح قيمة total هي 1204.5."},"mixed-sum":{"text":"let rent = 1200; let coffee = 4.5; let sum = rent + coffee","why":"يفشل. rent صار Int وcoffee صار Double؛ اكتب Double(rent) + coffee."},"string-to-int":{"text":"var label: String = "Coffee"; label = 42","why":"يفشل. المتغيّر يحتفظ بنوعه طوال حياته؛ label لا يمكن أن يحمل إلا String."},"annotated-double":{"text":"let fee: Double = 3","why":"يُترجَم. تحديد النوع يخبر Swift أن تعامل الرقم الصحيح 3 على أنه Double."}}},"words":545,"readMinutes":3}