Rust Ownership بالعربي: امن الذاكرة بدون Garbage Collector

كود Rust شغّال — Move Semantics

لو جربت السطر اللي فيه التعليق، الـ compiler هيرفض ويقولك بالحرف: "value borrowed here after move". مفيش فحص runtime، كل الفحص حصل وقت الـ compile. النتيجة: صفر تكلفة في الـ runtime، صفر null pointer dereference، صفر use-after-free.

مثال Borrow صح

مثال Borrow غلط (بيمنعه الـ compiler)

الـ compiler هيرفض ويوجّهك للحل. ده بيمنع data race مستحيل تلاقيه في C++ غير وقت ما الإنتاج يطفح.

Trade-offs: بتكسب إيه وبتخسر إيه

المكسب الأساسي: ذاكرة آمنة بدون GC، بدون runtime cost، مع دعم concurrency بأمان مضمون وقت الـ compile. حسب بنشمارك TechEmpower الأخير (Round 22)، Rust frameworks زي Actix و Axum بتخش في توب 5 في معظم الـ benchmarks، بـ latency أقل من Go بـ 30-50% في حالات الـ JSON serialization الثقيلة.

الثمن:

• منحنى تعلّم حاد. أول 2-3 أسابيع هتحارب الـ compiler. ده مش maybe، ده غالبًا فعلي، حتى للمحترفين.
• زمن compile أبطأ. مشروع متوسط في Rust بياخد ~45 ثانية في incremental build، نفس الحجم في Go بياخد ~12 ثانية. الفرق ده ثمن الـ static analysis اللي بيعمله الـ Borrow Checker.
• كود verbose في البداية. هتشوف Box و Rc و Arc و RefCell، وكل واحد له use case معين.

الافتراض المهم: المكسب ده يستاهل لو بتكتب أنظمة فيها concurrency حقيقي (web servers, databases, kernels)، أو كود حساس أمنيًا، أو كود متوقع يعيش 5+ سنين. لو بتكتب prototype لأسبوعين، الثمن أعلى من المكسب.

متى لا تستخدم Rust

• Prototyping سريع: Python أو TypeScript أسرع 5-10× في الكتابة الأولية. اشتغل بيهم لحد ما المنتج يثبت.
• فريق ما يقدرش يقعد 4-6 أسابيع للتعلم: الـ Borrow Checker مش بيدّي discount للـ deadlines.
• كود فيه graphs معقدة بـ cyclic references: ممكن في Rust، لكن هتحتاج Rc<RefCell<T>> اللي بيحوّل جزء من الفحص لـ runtime. ساعتها فكر في Go.
• تطبيقات Web CRUD بسيطة: Go أو Node.js هيوصلوك للنتيجة في ربع الوقت بكفاءة كافية لـ < 10K طلب/ثانية.

الخطوة التالية

افتح terminal واكتب cargo new ownership_demo، انسخ snippet الـ Move Semantics اللي فوق في src/main.rs، وحاول تعدّله بحيث s1 يفضل valid بعد ما s2 تاخد القيمة. هتلاقي 3 حلول: clone() (نسخة كاملة في الـ heap)، أو reference (&s1)، أو نوع بيدعم Copy زي i32. كل خيار له تكلفة مختلفة. الجلسة دي (30 دقيقة) هتفهّمك القواعد التلاتة أحسن من قراءة 200 صفحة كتاب.

المصادر

• The Rust Programming Language Book — الفصل الرابع: Understanding Ownership (doc.rust-lang.org/book/ch04-00-understanding-ownership.html)
• Microsoft Security Response Center: "A proactive approach to more secure code" — يوليو 2019
• Google Android Security Report 2024 — رابط رسمي عبر security.googleblog.com
• Linux Kernel 7.0 release notes — 12 أبريل 2026، إعلان دعم Rust كـ stable داخل الـ kernel
• TechEmpower Web Framework Benchmarks Round 22 (2025) — مقارنات Rust frameworks مع Go و Node.js
• Rust Reference: Ownership and Borrowing Semantics (doc.rust-lang.org/reference)