Kuinka määrität funktiot tyypeillä ja oletusarvoilla?

Question

Accepted Answer

PHP-funktiot määritetään `function`-avainsanalla. Moderni PHP tukee **tyyppideklaraatioita** parametreissa ja palautusarvoissa, **oletusarvoja** ja variadisia parametreja — mikä tekee funktioista robustimpia ja itsedokumentoivia.

## Perusfunktiot tyyppideklaraatioilla

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

Tyyppideklaraatiot (`int $a`, `: int` palautustyyppi) saavat PHP:n tarkistamaan argumenttien ja palautusarvojen tyypit — mikä paljastaa bugit ja dokumentoi tarkoituksen. Oletusarvot tekevät parametreista valinnaisia.

## Nullable-tyypit ja union-tyypit (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` sallii null-arvon; **union-tyypit** (`int|string`, PHP 8) sallivat useita tyyppejä — mikä tekee signatuureista tarkkoja.

## Variadisia ja nimetyt argumentit

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

## Strict types (suositeltu)

```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)` tekee tyyppideklaraatioista tiukkoja — PHP hylkää epäsopivat tyypit sen sijaan, että se hiljaisesti pakottaisi ne, mikä on suositeltu nykyaikainen käytäntö bugien paljastamiseksi.

## Miksi sillä on merkitystä

Modernien PHP-funktioiden määritysten ymmärtäminen — erityisesti **tyyppideklaraatiot** — on tärkeää robustin ja ylläpidettävän koodin kirjoittamiselle ja heijastaa kuinka pitkälle PHP on kehittynyt löyhästi tyypitetyistä alkuperistään.

Tyyppitiedot parametreissa ja palautusarvoissa (plus nullable- ja union-tyypit) tekevät funktioista itsedokumentoivia ja antavat PHP:lle mahdollisuuden paljastaa tyyppiin liittyvät virheet, kun taas oletusarvot, nimetyt argumentit ja variadicit tarjoavat joustavia, luettavia signatuureja.

Tärkein moderni käytäntö on **`declare(strict_types=1)`**, joka pakottaa tiukan tyyppitarkistuksen (hylkää epäsopivat arvot sen sijaan, että pakottaisi ne hiljaisesti) — keskeinen työkalu bugien varhaisen paljastamisen ja luotettavan koodin kirjoittamisen kannalta.

Tieto siitä, kuinka määritellään hyvin tyyppitiedot omaavia funktioita oletusarvoilla, ja tiukkojen tyyppien käyttäminen, on jokapäiväisen tietämystä ammattilaiselle modernin PHP-kehityksen parissa, mikä erottaa vankan, tyyppiturvallisen koodin vanhemman PHP-tyylin löyhästi tyypitetyistä lähestymistavoista.