Hogyan definiálsz függvényeket típusokkal és alapértelmezésekkel?

Question

Accepted Answer

A PHP függvényeket a `function` kulcsszóval definiáljuk. A modern PHP támogatja a **típusdeklarációkat** a paramétereken és visszatérési értékeken, az **alapértelmezett értékeket** és a variadic paramétereket — így a függvények robusztusabbak és önmagyarázóak.

## Alapvető függvények típusdeklarációkkal

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

A típusdeklarációk (`int $a`, `: int` visszatérési típus) lehetővé teszik a PHP-nek az argumentumok és visszatérési értékek típusainak ellenőrzését — hibák feltárása és szándékok dokumentálása. Az alapértelmezett értékek opcionálissá teszik a paramétereket.

## Nullable típusok és union típusok (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)
    // ...
}
```

A `?Type` lehetővé teszi a nullt; az **union típusok** (`int|string`, PHP 8) több típust engedélyeznek — az aláírásokat pontossá teszik.

## Variadic és elnevezett argumentumok

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

## Szigorú típusok (ajánlott)

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

A `declare(strict_types=1)` szigorúvá teszi a típusdeklarációkat — a PHP elutasítja az eltérő típusokat az eltömítés helyett, amely a hibák feltárásának ajánlott modern gyakorlata.

## Miért fontos

A modern PHP függvénydefiníciók megértése — különösen a **típusdeklarációk** — fontos a robusztus, karbantartható kód írásához, és azt tükrözi, hogy a PHP mennyire fejlődött lazán típusolt eredete óta.

A tipizált paraméterek és visszatérési értékek (valamint nullable és union típusok) önmagyarázó függvényeket hoznak létre, és lehetővé teszik a PHP-nek a típushibák feltárását, míg az alapértelmezett és elnevezett argumentumok és variadic paraméterek rugalmas, olvasható aláírásokat biztosítanak.

A legfontosabb modern gyakorlat a **`declare(strict_types=1)`**, amely szigorú típusellenőrzést kényszerít (eltéréseket utasít el a hallgatólagos kényszerítés helyett) — a hibák korai feltárásához és a megbízható kód írásához kulcsfontosságú eszköz.

A jól tipizált függvények alapértelmezésekkel történő definiálása és a szigorú típusok használata az alapvető tudás a professzionális, modern PHP fejlesztésben, megkülönbözve a szilárd, típusbiztos kódot a régebbi PHP lazán tipizált stílusától.