[ تعرٌف على ] اشتمال قائمة (برمجة) # اخر تحديث اليوم 2024-04-27

تم النشر اليوم 2024-04-27 | اشتمال قائمة (برمجة)

نظرة عامة

لنضع في الاعتبار المثال التالي في تدوين باني المجموعة. S
=
{
2
⋅
x
∣
x
∈ N ,
x 2
>
3
}
{\displaystyle S=\{2\cdot x\mid x\in \mathbb {N} ,\ x^{2}>3\}}
أو غالبًا S
=
{
2
⋅
x
:
x
∈ N ,
x 2
>
3
}
{\displaystyle S=\{2\cdot x:x\in \mathbb {N} ,\ x^{2}>3\}}
يمكن قراءة هذا، " S
{\displaystyle S} هي مجموعة كل الأرقام "مرتين x
{\displaystyle x} " مثل ذلك الـ x
{\displaystyle x} هو عنصر أو عضو في مجموعة الأعداد الطبيعية (
N {\displaystyle \mathbb {N} } )، وتربيع x
{\displaystyle x} أكبر من 3
{\displaystyle 3} ". أصغر رقم طبيعي، x
=
1
{\displaystyle x=1} ، لا يستوفي الشرط
x 2
>
3
{\displaystyle x^{2}>3} (الشرط
1 2
>
3
{\displaystyle 1^{2}>3} غير صحيح) لذلك 2
∗
1
{\displaystyle 2*1} غير مدرج في S
{\displaystyle S} . الرقم الطبيعي التالي، 2، يستوفي الشرط (
2 2
>
3
{\displaystyle 2^{2}>3} ) مثل كل رقم طبيعي آخر. وهكذا يتكون x
{\displaystyle x} من 2
,
3
,
4
,
5...
{\displaystyle 2,3,4,5...} بما أن المجموعة S
{\displaystyle S} تتكون من جميع الأرقام " مرتين x
{\displaystyle x} "، يتم الحصول عليها من S
= 4
,
6
,
8
,
10
,
.
.
. {\displaystyle S={4,6,8,10,...}} . بعبارة أخرى، S هي مجموعة جميع الأرقام الزوجية الأكبر من 2. في هذه النسخة المدونة رياضياً من المثال السابق: S
=
{
2
⋅
x ⏟ output expression
∣ x
⏟ variable
∈
N ⏟ input set
,
x 2
>
3 ⏟ predicate
}
{\displaystyle S=\{\underbrace {2\cdot x} _{\color {Violet}{\text{output expression}}}\mid \underbrace {x} _{\color {Violet}{\text{variable}}}\in \underbrace {\mathbb {N} } _{\color {Violet}{\text{input set}}},\ \underbrace {x^{2}>3} _{\color {Violet}{\text{predicate}}}\}}
x
{\displaystyle x} هو المتغير الذي يمثل أعضاء مجموعة الإدخال. N {\displaystyle \mathbb {N} } يمثل مجموعة المدخلات، والتي في هذا المثال هي مجموعة من الأعداد الطبيعية x 2
>
3
{\displaystyle x^{2}>3} هو تعبير أصلي يعمل كمرشح على أعضاء مجموعة الإدخال.
2
⋅
x
{\displaystyle 2\cdot x} هو تعبير إخراج ينتج أعضاء المجموعة الجديدة من أعضاء مجموعة الإدخال التي تفي بالتعبير الأصلي.
{
}
{\displaystyle \{\}} تشير الأقواس إلى أن النتيجة هي مجموعة.
∣
{\displaystyle \mid } ,
{\displaystyle ,} تتم قراءة الشريط العمودي على أنه «مثل هذا». يتم استخدام الشريط والفاصلة ":" بالتبادل.
تفصل الفواصل بين المسندات predicates ويمكن قراءتها كـ «و».
يحتوي اشتمال القائمة على نفس الأجزاء النحوية لتمثيل التوليد من قائمة بالترتيب من قائمة الإدخال أو المكرر: متغير يمثل أعضاء قائمة المدخلات.
قائمة الإدخال (أو المكرر).
تعبير أصلي اختياري.
وتعبير إخراج ينتج أعضاء قائمة الإخراج من أعضاء المدخلات القابلة للتكرار التي تستوفي المسند.
ترتيب توليد أعضاء قائمة المخرجات يعتمد على ترتيب العناصر في الإدخال.
في التركيب النحوي لاشتمال القائمة في لغة هاسكل، يتم كتابة إنشاء باني المجموعة بشكل مشابه، وعلى النحو التالي:
s = [ 2*x | x <- [0..], x^2 > 3 ] هنا، تمثل القائمة [0..]
N {\displaystyle \mathbb {N} } ، يمثل x^2>3 المسند، ويمثل 2*x تعبير الإخراج. نتائج اشتمال القائمة تعطي ترتيبًا محددًا (على عكس أعضاء المجموعات)؛ وقد يؤدي اشتمال القائمة إلى إنشاء أعضاء قائمة بالترتيب، بدلاً من إنتاج القائمة بالكامل وعلى سبيل المثال؛ يسمح التعريف السابق بلغة هاسكل بأعضاء قائمة لانهائية.

شرح مبسط

اشتمال قائمة (بالإنجليزية: list comprehension)‏ هو بناء نحوي متوفر في بعض لغات البرمجة لإنشاء قائمة بناءاً على القوائم الموجودة. وهي تتبع الصيغة للتدوين الرياضي في منشئ المجموعة (اشتمال مجموعة) تمييزا لها عن استخدام دوال الخريطة الربطية map و الفلاتر filter.