Πώς ορίζετε συναρτήσεις με τύπους και προεπιλεγμένες τιμές;

Question

Accepted Answer

Οι συναρτήσεις PHP ορίζονται με τη λέξη-κλειδί `function`. Το σύγχρονο PHP υποστηρίζει **δηλώσεις τύπων** σε παραμέτρους και τιμές επιστροφής, **προεπιλεγμένες τιμές**, και variadics παραμέτρους — κάνοντας τις συναρτήσεις πιο ισχυρές και αυτο-τεκμηριωμένες.

## Βασικές συναρτήσεις με δηλώσεις τύπων

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

Οι δηλώσεις τύπων (`int $a`, `: int` τύπος επιστροφής) κάνουν το PHP να ελέγχει τύπους ορισμάτων και επιστροφής — εντοπίζοντας σφάλματα και τεκμηριώνοντας την πρόθεση. Οι προεπιλεγμένες τιμές κάνουν τις παραμέτρους προαιρετικές.

## Nullable τύποι και 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` επιτρέπει null; **union types** (`int|string`, PHP 8) επιτρέπουν πολλούς τύπους — κάνοντας τις υπογραφές ακριβείς.

## Variadic και named arguments

```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 (συνιστώμενο)

```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)` κάνει τις δηλώσεις τύπων αυστηρές — το PHP απορρίπτει ασύμβατους τύπους αντί να τους μετατρέπει σιωπηλά, το οποίο είναι η συνιστώμενη σύγχρονη πρακτική για εντοπισμό σφαλμάτων.

## Γιατί είναι σημαντικό

Η κατανόηση σύγχρονων ορισμών συναρτήσεων PHP — ειδικά **δηλώσεων τύπων** — είναι σημαντική για τη συγγραφή ισχυρού, συντηρήσιμου κώδικα, και αντικατοπτρίζει πόσο μακριά έχει εξελιχθεί το PHP από τις αρχικές του σχετικά χαλαρές τύπων.n
Οι δηλωμένοι τύποι παραμέτρων και τιμών επιστροφής (συν nullable και union types) κάνουν τις συναρτήσεις αυτο-τεκμηριωμένες και επιτρέπουν στο PHP να εντοπίσει σφάλματα τύπου, ενώ οι προεπιλεγμένες και named arguments και variadics παρέχουν ευέλικτες, ευαναγνώστες υπογραφές.

Η πιο σημαντική σύγχρονη πρακτική είναι **`declare(strict_types=1)`**, η οποία επιβάλλει αυστηρό έλεγχο τύπων (απόρριψη ασυμβατοτήτων αντί σιωπηλής μετατροπής τους) — ένα βασικό εργαλείο για τον εντοπισμό σφαλμάτων νωρίς και τη σύνταξη αξιόπιστου κώδικα.

Η γνώση του τρόπου ορισμού καλά δηλωμένων συναρτήσεων με προεπιλεγμένες τιμές, και η χρήση αυστηρών τύπων, είναι καθημερινή γνώση για την επαγγελματική σύγχρονη ανάπτυξη PHP, διακρίνοντας ισχυρό, type-safe κώδικα από το χαλαρό στυλ παλαιότερου PHP.