سلسلة الخرائط ChainMap: أسبقية القراءة ومكان الكتابة والنسخة المسطحة

ما الذي تعرضه سلسلة خرائط؟

توضح وثائق Python أن ChainMap يجمع خرائط متعددة في عرض واحد قابل للتحديث، ويبحث فيها بالتتابع عند قراءة مفتاح. تحتفظ البنية بمراجع الخرائط بدل إنشاء قاموس دمج مستقل في كل مرة. سنختار خرائط مؤلفة ونراجع القراءة والكتابة والحذف والنسخة المسطحة، كي يكون معنى كل نتيجة واضحًا في الحالة التي نعرضها.

ليس الاسم سلسلة قواعدًا منطقية تختار الأفضل أو الأكبر أو الأحدث تلقائيًا. الأسبقية ترتيب الخرائط الذي أعطيناه، والمفتاح الذي يوجد في أول خريطة مؤهلة يحجب القيم اللاحقة للمفتاح نفسه. إذا كان تعريف البيانات يحتاج سياسة أخرى، فعلينا إعلانها وتنفيذها بدل استنتاجها من شكل قيمة أعجبنا في الطبقة الأخيرة.

نستعمل قواميس عادية ذات مفاتيح نصية في هذا المقال. لا نقرأ ملفات إعداد حقيقية أو متغيرات بيئة أو بيانات حسابات، ولا نغير تطبيقًا خارجيًا. الأسماء size و theme و format و items مفاتيح تعليمية، وقيمها مفروضة. يمكن أن تشرح أسبقية عروض مختلفة، لكنها لا تقدم إعدادًا صالحًا لجهاز أو خدمة أو ضمانًا أن المصدر الذي فاز بالقراءة موثوق في مهمة أخرى.

[1]

ثلاث طبقات ونتائج أول قراءة

الخريطة الأولى تحوي size بعدد 0 و theme بقيمة None. والثانية size بعدد 64 و format بالنص short. والثالثة size بعدد 80 و theme بالنص calm و items بقائمة تحوي A. نربطها بهذا الترتيب من الأولى إلى الثالثة. عند size نفوز بقيمة 0 من الأولى، وعند theme نفوز بـ None منها، وعند format نصل إلى الثانية، وعند items نصل إلى الثالثة.

الرقمان 64 و 80 لم يختفيا من الخرائط الأصلية، لكنهما غير ظاهرين في قراءة size عبر هذا العرض. وكذلك calm ما زالت قيمة مخزنة في الثالثة لكنها محجوبة بـ None في الأولى. الرسم الرئيسي يضع الطبقات والقيم المختارة، ويذكر لكل مفتاح رقم الطبقة التي أخذنا منه القيمة. هذا الرقم يفسر المصدر داخل ترتيبنا، لا اسم جهة موثوق بها في نظام فعلي.

ونحتاج السجل الأصلي إذا أردنا معرفة جميع البدائل للمفتاح، لا القيمة الظاهرة وحدها. تحويل السلسلة إلى قاموس سيحفظ size بقيمة 0 ولا يكشف وحده أن وراءها 64 و 80. الفرق بين عرض فعّال وأرشيف كل الطبقات يبدأ من البيانات التي نختار الاحتفاظ بها. لا نستنتج تفاصيل أخفيت من مجرد توافق قيمة ظهرت في نتيجة واحدة.

القيمة الكاذبة ليست مفتاحًا غائبًا

يمكن أن تكون 0 قيمة مقصودة، و None قيمة مخزنة صراحةً، مع أن كليهما قد يختبر كقيمة كاذبة في Python. ChainMap لا يقفز إلى الطبقة التالية لهذا السبب وحده؛ أسبقية القراءة مبنية على الوصول إلى المفتاح في الخرائط العادية التي نستخدمها. لذلك لا يعود 64 بدل 0 في نموذجنا، ولا calm بدل None.

إذا أردت سياسة تتجاهل None أو أي قيمة محددة، فهذه عملية ترشيح أخرى تغير أي الطبقات تشارك في اختيار القيمة. لا ننسبها إلى السلسلة الأصلية دون تطبيقها. وكذلك صيغة تستخدم قيمة أو بديلًا عند الكذب تختلف من اختيار أول وجود؛ قد تستبدل 0 مع أنها كانت معلومة في المدخل، لا علامة غياب.

للمراجعة، نسأل عن العضوية وعن القيمة منفصلين. في الطبقة الأولى theme موجودة وقيمتها None، بينما format غائبة. يمكن أن تعود None من get بلا قيمة افتراضية في حالة غياب عامة، لكن ذلك لا يساوي تخزينها المؤكد هنا. نحتاج فحصًا يميز حالة المفتاح إذا كان هذا المعنى جزءًا من السؤال الذي نريد الإجابة عنه.

الكتابة لا تتبع مكان القيمة التي قرأناها

نأخذ خرائط البداية ونقرأ format، فنحصل على short من الطبقة الثانية. ثم نسند format إلى wide عبر ChainMap. تنشأ أو تتغير خانتها في الأولى، بينما تبقى short في الثانية. القراءة الجديدة عبر السلسلة تعطي wide لأنه صار أول وجود، لا لأننا عدلنا الطبقة التي رجعت منها القيمة السابقة.

هذا العقد موثق: الكتابة على السلسلة تستهدف أول خريطة. لا نختار مكان الكتابة باستنتاج مصدر آخر قراءة. إذا أردت تحديث خريطة أصلية محددة، فذلك فعل مختلف عليك توجيهه إليها أو تعريف واجهة أخرى له. وجود قيمة موروثة في العرض لا يعني أن الإسناد عبر العرض سيرجع إلى أصلها ويكتب فيه.

الرسم الداخلي يثبت حالة format قبل الإسناد وبعده، ثم بعد حذف التجاوز الأول. سننفذ المراحل على قواميس مؤلفة ونحفظ كل قيمة. لا ننقل تغيرًا في عرض واحد إلى دعوى أن مصدرًا افتراضيًا أو ملفًا خارج البرنامج عدل؛ الخرائط الأصلية في المثال مجرد كائنات محلية نعرف أيها تغير وأيها بقي كما كان.

[1]

عرض الرسم بالحجم الكامل

الحذف قد يكشف قيمة لاحقة أو يرفضه

بعد كتابة wide في الأولى، حذف format عبر ChainMap يزيل هذه الخانة الأولى. تصبح short في الثانية هي التي تظهر ثانيةً. الحذف لا يضع علامة تمنع ظهور المفتاح من كل الطبقات، ولا يمحو format من الثانية لمجرد أن الاسم نفسه حاضر هناك. نراجع حالة كل خريطة إلى جانب القيمة الظاهرة بعد الحذف.

وفي نسخة أخرى من خرائط البداية، items موجودة في الثالثة فقط. محاولة حذفها عبر السلسلة ترفع KeyError لأن الخريطة الأولى لا تحملها في هذا العقد. لا يناقض ذلك أننا استطعنا قراءتها؛ القراءة تبحث عبر الطبقات، والحذف يستهدف الأولى. اختلاف المسارين هو ما يجعل معرفة مصدر القراءة غير كافية لتوقع أثر الحذف.

إذا كان السؤال يريد إخفاء اسم حتى لو ظهر في طبقات أخرى، فإن نموذج الحذف عبر ChainMap ليس سياسة إخفاء كلي من نفسه. نحتاج تمثيلًا أو عقدًا آخر يعلن هذا المعنى. كذلك لا نجرب حذفًا على أصل مجهول ثم ننسب النتيجة إلى كل مصدر؛ الحالات المؤلفة تسمح بمراجعة كل قاموس وتحديد ما الذي وصل إليه الاستدعاء بالفعل.

التعديل على الأصل يظهر في العرض الحي

ننشئ السلسلة ثم نغير format في الخريطة الثانية من short إلى long، دون وضع تجاوز له في الأولى. القراءة عبر السلسلة تعطي long، لأن الخريطة الأصلية نفسها ما زالت مشتركة بالمرجع. لم نعد بناء السلسلة، ولم نجعلها تنسخ القيم عند إنشائها ثم تجمدها. هذا جزء من تعريف العرض الذي استعملناه.

لكن إذا غيرنا size في الثالثة من 80 إلى 120، تبقى القراءة عبر السلسلة 0 من الأولى. التعديل وقع في الأصل فعلًا، لكن قيمة محجوبة لم تصبح ظاهرة لأن الأسبقية لم تتغير. سجل مصدر كل قراءة إذا أردت تفسير ما الذي انعكس في العرض، ولا تجعل عدم تغير القيمة الظاهرة دليلًا أن الأصل لم يتغير.

هذه تجربة متسلسلة محلية على قواميس عادية. لا نعطي نتيجة لقطة متزامنة من خرائط يعدلها منفذ آخر، ولا نعلن أن الاحتفاظ بالمراجع يعالج كل مطلب اتساق تلقائيًا. نحتاج معيار الحالة والفترة التي قرأناها إذا كان السؤال يتضمن تغيرًا خارجيًا. في مثالنا نتتبع كل تعديل قبل القراءة التالية، لذلك تبقى النتيجة قابلة لإعادة المراجعة.

نسخة مسطحة تحوي قيمًا ظاهرة فقط

ننشئ flat بوصفه dict من عرض البداية. يحوي size بقيمة 0 و theme بقيمة None و format بالنص short و items بالقائمة A. لا يحفظ أسماء الطبقات أو قيم size المحجوبة 64 و 80. إن أردنا سجلًا لبدائل القيم أو مصدرها، نحتاج معلومات أخرى غير هذا القاموس المسطح.

ثم نغير format في الثانية إلى long. يظهر التغير في ChainMap إذا لم نحجبه، بينما يبقى flat عند short. الخانة المسطحة انفصلت عن ربط المفتاح في الخريطة الثانية، ونسخت القيمة الظاهرة وقت إنشاء flat. ليست هذه نسخة تتابع جميع تحديثات الخرائط الأصلية فيما بعد لمجرد أنها جاءت من عرض حي.

يمكن مراجعة العملية بفصل مرحلتين: ما قيم العرض عند لحظة التحويل، وما البيانات التي تغيرت بعد ذلك. لا نكتب للقاموس المسطح معلومات جديدة عن المصدر تلقائيًا، ولا نستنتج أن تحويله إلى dict اختار آخر طبقة لكل مفتاح. قيمه تعكس أسبقية القراءة وقتها، أما ترتيب مفاتيحه وتفاصيل القيمة المتداخلة فلهما قضايا أخرى سنراجعها في القسم التالي.

قائمة متداخلة قد تبقى مشتركة

في مثالنا items قائمة في الثالثة تحوي A. عند dict(view)تبقى القيمة في flat مرجعًا إلى القائمة نفسها في هذا النموذج؛ لا تتولد قائمة عميقة مستقلة تلقائيًا. إذا أضفنا B إلى قائمة items في الأصل، يمكن أن نرى A و B عبر السلسلة وعبر flat معًا. هذا لا يعني أن flat أصبح عرضًا حيًا لكل خانة؛ الذي شارك التغير هو كائن القيمة المتداخلة.

المرجع الثاني يشرح الفرق بين النسخ السطحي والعميق للكائنات المركبة. استبدال قيمة format النصية في الأصل لم يغير خانة flat، لكن تعديل قائمة مشتركة غيّر ما نصل إليه من كليهما. لا نضع العمليتين تحت حكم واحد مثل النسخة مستقلة بالكامل أو كل شيء يظل حيًا؛ نحدد مستوى الربط الذي جرى تغييره.

إذا احتجت نسخة عميقة في مثال بسيط من قواميس وقوائم، يمكنك تعريف ذلك وتجربته، لكننا لا نعمم استقلالًا كاملًا لكل نوع كائن خاص أو مورد خارجي من تجربة قائمة صغيرة. قراءة العقد وتحديد ما تريد عزله يسبقان اختيار طريقة النسخ. الصور والأعداد في مقالنا أمثلة محلية، لا نسخة احتياطية لتطبيق أو خدمة حقيقية.

[2]

عدد المفاتيح ليس مجموع خانات الطبقات

في خرائط البداية، توجد خانتان في الأولى وخانتان في الثانية وثلاث في الثالثة، فيكون مجموع الخانات 7. لكن المفاتيح الظاهرة المميزة size و theme و format و items عددها 4، ولذلك len للسلسلة يعيد 4. وجود size في ثلاث خرائط لا يجعله ثلاثة أسماء مختلفة في هذا العرض.

إذا أردت تعداد كل مصدر ومفاتيحه، فاقرأ الخرائط نفسها وسجل رقم كل طبقة. وإذا أردت أسماء يمكن قراءتها من السلسلة، فهذه مجموعة مختلفة. لا نستبدل إحدى العمليتين بالأخرى عندما يكون السؤال عن حجم بنية أو عدد بدائل أو عدد إعدادات فعّالة. الرقم يحتاج وصف الشيء الذي عُد كي لا تصبح 7 و 4 نتيجتين متعارضتين ظاهريًا.

ولا يخبرنا هذا العدد كم قيمة غير فارغة أو صادقة في نموذجنا. size موجودة بقيمة 0 و theme بقيمة None، وتدخلان في أسماء العرض كما تدخل المفاتيح الأخرى. يمكن أن تحتاج مرحلة تحقق دلالي إلى فحص قيم معينة أو أنواعها، لكن len لا ينجز ذلك. بنية القراءة تجمع الأسماء وفق عقدها، ولا تصادق على صلاحية كل قيمة لغرض لم نعرفه.

ترتيب المرور لا يحدد أسبقية القيمة

في هذا المثال، يمكن أن يكون ترتيب مفاتيح السلسلة size ثم theme ثم items ثم format. يستند ترتيب المرور إلى النظر في الخرائط من الأخيرة إلى الأولى، مع إبقاء أسماء شوهدت قبل ذلك. لكن القراءة عند size تعطي 0 من الأولى، لا 80 من الثالثة التي ساهمت في ظهور اسمه في ترتيب المفاتيح.

هذه الخاصية موثقة، وتوضح فرقًا بين اختيار قيمة لمفتاح وبين تحديد موضع اسمه في المرور. لو طبعت قائمة المفاتيح ثم قرأت قيمها عبر السلسلة، قد تجمع أسماء بترتيب معين وقيمًا فازت من مصادر مختلفة. لا نستخدم أول اسم ظاهر في print دليلًا على رقم الطبقة التي رجعت منها قيمة ذلك الاسم.

ونربط ملاحظة الترتيب بالقواميس العادية ذات الإدخال المحدد الذي نعرضه. إذا تغير ترتيب إضافة مفاتيح أو ترتيب الخرائط، ينبغي مراجعة التفسير. الهدف ليس حفظ قائمة واحدة للمفاتيح، بل معرفة أي عقد يختار القيمة وأي عقد يعرض الأسماء. تحتاج التقارير التي تهتم بالمصدر إلى حقل مصدر صريح بدل استنتاجه من موضع عرض المفتاح.

كود أصلي يبين أول مصدر في قواميس عادية

الدالة التالية تقرأ طبقات قواميس عادية وتبحث عن أول خريطة تحمل المفتاح. ترجع رقم الطبقة وقيمته، ولا تكتب أي تعديل. إذا غاب المفتاح من كل الخرائط، ترفع KeyError. نستخدم فحص الوجود كي نفرق بين مفتاح غائب وقيمة None مخزنة، بدل استعمال None علامة مشتركة لكلتا الحالتين.

الكود يشرح بيانات المثال ويجعل المصدر واضحًا في المراجعة. لا نزعم أنه يعيد تنفيذ كل سلوك ChainMap لكل نوع خريطة. قد تكون خريطة خاصة لها عقد قراءة مختلف أو سلوك إضافي عند الغياب؛ نطاقنا قواميس عادية لا تغير نفسها أثناء الفحص. كذلك رقم الطبقة وصف داخل ترتيب هذه القائمة، وليس معرفًا ثابتًا لا يتغير إذا بدّلنا ترتيبها لاحقًا.

نراجع الدالة مع ChainMap على قيم مؤلفة، ثم نغير موقع خريطة تحمل المفتاح لنرى أثر الأسبقية. إذا كانت القيمتان متساويتين في طبقتين، فقد لا يتغير الرقم الظاهر للقيمة، لكن يتغير المصدر الذي فاز. هذا هو سبب حفظ رقم الطبقة إلى جانب القيمة حين يكون الأصل المطلوب جزءًا من السؤال.

def lookup_origin(layers, key):
    for position, mapping in enumerate(layers):
        if key in mapping:
            return position, mapping[key]
    raise KeyError(key)

سياق جديد يشارك بعض خرائطه

نأخذ عرض البداية وننشئ new_child بخريطة تحوي size بقيمة 24. يصبح هذا المصدر أولًا ويعطي 24 عند القراءة، بينما تبقى الخريطة الأولى السابقة وراءه ضمن الطبقات. كتابة format في السياق الجديد إلى child تستهدف خريطته الأولى الجديدة، ولا تضيف هذه الخانة إلى الخريطة الأولى في العرض الأب في مثالنا.

لكن الخرائط التي انتقلت خلف الخريطة الجديدة مشتركة بالمرجع. إذا عدلنا format في الخريطة الثانية الأصلية ولم يحجبه أي تجاوز في السياق الجديد، يمكن أن نرى التغير فيه أيضًا. سياق جديد لا يعني نسخة عميقة من جميع الأصول. نحتاج أن نذكر أي خريطة مستقلة وأيها مشتركة حتى تكون توقعات القراءة والكتابة متسقة.

وعرض parents في ChainMap يتجاوز أول خريطة في عرض آخر. في البداية يمكن أن يعيد size بقيمة 64 من الثانية، و theme بالنص calm من الثالثة، بعدما تجاوز 0 و None في الأولى. هو ليس عملية حذف لكل ما في الأولى من الأصل، ولا انتقالًا زمنيًا يعيد حالة قديمة. نثبت الخرائط المشتركة وترتيب قراءتها قبل تفسير الاسم على أنه تاريخ أو نسخ.

تبديل ترتيب الخرائط يغير العقد الفعّال

إذا جعلنا الخريطة الثانية قبل الأولى في نسخة من عرضنا، تصبح size بقيمة 64 لأنها أول وجود الآن. ويمكن أن يتغير مكان الكتابة أيضًا، لأن أول خريطة في السلسلة الجديدة هي المصدر الذي يستهدفه الإسناد. تبديل ترتيب القراءات والكتابة ليس تغييرًا لتنسيق طباعة فحسب؛ إنه تغيير في سياسة الأسبقية التي عرفناها.

توثق الواجهة أن maps قائمة خرائط يمكن الوصول إليها، وأن ترتيبها ترتيب بحث. نحافظ في أمثلتنا على خريطة أولى واضحة ولا ننشئ حالة قوائم فارغة لتخمين سلوك خارج العقد. إذا أردت بدائل في الأولوية، فاكتب الترتيب الجديد وأسماء مصادره ثم أعد فحص المفاتيح التي تتكرر بينهم.

وقد لا تختلف النتيجة في مفتاح حاضر في مصدر واحد فقط، مثل items في نموذجنا. لا يجعل ذلك ترتيب الخرائط غير مهم؛ size كانت مثالًا حاسمًا على أثره. نراجع مجموعة مفاتيح مشتركة وغير مشتركة، بدل استنتاج عام من قيمة لم تتأثر. كما لا نجعل اسم متغير مثل base أو override إثباتًا لدور الخريطة؛ الدور جاء من ترتيبها ومعنى بياناتها.

تفريغ الأول لا يفرغ جميع الأصول

في نسخة من عرض البداية، يمكن تفريغ الخريطة الأولى عبر العملية الموجهة إليها في هذا العقد. بعد زوال تجاوزي size و theme، تظهر size بقيمة 64 من الثانية، و theme بالنص calm من الثالثة. ما زال العرض يحوي أسماء وقيمًا رغم أن مصدرًا واحدًا أصبح فارغًا. لا نقرأ فعل clear بوصفه وعدًا بمحو كل القواميس المشتركة.

إذا كنت تريد إزالة مصادر متعددة أو استبدالها، فأنت تعرّف تغييرًا آخر في بنية البيانات الأصلية. في مثالنا لا نحذف أي ملف أو إعداد خدمة، بل نراجع كائنات محلية جديدة لكل حالة. تسمية هدف العملية إلى جانب الحالة يحمي التفسير من تعميم أثر على خريطة واحدة إلى كل ما كان مقروءًا.

ويتصل هذا بما عرضناه في الحذف الفردي؛ قد تزول خانة في الأعلى فيظهر بديل مخزن تحتها. اختفاء تجاوز ليس غيابًا مطلقًا للمفتاح في العرض، ولا حكمًا أن القيم السفلى أصح أو أقدم في كل تطبيق. بنية الأسبقية تختار حسب ترتيب معلن، بينما صدق البيانات والحاجة إلى الاحتفاظ بكل مصدر يحتاجان معنى خارجها.

فحوص محلية على القراءة والمصدر والمشاركة

ننفذ الحالات بقواميس مؤلفة ونسخ بداية مستقلة. نراجع قيمة كل مفتاح مع أول مصدر يحملها، ثم نجري إسنادًا وحذفًا ونفحص أي خريطة تغيرت. نقارن dict المسطحة بقيم العرض وقت إنشائها، ثم نميز استبدال قيمة نصية من تعديل قائمة مشتركة. هذه خطوات تكشف اختلاف مستوى المشاركة بدل الاكتفاء بمساواة طباعة واحدة.

نضيف مفاتيح غائبة وقيم 0 و None ومفاتيح متكررة بنفس القيمة بين طبقات مختلفة. كما نراجع ترتيب مفاتيح المثال وعدد الخانات مقابل عدد الأسماء الظاهرة. هذه الحالات المحدودة لا تثبت كل نوع خريطة أو تنفيذ خاص؛ نثبت نطاق القواميس العادية والثبات أثناء كل قراءة، ونقارن الدالة الأصلية بمرجع قراءة بسيط مستقل.

ولا نعرض عدد الاختبارات ضمانًا لدقة إعدادات حقيقية أو صحة ملفات لم نقرأها. الكود يحدد أسبقية ومصدرًا في نموذج معلن، ولا يقيس زمنًا على خدمة. حين تتغير الخرائط أو ترتيبها، نعيد حفظ الحالة التي نراجعها. الهدف أن تكون القيمة المختارة ومصدرها ومكان التعديل قابلين لإعادة الفهم من بيانات واضحة.

قائمة مراجعة قبل جمع خرائط

رتب المصادر وفق الأسبقية التي تقصدها، ثم ميز وجود مفتاح من صدق قيمته. لا تجعل 0 أو None غائبتين تلقائيًا، ولا تنسب الإسناد إلى المصدر الذي جاءت منه قراءة سابقة. راجع أي خريطة يستهدفها الحذف أو التفريغ، وما القيم التي قد تظهر من الخلف عندما تزول خانة تحجبها.

وإذا أردت نسخة مستقلة، فحدد هل تحتاج فصل خانات القاموس فقط أم عزل كائنات متداخلة أيضًا. dict(view) يحفظ قيمًا ظاهرة عند لحظة التحويل ولا يحفظ كل الطبقات ومصادرها. سجل مصدرًا صريحًا إذا كان السؤال عنه، ولا تستنتجه من ترتيب المرور على المفاتيح أو من أسماء متغيرات اخترناها في المثال.

وأخيرًا، اربط كل ادعاء بالحالة التي حسبناها. خرائطنا أصلية محلية، وليست إعدادًا معتمدًا لتطبيق حقيقي. تستطيع إعادة قراءة size و format ثم تجربة تجاوز format وحذفه، ومراجعة القائمة المشتركة قبل وبعد إضافة عنصر. بهذه الفروق تظل أسبقية القراءة ومكان الكتابة والمشاركة ثلاث مسائل معلنة، بدل كلمة دمج عامة تختفي وراءها التفاصيل.