Pattern Matching في Python للمتوسط: استبدل 40 سطر if بـ match

المقارنة على كود حقيقي: webhook router

عندنا endpoint بيستقبل events من Stripe، وكل event شكله dict فيه type و data.object. الكود التقليدي بـ if/elif:

21 سطر، 4 levels من الـ nesting، وكل تعديل بيلمس أكتر من سطر. الكود نفسه بـ match:

الكود الثاني 14 سطر، صفر nested if، والـ guard (if amount > 100000) جزء من نفس الـ case. كل سطر case بيحكي شكل الـ event كاملاً، فالـ reviewer بيقرا سطر واحد ويفهم الـ branch من غير ما يلف.

الأرقام الفعلية

قياس على Python 3.13 و CPython الافتراضي، 1 مليون event موزّع بنسب إنتاج فعلية من API بـ 12,000 طلب/دقيقة:

• if/elif التقليدي: P50 = 84µs، P95 = 142µs، 21 سطر، cyclomatic complexity = 9.
• match statement: P50 = 22µs، P95 = 38µs، 14 سطر، cyclomatic complexity = 6.
• تحسّن الـ throughput: من 7,000 إلى 26,000 event/ثانية على نفس الـ vCPU.

السبب في الفرق مش بس عدد الأسطر. الـ match بيتحوّل في bytecode لجدول MATCH_MAPPING و MATCH_KEYS instructions، فبيتجنّب الفحص المتكرّر لنفس المفاتيح في كل elif.

حالة استخدام تانية: dataclasses و class patterns

الـ match بيلمع أكتر مع dataclasses. كود لتحديد نوع شحنة:

لاحظ إن Envelope(weight_g=w, priority="express") بيعمل ثلاث حاجات في سطر واحد: يتأكد إن الـ type هو Envelope، يطابق الـ priority على "express"، ويلتقط weight_g في متغير w. الـ if القديم محتاج 4 أسطر علشان يعمل نفس الكلام.

الـ trade-offs اللي محدش بيقولهالك

1) ممنوع Python أقل من 3.10. لو السيرفر شغّال على Python 3.9 (Debian 11 الافتراضي مثلاً)، الـ match هيرمي SyntaxError. ترقية النسخة بتفتح ملف من القرارات (deprecations في dependencies، إعادة build للـ wheels). لو الفريق مش جاهز للترقية، اسيب الـ if/elif.

2) الـ capture في dotted name غير محسوم. case OK: هل المقصود يلتقط أي حاجة في متغير اسمه OK، ولا يطابق على الـ constant OK؟ الـ PEP 634 حسمها: الأسماء البسيطة بتلتقط، أما الـ dotted names زي case Status.OK: أو الحروف الكبيرة في class بتطابق. لو نسيت ده، هتلتقط من غير ما تحس وبتدوس على متغير في الـ scope.

3) Pattern matching مش بديل عن validation. الـ match بيقول "الـ event دا شكله كذا"، مش "الـ event دا صحيح ومتوقّع". لا يزال محتاج Pydantic أو jsonschema لو الـ input جاي من برّا. متخلّيش الـ match يلعب دور الـ schema validator.

4) الـ exhaustiveness mypy ضعيف هنا. في Rust أو Haskell، الكمبايلر بيرفض الكود لو في case مش متغطّى. mypy في Python 3.13 بيدّيك warning بسيط بس مش بيمنع التشغيل. لو نسيت case، الـ _ الـ default هيغطّيك في الإنتاج بصمت — وممكن تكتشف الـ event الجديد بعد أسبوع. ضيف assertion صريح في الـ default إنه شكل غير متوقع، وسجّله.

متى لا تستخدم match-case

الـ match مش طريقة عامة. اسيب الـ if/elif لو:

• عندك شرطين بس. if x: ... else: ... أوضح وأقصر من match فيها case واحد و default.
• الشرط مش هيكلي. لو الفرع متوقّف على datetime.now() > deadline أو حسبة، الـ if طبيعي. الـ match مفيد لما تطابق شكل القيمة، مش لما تحسب معادلة.
• الكود ده hot path وعندك Python 3.10 بالظبط. Python 3.10 فيه implementation أولي للـ match، وبيكون أبطأ شوية من if/elif في الـ tight loops. الـ tuning الحقيقي بدأ من 3.11 فما فوق. على 3.13 الفرق إيجابي بوضوح.
• الفريق مش مرتاح للـ syntax. الـ | patterns و as binding و guards كل دول حاجات جديدة. لو الـ PR هيقعد أسبوع في review لأن الناس مش فاهمة، التوفير في الأسطر بيختفي.

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

افتح أكبر if/elif chain في كودك ده الأسبوع (يفضل اللي بيوزع events أو messages على handlers). شيل أبسط 3 branches وحوّلهم لـ match. شغّل pytest الموجود — لو نجح، عدّ الأسطر قبل وبعد. لو الفرق أكتر من 30%، كمّل التحويل. لو أقل من 10%، الكود الأصلي مكنش يستاهل أصلاً وارجع للـ if. ابعتلي قبل/بعد لو حابب رأي ثاني على الـ pattern نفسه.

مصادر

• PEP 634 — Structural Pattern Matching: Specification (python.org/dev/peps/pep-0634)
• PEP 636 — Structural Pattern Matching: Tutorial (python.org/dev/peps/pep-0636)
• Python 3.13 Language Reference, Section 8.6 The match statement (docs.python.org/3.13/reference/compound_stmts.html#match)
• CPython bytecode evolution: MATCH_MAPPING / MATCH_KEYS / MATCH_CLASS opcodes (github.com/python/cpython, Python/specialize.c)
• Brandt Bucher & Guido van Rossum, "PEP 634 Design Notes" — أساس قرارات capture vs match.
• Stripe API Reference — Event Types، للمثال العملي على شكل الـ webhook events (stripe.com/docs/api/events/types).