Si përcaktoni funksionet me lloje dhe vlera të paracaktuara?

Question

Accepted Answer

Funksionet në PHP përcaktohen me fjalën kyçe `function`. PHP modern përfshin **deklarime tipesh** në parametra dhe vlera kthyese, **vlera të paracaktuara**, dhe parametra variadik — duke e bërë funksionet më të sigurta dhe të autodokumentuara.

## Funksionet bazë me deklarime tipesh

```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"
```

Deklarimet e tipeve (`int $a`, `: int` tipi kthyese) e bëjnë PHP-në të kontrollojë tipet e argumenteve dhe vlerat kthyese — duke kapur gabime dhe dokumentuar qëllimin. Vlerat e paracaktuara e bëjnë parametrat fakultativë.

## Tipet e anullueshme dhe tipet union (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` lejon null; **tipet union** (`int|string`, PHP 8) lejojnë disa tipe — duke e bërë nënshkrimin preciz.

## Argumentet variadik dhe të emërtuar

```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");
```

## Tipet strikte (rekomandohet)

```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)` e bën deklarimin e tipeve strict — PHP refuzon tipet e mospërputhjeve në vend që t'i konvertojë në heshtje, që është praktika moderne e rekomanduar për kapin e gabimeve.

## Pse ka rëndësi

Kuptimi i përkufizimeve moderne të funksioneve PHP — veçanërisht **deklarime tipesh** — është i rëndësishëm për shkrimin e kodit të sigurt dhe të mirëmbajtshëm, dhe pasqyron se sa larg ka evoluuar PHP nga origjina e saj me tipe të lirshta.

Parametrat e tipit dhe vlerat kthyese (plus tipet e anullueshme dhe union) e bëjnë funksionet të autodokumentuara dhe e lejojnë PHP-në të kapë gabimet e tipeve, ndërsa argumentet e paracaktuara dhe të emërtuar dhe variadics ofrojnë nënshkrime fleksibël dhe të lexueshme.

Praktika më e rëndësishme moderne është **`declare(strict_types=1)`**, e cila zbaton kontrollimin e tipit strict (duke refuzuar mospërputhjeve në vend se t'i konvertojë në heshtje) — një mjet kyç për kapin e gabimeve në kohë të hershme dhe shkrim i kodit të besueshëm.

Dija se si të përcaktoni funksionet e mirëtipizuara me vlera të paracaktuara, dhe të përdorni tipe strikte, është njohuri e përditshme për zhvillimin modern profesional të PHP-së, duke dalluar kodin solid dhe të sigurt nga tipa nga stili i lirshëm i PHP-së më të vjetër.