*[רשימות](../perlfunc-by-category.md)*

# all

בדיקה אם `BLOCK` מחזיר אמת עבור **כל** איבר של `LIST`.

`all` סורק את `LIST` משמאל לימין, יוצר alias של [`$_`](../perlvar.md) לכל איבר בתורו ומעריך את `BLOCK` עם אותו איבר. הוא מחזיר ערך אמת אם כל הערכה מניבה אמת, וערך שקר ברגע שהערכה כלשהי מניבה שקר. ברגע שאיבר אחד גורם לבלוק להיות שקרי, `all` עוצר ומחזיר — הוא אינו מעריך את הבלוק עבור האיברים הנותרים.

זוהי מילת המפתח `all` ברמת השפה, מופעלת על ידי תכונת `keyword_all`. היא מובחנת מ־[`List::Util::all`](../../List/Util/all.md) — ראו  *מקרי קצה* להלן.

## תקציר

```perl
use feature 'keyword_all';
no warnings 'experimental::keyword_all';

all { /\w+/ } @words;
all { defined $_ } @list;        # canonical "all defined" check
all { $_ > 0 } @numbers;
```

## מה מוחזר

ערך בוליאני. אמת אם כל איבר עובר, שקר אחרת. ערכי האמת/שקר המדויקים אינם מוגדרים — יש להתייחס לתוצאה כאל תנאי, לא כאל נתון להעברה.

**רשימה ריקה מחזירה אמת.** זוהי  *אמת ריקה*: הטענה ”כל איבר מקיים את `BLOCK`“ אמיתית טריוויאלית כשאין איברים לבדוק. זהו מקור ההפתעה הנפוץ ביותר עם `all`:

```perl
all { $_ > 0 } ();               # TRUE — no elements, nothing to fail
```

יש להגן בבדיקת גודל מפורשת כאשר רשימה ריקה צריכה להיחשב ככישלון:

```perl
if (@numbers && all { $_ > 0 } @numbers) { ... }
```

## מצב גלובלי שהפונקציה נוגעת בו

- [`$_`](../perlvar.md) — מקבל alias לכל איבר של `LIST` בתורו למשך זמן הבלוק. מכיוון שזהו alias ולא העתק, השמה ל־[`$_`](../perlvar.md) בתוך הבלוק משנה את איבר הרשימה הבסיסי. הערך הקודם של [`$_`](../perlvar.md) משוחזר כאשר `all` חוזר.

## דוגמאות

בדיקה שכל ערך ברשימה מוגדר — השימוש הקנוני:

```perl
my @row = get_record();
die "missing field" unless all { defined $_ } @row;
```

בדיקה שכל מספר חיובי:

```perl
my @prices = (1.99, 4.50, 0.99);
say "ok" if all { $_ > 0 } @prices;         # ok
```

תיקוף רשומה שבה כל שדה חייב להתאים לפרדיקט שלו. יש לשלב מספר בדיקות בתוך הבלוק במקום לשרשר קריאות `all`:

```perl
my @fields = ($name, $age, $email);
my $ok = all {
    defined $_ && length $_ > 0
} @fields;
```

שילוב `all` עם [`any`](any.md) לבדיקה בלעדית — לפחות התאמה אחת, אך לא כל האיברים זהים:

```perl
if (any { $_ eq 'admin' } @roles
    && !all { $_ eq 'admin' } @roles) {
    say "mixed roles, including admin";
}
```

התנהגות קצר־לוגי: הבלוק רץ רק עד לכישלון הראשון. שימושי עבור פרדיקטים עם תופעות לוואי או עלות:

```perl
all { expensive_check($_) } @candidates;    # stops at first failure
```

## מקרי קצה

- **רשימה ריקה מחזירה אמת.** אמת ריקה. יש להגן עם `@list && all { ... } @list` כאשר ריקנות אמורה להיכשל.
- **קצר־לוגי על שקר ראשון.** הבלוק אינו נקרא עבור איבר כלשהו לאחר הכישלון הראשון. אין להסתמך על כך שתופעות לוואי בבלוק ירוצו עבור כל איבר — יש להשתמש בלולאת `for` אם נדרש כך.
- **[`$_`](../perlvar.md) הוא alias, לא העתק.** שינוי [`$_`](../perlvar.md) בתוך הבלוק משנה את איבר הרשימה:
  ```perl
  my @xs = (1, 2, 3);
  all { $_++; $_ > 0 } @xs;
  # @xs is now (2, 3, 4)
  ```
- **ניסיוני תחת 5.42.** התכונה פולטת אזהרת זמן־קומפילציה בקטגוריה `experimental::keyword_all` אלא אם אותה קטגוריה מושתקת:
  ```perl
  no warnings 'experimental::keyword_all';
  ```
- **אינו זהה ל־[`List::Util::all`](../../List/Util/all.md).** המובנה הוא מילת מפתח של השפה המופעלת על ידי תכונת `keyword_all` ומפענח את `BLOCK` כבלוק אמיתי (ללא [`sub`](sub.md) מוביל, ללא פסיק נגרר). [`List::Util::all`](../../List/Util/all.md) היא תת־שגרה רגילה המיובאת ממודול ומקבלת ארגומנט code reference / block prototype. למרבית המטרות המעשיות הן מתנהגות זהה ברשימות שאינן ריקות, אך:
  - צורת מילת המפתח היא מבנה ברמת ה־parser וניתנת לאופטימיזציה אגרסיבית יותר.
  - השניים אינם חולקים מימוש ולא קטגוריית אזהרה.
  - קוד הצריך לרוץ על Perl מלפני 5.42 צריך להשתמש ב־[`List::Util::all`](../../List/Util/all.md).
- **צורת [`grep`](grep.md) שווה־ערך.** `all { COND } @xs` שווה־ערך סמנטית ל־`@xs == grep { COND } @xs` — אך [`grep`](grep.md) תמיד מעריך את הבלוק עבור כל איבר, ולכן חסרה לו התנהגות הקצר־לוגי של `all`.

## הבדלים מן ה-upstream

תואם מלא ל־Perl 5.42 upstream.

## ראו גם

- [`any`](any.md) — אמת אם הבלוק מחזיר אמת עבור **לפחות איבר אחד**; האופרטור הראי ל־`all`
- [`grep`](grep.md) — מעריך את הבלוק עבור כל איבר ומחזיר התאמות; `scalar @list == grep { … } @list` הוא `all` ללא הקצר־לוגי
- [`defined`](defined.md) — הפרדיקט בתוך הבדיקה הקנונית `all { defined $_ } @list`
- [`List::Util::all`](../../List/Util/all.md) — שווה־ערך ברמת המודול הזמין על Perl ישן מ־5.42; מספק גם `none` ו־`notall` שאין להם מקבילה ברמת השפה
- [`List::Util::any`](../../List/Util/any.md) — מקבילה ברמת המודול למילת המפתח [`any`](any.md), לצד `none` ו־`notall` לקטביות ההפוכות