Kaip apibrėžti funkcijas su tipais ir numatytomis reikšmėmis?

Question

Accepted Answer

PHP funkcijos apibrėžiamos naudojant `function` raktažodį. Šiuolaikinė PHP palaiko **tipų deklaracijas** parametrams ir grąžintoms reikšmėms, **numatytas reikšmes** ir variadic parametrus — todėl funkcijos tampa patikimesnės ir savaime dokumentuojamos.

## Pagrindinės funkcijos su tipų deklaracijomis

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

Tipų deklaracijos (`int $a`, `: int` grąžinamo tipo deklaracija) verčia PHP tikrinti argumentų ir grąžintų reikšmių tipus — pagaunamos klaidos ir dokumentuojamas tikslas. Numatytos reikšmes padaro parametrus pasirenkamus.

## Nullable tipai ir sąjungos tipai (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` leidžia null; **sąjungos tipai** (`int|string`, PHP 8) leidžia kelis tipus — todėl signatūros tampa tikslios.

## Variadic ir pavadinti argumentai

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

## Griežti tipai (rekomenduojama)

```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)` padaro tipų deklaracijas griežtas — PHP atmeta nesutampančius tipus vietoj jų tyliai konvertuoti, o tai yra rekomenduojama šiuolaikiška praktika klaidoms pagauti.

## Kodėl tai svarbu

Supratimas apie šiuolaikines PHP funkcijų apibrėžtis — ypač **tipų deklaracijas** — yra svarbus norint rašyti patikimas, lengvai prižiūrimas kodo dalis, ir atspindi, kaip PHP išsivystė iš savo laisvai tipizuotų pradžių.

Tipizuoti parametrai ir grąžintos reikšmės (bei nullable ir sąjungos tipai) padaro funkcijas savaime dokumentuojamas ir leidžia PHP pagauti tipų klaidas, o numatytos reikšmės ir pavadinti argumentai bei variadics suteikia lanksčias, skaitomai apibrėžtas signatūras.

Svarbiausias šiuolaikinė praktika yra **`declare(strict_types=1)`**, kuri įgalina griežtą tipų tikrinimą (atmesdama nesutapimus vietoj tylios konversijos) — pagrindinė priemonė klaidoms pagauti anksčiau ir rašyti patikimą kodą.

Žinojimas, kaip apibrėžti gerai tipizuotas funkcijas su numatytosiomis reikšmėmis, ir griežtų tipų naudojimas — kasdienės žinios profesionalui šiuolaikinės PHP plėtros metu, skiriančios tvirtas, tipo saugias kodo dalis nuo senos PHP laisvai tipizuoto stiliaus.