كيف تعرّف الدوال مع الأنواع والقيم الافتراضية؟

Question

Accepted Answer

دوال PHP تُعرّف باستخدام الكلمة المفتاحية `function`. يدعم PHP الحديث **تصريحات الأنواع** على المعاملات والقيم المرجعة، **القيم الافتراضية**، والمعاملات المتغيرة — مما يجعل الدوال أكثر قوة وتوثيقًا ذاتيًا.

## الدوال الأساسية مع تصريحات الأنواع

```php
<?php
// modern PHP — typed parameters and a typed return
function add(int $a, int $b): int {
    return $a + $b;
}

function greet(string $name, string $greeting = "Hello"): string {  // default value
    return "$greeting, $name";
}

greet("Ann");              // "Hello, Ann"
greet("Ann", "Hi");        // "Hi, Ann"
```

تصريحات الأنواع (`int $a`، `: int` نوع الإرجاع) تجعل PHP يفحص أنواع المعاملات والإرجاع — اكتشاف الأخطاء وتوثيق النية. القيم الافتراضية تجعل المعاملات اختيارية.

## الأنواع القابلة للإلغاء والأنواع المتحدة (PHP 8+)

```php
function find(?int $id): ?User {        // ? = nullable (int|null, User|null)
    return $id ? lookup($id) : null;
}

function process(int|string $input): void {   // union type — int OR string (PHP 8)
    // ...
}
```

`?Type` يسمح بـ null؛ **الأنواع المتحدة** (`int|string`، PHP 8) تسمح بعدة أنواع — مما يجعل التوقيعات دقيقة.

## المعاملات المتغيرة والمعاملات المسماة

```php
function sum(int ...$numbers): int {     // variadic — any number of int args
    return array_sum($numbers);
}
sum(1, 2, 3);            // 6

// named arguments (PHP 8) — pass by parameter name, skip optional ones
greet(name: "Ann", greeting: "Hey");
```

## الأنواع الصارمة (موصى بها)

```php
<?php
declare(strict_types=1);    // at the top of the file — enforce STRICT type checking

add("5", 3);   // ❌ TypeError with strict_types (without it, "5" would coerce to 5)
```

`declare(strict_types=1)` يجعل تصريحات الأنواع صارمة — PHP يرفض الأنواع غير المطابقة بدلاً من تحويلها بصمت، وهي الممارسة الحديثة الموصى بها لاكتشاف الأخطاء.

## لماذا يهم

فهم تعريفات دوال PHP الحديثة — خاصة **تصريحات الأنواع** — مهم لكتابة كود قوي وسهل الصيانة، ويعكس تطور PHP من أصوله الفضفاضة بشأن الأنواع.

معاملات مكتوبة وقيم مرجعة (بالإضافة إلى الأنواع القابلة للإلغاء والمتحدة) تجعل الدوال توثيق ذاتية وتسمح لـ PHP بتقديم أخطاء من الناحية الأساسية، بينما المعاملات الافتراضية والمسماة والمتغيرة توفر توقيعات مرنة وسهلة القراءة.

الممارسة الحديثة الأكثر أهمية هي **`declare(strict_types=1)`**، التي تفرض فحص النوع الصارم (رفض عدم التطابق بدلاً من تحويله بصمت) — أداة رئيسية لاكتشاف الأخطاء مبكرًا وكتابة كود موثوق.

معرفة كيفية تعريف دوال مكتوبة بشكل جيد مع القيم الافتراضية، واستخدام الأنواع الصارمة، هي معرفة يومية لتطوير PHP المحترف الحديث، يميز الكود القوي والآمن من الناحية الأساسية عن النمط الفضفاض من PHP الأقدم.