Kif tiddefinisci funzjonijiet bi ittipamenti u valuri default?

Question

Accepted Answer

Il-funzjonijiet PHP huma definiti bil-keyword `function`. PHP modern jissuporta **deklarazzjonijiet ta' tipi** fuq il-parametri u l-valuri ta' ritorn, **valuri default**, u parametri variadici — li jagħmlu l-funzjonijiet aktar robust u awtodokumentanti.

## Funzjonijiet bażiċi b'deklarazzjonijiet ta' tipi

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

Id-deklarazzjonijiet ta' tipi (`int $a`, `: int` return type) jagħmlu PHP jivverifika l-argumenti u t-tipat ta' ritorn — li jaqbdu l-bugs u jiddokumentaw l-intenzjoni. Il-valuri default jagħmlu l-parametri fakultattivi.

## Tipat nullable u union types (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` jippermettu null; **union types** (`int|string`, PHP 8) jippermettu ħafna tipat — li jagħmlu s-sinjaturit preċiżi.

## Argumenti variadici u nominati

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

## Tipat stretti (irrakkomandati)

```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)` jagħmel id-deklarazzjonijiet ta' tipi stretti — PHP jiċħad il-librar mismatch ta' tipat minflok li ssilenzjament jikkoerċihom, li hija l-praktika moderna rrakkommandata biex taqbad il-bugs.

## Għaliex dan huwa importanti

L-għarfien ta' definizzjonijiet tal-funzjonijiet PHP moderni — speċjalment **deklarazzjonijiet ta' tipi** — huwa importanti għall-kitba ta' kodiċi robust u manutenibbli, u jirifletti kif ħafna PHP evolva mir-rigel oriġinali slack ta' tagħha.

Il-parametri u l-valuri ta' ritorn bit-tipi (flimkien mal-tipat nullable u union types) jagħmlu l-funzjonijiet awtodokumentanti u jippermezzu lill-PHP jaqbad l-iżbalji ta' tipi, filwaqt li l-argumenti default u nominati u l-variadici jipprovdu sinjaturit flessibili u leggibili.

L-aktar prattika moderna importanti hija **`declare(strict_types=1)`**, li tinfurzah iċċekkjar stretti tat-tipi (li tiċħad il-mismatch minflok li ssilenzjament jikkoerċihom) — għodda essenzjali biex taqbad l-bugs kmieni u tikteb kodiċi affidabbli.

Il-għarfien ta' kif tiddefinisci funzjonijiet well-typed b'defaults, u l-użu ta' tipat stretti, huwa għarfien ta' kuljum għall-iżvilupp tal-PHP modern professjonali, li jiddistingwi l-kodiċi solidu u type-safe minn l-istil slack ta' PHP aktar antika.