Kiểu dữ liệu PHP: int, float, string, bool, array, null

PHP có tám kiểu dữ liệu (data type) bạn dùng hằng ngày: int, float, string, bool, array, object, null, cộng thêm callable cho các hàm được truyền qua lại. Biến không có kiểu cố định; giá trị hiện tại của biến mới có kiểu. var_dump($x) cho thấy cả kiểu lẫn giá trị, còn gettype($x) trả về kiểu dưới dạng chuỗi.

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

Cột đầu tiên là gettype(), cột thứ hai là get_debug_type(). Thay một giá trị bằng giá trị của bạn rồi chạy lại. Hai hàm gọi tên khác nhau ở vài chỗ: gettype nói integer, double và boolean vì lý do lịch sử, còn get_debug_type dùng tên trong khai báo kiểu (int, float, bool) và trả về tên lớp với đối tượng.

Tổng quan các kiểu dữ liệu PHP

Xem giá trị bằng var_dump

var_dump là công cụ để thấy thứ bạn thật sự đang có. Nó in ra kiểu, giá trị, và với chuỗi thì cả độ dài tính bằng byte:

<?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 sẽ in ra 10 cho ba giá trị đầu và che mất sự khác biệt. Độ dài trong string(5) "café" đếm theo byte, đó là lý do strlen và mb_strlen cho kết quả khác nhau với văn bản ngoài ASCII.

Số nguyên và số thực

Số nguyên (integer) là số không có phần thập phân. Khi viết giá trị trực tiếp, bạn có thể dùng dấu gạch dưới cho dễ đọc, và dùng cách viết thập lục phân, bát phân, nhị phân. Số thực (float) là bất kỳ số nào có dấu chấm thập phân hoặc số mũ, và như ở mọi ngôn ngữ, phần lớn số thập phân chỉ được lưu gần đúng:

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

Đừng bao giờ so sánh số thực bằng ==; hãy so sánh hiệu của chúng với một sai số nhỏ, hoặc làm tròn cả hai vế trước. Với tiền, hãy lưu số xu (cent) dưới dạng số nguyên.

Boolean và những giá trị được coi là false

Một bool là true hoặc false. Ở nơi PHP cần một điều kiện (if, while, !), mọi giá trị đều được chuyển sang bool, và chỉ một danh sách ngắn được coi là false: false, 0, 0.0, "", "0", [] và null. Mọi thứ khác đều là true. Bảng dưới đây cho thấy mỗi giá trị cùng kiểu của nó, kết quả chuyển sang bool và có phải dạng số hay không:

Những điểm bất ngờ là "0.0", " " và "null": cả ba đều là chuỗi không rỗng và khác "0", nên chúng là true, và if ($value) sẽ chạy phần thân với chúng.

Mảng, đối tượng và null

Mảng chứa bất kỳ tổ hợp giá trị nào dưới các khóa số nguyên hoặc chuỗi. Đối tượng là một instance của một lớp; stdClass là lớp rỗng của PHP để tạo đối tượng nhanh, và (object) biến một mảng thành đối tượng. null có nghĩa là "không có giá trị":

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

Kiểm tra kiểu bằng các hàm is_*

Mỗi kiểu có một hàm kiểm tra trả về true hoặc false. is_numeric khác với is_int: nó chấp nhận cả chuỗi dạng số, đúng thứ bạn cần khi kiểm tra dữ liệu nhập từ biểu mẫu.

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

Các hàm khác: is_bool, is_array, is_object, is_null, is_callable, is_iterable, và $x instanceof ClassName cho một lớp cụ thể.

Chuyển kiểu tự động và strict types

PHP tự động chuyển kiểu khi một toán tử cần kiểu khác. Một chuỗi dạng số dùng trong phép tính sẽ thành số, còn . biến số thành chuỗi. Một chuỗi hoàn toàn không phải dạng số thì không cộng được, và PHP 8 ném ra 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";
}

Tham số có khai báo kiểu cũng được chuyển đổi, trừ khi tệp bắt đầu bằng declare(strict_types=1);. Khi đó một lời gọi với kiểu vô hướng sai sẽ thất bại thay vì được chuyển đổi:

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

Để chủ động chuyển kiểu, hãy ép kiểu: (int) "42", (float) "3.5", (string) 10, (bool) "0". Trang ép kiểu trình bày mọi phép ép kiểu và các trường hợp đặc biệt.

Lỗi thường gặp: so sánh khác kiểu bằng ==

Vì == chuyển kiểu trước khi so sánh, hai giá trị khác kiểu có thể "bằng nhau" theo những cách gây ra bug, như "1e1" == "10" (cả hai đều là số 10) hay null == false. Hãy dùng ===, toán tử này đòi hỏi cả cùng kiểu, trừ khi bạn muốn có phép chuyển kiểu:

<?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 đã sửa trường hợp tệ nhất: "abc" == 0 từng là true và giờ là false, vì một chuỗi không phải dạng số được so sánh như chuỗi. Các bảng đầy đủ có ở trang toán tử so sánh.