Wie funktioniert die dynamische Typisierung in PHP…

PHP ist eine Sprache mit dynamischer und schwacher Typisierung.

Dynamische Typisierung: Der Typ einer Variablen wird zur Laufzeit basierend auf dem ihr zugewiesenen Wert bestimmt und nicht explizit im Voraus deklariert.
Schwache Typisierung: PHP kann implizite Typumwandlungen durchführen (kontextabhängige Konvertierung), was manchmal zu unerwartetem Verhalten beim Vergleichen oder bei Operationen zwischen Werten verschiedener Typen führen kann.

Beispiele:

Änderung des Variablentyps:

<?php
$variable = 123;    // int
$variable = "hallo"; // string
$variable = [1, 2]; // Array
?>

Implizite Typumwandlung beim Vergleich:

<?php
var_dump(10 == "10"); // bool(true) - der String "10" wird in die Zahl 10 umgewandelt
var_dump(0 == false); // bool(true) - false wird in die Zahl 0 umgewandelt
var_dump("abc" == 0); // bool(true) - der String "abc" wird in die Zahl 0 umgewandelt, da er nicht mit einer Zahl beginnt
?>

Verwendung des strengen Vergleichs, um implizite Umwandlungen zu vermeiden:

<?php
var_dump(10 === "10"); // bool(false) - Vergleich sowohl im Wert als auch im Typ
var_dump(0 === false); // bool(false)
var_dump("abc" === 0); // bool(false)
?>

Obwohl die dynamische Typisierung Flexibilität bietet und die Entwicklung in frühen Phasen beschleunigt, kann sie zu Fehlern führen, die erst zur Laufzeit erkannt werden. Um die Zuverlässigkeit des Codes zu verbessern, wurden in PHP 7+ Typdeklarationen (type declarations) und strikte Typisierung (strict types) eingeführt.

<?php
declare(strict_types=1); // Aktiviert den strikten Typmodus für die aktuelle Datei

function sum(int $a, int $b): int { // Deklaration der Argument- und Rückgabetypen
    return $a + $b;
}

// sum(1, "2"); // Dies löst einen TypeError im strikten Modus aus

?>

Typdeklarationen und der strikte Modus ermöglichen es, Typprüfungen während der statischen Analyse oder zur Laufzeit vor dem Funktionsaufruf durchzuführen, was zu vorhersehbarerem und wartbarerem Code beiträgt.

Wie funktioniert die dynamische Typisierung in PHP?