Typy danych w PHP: int, float, string, bool, array, null

PHP ma osiem typów, których używasz na co dzień: int, float, string, bool, array, object, null oraz callable dla funkcji przekazywanych dalej. Zmienna nie ma stałego typu; ma go jej bieżąca wartość. var_dump($x) pokazuje zarówno typ, jak i wartość, a gettype($x) zwraca typ jako łańcuch.

<?php
$values = [42, 3.14, "hello", true, [1, 2, 3], null, new stdClass()];

printf("%-8s %-10s %s\n", "gettype", "debug", "value");
foreach ($values as $value) {
    printf("%-8s %-10s %s\n", gettype($value), get_debug_type($value), json_encode($value));
}

Pierwsza kolumna to gettype(), druga get_debug_type(). Zamień wartość na własną i uruchom kod ponownie. Funkcje różnią się w kilku nazwach: gettype z przyczyn historycznych podaje integer, double i boolean, a get_debug_type używa nazw z deklaracji typów (int, float, bool) i dla obiektu podaje nazwę klasy.

Typy PHP w skrócie

Podgląd wartości przez var_dump

var_dump to narzędzie, które pokazuje, co naprawdę masz. Wypisuje typ, wartość, a dla łańcuchów długość w bajtach:

<?php
var_dump(10);
var_dump(10.0);
var_dump("10");
var_dump(true);
var_dump(null);
var_dump(["id" => 7, "tags" => ["php", "web"]]);
var_dump("café");   // 5 bytes: é takes two bytes in UTF-8

echo wypisałoby 10 dla pierwszych trzech i ukryło różnicę. Długość w string(5) "café" liczy bajty, dlatego strlen i mb_strlen dają różne wyniki dla tekstu spoza ASCII.

Liczby całkowite i zmiennoprzecinkowe

Liczba całkowita to liczba bez części ułamkowej. Literały mogą zawierać podkreślniki dla czytelności oraz zapis szesnastkowy, ósemkowy i binarny. Float to każda liczba z kropką dziesiętną lub wykładnikiem i, jak w każdym języku, większość ułamków dziesiętnych przechowuje w przybliżeniu:

<?php
$population = 8_100_000_000;   // underscores are ignored
var_dump($population);
var_dump(0xFF, 0b1010, 0o17);  // hex, binary, octal
var_dump(PHP_INT_MAX);
var_dump(PHP_INT_MAX + 1);     // too big: becomes a float

var_dump(7 / 2);               // / returns a float when needed
var_dump(8 / 2);               // and an int when the result is whole
var_dump(intdiv(7, 2));        // integer division

var_dump(0.1 + 0.2);
var_dump(0.1 + 0.2 == 0.3);
var_dump(abs((0.1 + 0.2) - 0.3) < PHP_FLOAT_EPSILON);

Nigdy nie porównuj floatów przez ==; porównuj różnicę z małą tolerancją albo najpierw zaokrąglij obie strony. Kwoty pieniężne przechowuj jako całe grosze w liczbach całkowitych.

Wartości logiczne i to, co jest fałszem

bool to true albo false. Tam, gdzie PHP oczekuje warunku (if, while, !), każda wartość jest zamieniana na bool, a fałszem jest krótka lista wartości: false, 0, 0.0, "", "0", [] i null. Wszystko inne jest prawdą. Tabela pokazuje każdą wartość z jej typem, konwersją na bool i informacją, czy jest liczbowa:

Zaskakują "0.0", " " i "null": wszystkie trzy to niepuste łańcuchy inne niż "0", więc są prawdą i if ($value) wykonuje dla nich swoje ciało.

Tablice, obiekty i null

Tablica przechowuje dowolną mieszankę wartości pod kluczami całkowitymi lub tekstowymi. Obiekt to instancja klasy; stdClass to pusta klasa PHP do szybkich obiektów, a (object) zamienia tablicę w taki obiekt. null oznacza „brak wartości”:

<?php
$user = ["name" => "Ada", "roles" => ["admin", "editor"]];
echo gettype($user), ": ", $user["name"], "\n";

$point = new stdClass();
$point->x = 3;
$point->y = 4;
echo get_debug_type($point), ": ", $point->x, ",", $point->y, "\n";

$config = (object) ["debug" => true];
echo get_debug_type($config), ": debug is ", var_export($config->debug, true), "\n";

class Product
{
    public function __construct(public string $name, public float $price) {}
}
$p = new Product("Lamp", 25.0);
echo get_debug_type($p), ": {$p->name}\n";

$nothing = null;
var_dump($nothing, is_null($nothing));

Sprawdzanie typu funkcjami is_*

Każdy typ ma funkcję testującą, która zwraca true albo false. is_numeric różni się od is_int: przyjmuje też łańcuchy liczbowe, a tego właśnie chcesz przy sprawdzaniu danych z formularza.

<?php
$tests = [5, 5.0, "5", "5.5", " 5", "abc", true, null];

printf("%-7s %-6s %-8s %-9s %-10s\n", "value", "is_int", "is_float", "is_string", "is_numeric");
foreach ($tests as $t) {
    printf(
        "%-7s %-6s %-8s %-9s %-10s\n",
        var_export($t, true),
        is_int($t) ? "yes" : "",
        is_float($t) ? "yes" : "",
        is_string($t) ? "yes" : "",
        is_numeric($t) ? "yes" : ""
    );
}

Pozostałe: is_bool, is_array, is_object, is_null, is_callable, is_iterable oraz $x instanceof ClassName dla konkretnej klasy.

Żonglowanie typami i strict types

PHP automatycznie konwertuje typy, gdy operator potrzebuje innego. Łańcuch liczbowy użyty w arytmetyce staje się liczbą, a . zamienia liczby w łańcuchy. Łańcucha, który w ogóle nie jest liczbą, nie da się dodać i PHP 8 rzuca TypeError:

<?php
var_dump("10" + 5);        // int(15)
var_dump("1.5" * 2);       // float(3)
var_dump(10 . " items");   // string
var_dump("10" == "1e1");   // both numeric strings: compared as numbers
var_dump(100 == "1e2");

try {
    var_dump("abc" + 1);
} catch (TypeError $e) {
    echo "TypeError: ", $e->getMessage(), "\n";
}

Parametry z typami też konwertują, chyba że plik zaczyna się od declare(strict_types=1);. Wtedy wywołanie ze złym typem skalarnym kończy się błędem zamiast konwersji:

<?php
declare(strict_types=1);

function addVat(float $net): float
{
    return $net * 1.2;
}

echo addVat(100), "\n";          // int to float is still allowed

try {
    echo addVat("100"), "\n";    // a string is not converted in strict mode
} catch (TypeError $e) {
    echo "TypeError: ", $e->getMessage(), "\n";
}

Aby konwertować celowo, rzutuj: (int) "42", (float) "3.5", (string) 10, (bool) "0". Strona o rzutowaniu typów opisuje każde rzutowanie i jego przypadki brzegowe.

Częsty błąd: porównywanie różnych typów przez ==

Ponieważ == konwertuje przed porównaniem, dwie wartości różnych typów mogą być „równe” w sposób, który prowadzi do błędów, na przykład "1e1" == "10" (obie to liczba 10) albo null == false. Używaj ===, które wymaga też tego samego typu, chyba że chcesz konwersji:

<?php
$pairs = [["1e1", "10"], [null, false], [0, ""], ["abc", 0], [1.0, 1]];

foreach ($pairs as [$a, $b]) {
    $show = var_export($a, true) . " vs " . var_export($b, true);
    printf("%-16s ==  %-6s ===  %s\n", $show, var_export($a == $b, true), var_export($a === $b, true));
}

PHP 8 naprawił najgorszy przypadek: "abc" == 0 dawało kiedyś true, a teraz daje false, bo łańcuch nieliczbowy jest porównywany jako łańcuch. Pełne tabele są na stronie o operatorach porównania.