Типы данных PHP: int, float, string, bool, array, null

В PHP восемь типов, которыми пользуются каждый день: int, float, string, bool, array, object, null и ещё callable для функций, которые передаются как значения. У переменной нет фиксированного типа; тип есть у её текущего значения. var_dump($x) показывает и тип, и значение, а gettype($x) возвращает тип строкой.

<?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));
}

Первый столбец это gettype(), второй get_debug_type(). Замените значение своим и запустите снова. В нескольких именах они расходятся: gettype по историческим причинам пишет integer, double и boolean, а get_debug_type использует имена из объявлений типов (int, float, bool) и для объекта возвращает имя класса.

Типы PHP коротко

Просмотр значений через var_dump

var_dump это инструмент, чтобы увидеть, что у вас на самом деле. Он печатает тип, значение, а для строк длину в байтах:

<?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 напечатал бы 10 для первых трёх и скрыл бы разницу. Длина в string(5) "café" считается в байтах, поэтому strlen и mb_strlen расходятся на не-ASCII тексте.

Целые и дробные числа

Целое число это число без дробной части. В литералах можно использовать подчёркивания для читаемости, а также шестнадцатеричную, восьмеричную и двоичную запись. Float это любое число с десятичной точкой или экспонентой, и, как в любом языке, большинство десятичных дробей он хранит приближённо:

<?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);

Никогда не сравнивайте float через ==; сравнивайте разницу с небольшим допуском или сначала округлите обе стороны. Деньги храните в целых копейках или центах.

Логический тип и какие значения ложны

bool это true или false. Там, где PHP ожидает условие (if, while, !), любое значение приводится к bool, и ложным считается короткий список значений: false, 0, 0.0, "", "0", [] и null. Всё остальное истинно. Таблица показывает для каждого значения его тип, приведение к bool и то, числовое ли оно:

Неожиданны "0.0", " " и "null": все три непустые строки, отличные от "0", поэтому они истинны, и if ($value) выполнит для них своё тело.

Массивы, объекты и null

Массив хранит любые значения под целочисленными или строковыми ключами. Объект это экземпляр класса; stdClass это пустой класс PHP для быстрых объектов, а (object) превращает массив в объект. null означает "нет значения":

<?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));

Проверка типа функциями is_*

Для каждого типа есть функция проверки, которая возвращает true или false. is_numeric отличается от is_int: она принимает и числовые строки, что и нужно при проверке данных из формы.

<?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" : ""
    );
}

Есть и другие: is_bool, is_array, is_object, is_null, is_callable, is_iterable, а для конкретного класса $x instanceof ClassName.

Неявное приведение и строгие типы

PHP автоматически приводит типы, когда оператору нужен другой тип. Числовая строка в арифметике становится числом, а . превращает числа в строки. Строку, которая совсем не похожа на число, сложить нельзя, и PHP 8 выбрасывает 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";
}

Типизированные параметры тоже приводят значения, если файл не начинается с declare(strict_types=1);. Тогда вызов с неверным скалярным типом завершается ошибкой, а не приведением:

<?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";
}

Чтобы привести тип намеренно, используйте приведение: (int) "42", (float) "3.5", (string) 10, (bool) "0". На странице о приведении типов разобраны все приведения и их пограничные случаи.

Частая ошибка: сравнение разных типов через ==

Поскольку == приводит типы перед сравнением, два значения разных типов могут оказаться "равными" так, что это порождает ошибки, например "1e1" == "10" (оба это число 10) или null == false. Используйте ===, которое требует ещё и совпадения типа, если приведение вам не нужно:

<?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 исправил худший случай: "abc" == 0 раньше было true, а теперь false, потому что нечисловая строка сравнивается как строка. Полные таблицы есть на странице об операторах сравнения.