Πώς λειτουργεί η δυναμική τυποποίηση στο PHP;

Το PHP είναι μια γλώσσα με δυναμική και αδύναμη τυποποίηση.

Δυναμική τυποποίηση: Ο τύπος μιας μεταβλητής καθορίζεται κατά την εκτέλεση βάσει της τιμής που της αποδίδεται και δεν δηλώνεται ρητά εκ των προτέρων.
Αδύναμη τυποποίηση: Το PHP μπορεί να πραγματοποιεί έμμεσες μετατροπές τύπων (συμφραζόμενη μετατροπή), που μερικές φορές μπορεί να οδηγήσει σε απροσδόκητη συμπεριφορά κατά τη σύγκριση ή την εκτέλεση λειτουργιών μεταξύ τιμών διαφορετικών τύπων.

Παραδείγματα:

Αλλαγή τύπου μεταβλητής:

<?php
$variable = 123;    // int
$variable = "γεια"; // string
$variable = [1, 2]; // πίνακας
?>

Έμμεση μετατροπή τύπων κατά τη σύγκριση:

<?php
var_dump(10 == "10"); // bool(true) - η συμβολοσειρά "10" μετατρέπεται σε αριθμό 10
var_dump(0 == false); // bool(true) - το false μετατρέπεται σε αριθμό 0
var_dump("abc" == 0); // bool(true) - η συμβολοσειρά "abc" μετατρέπεται σε αριθμό 0, καθώς δεν ξεκινά με αριθμό
?>

Χρήση αυστηρής σύγκρισης για αποφυγή έμμεσης μετατροπής:

<?php
var_dump(10 === "10"); // bool(false) - συγκρίνεται τόσο στην τιμή όσο και στον τύπο
var_dump(0 === false); // bool(false)
var_dump("abc" === 0); // bool(false)
?>

Αν και η δυναμική τυποποίηση προσφέρει ευελιξία και επιταχύνει την ανάπτυξη στα αρχικά στάδια, μπορεί να οδηγήσει σε σφάλματα που ανιχνεύονται μόνο κατά την εκτέλεση. Για να βελτιωθεί η αξιοπιστία του κώδικα, στο PHP 7+ εισήχθησαν δηλώσεις τύπων (type declarations) και αυστηρός τρόπος τυποποίησης (strict types).

<?php
declare(strict_types=1); // Ενεργοποιεί τον αυστηρό τρόπο τυποποίησης για το τρέχον αρχείο

function sum(int $a, int $b): int { // Δήλωση τύπων για ορίσματα και επιστρεφόμενη τιμή
    return $a + $b;
}

// sum(1, "2"); // Αυτό θα προκαλέσει TypeError σε αυστηρό τρόπο

?>

Οι δηλώσεις τύπων και ο αυστηρός τρόπος τυποποίησης επιτρέπουν τον έλεγχο τύπων κατά τη στατική ανάλυση ή κατά την εκτέλεση πριν από την κλήση της συνάρτησης, συμβάλλοντας στη συγγραφή πιο προβλέψιμου και εύκολα συντηρήσιμου κώδικα.