Làm sao định nghĩa hàm với kiểu và giá trị mặc định?

Question

Accepted Answer

Hàm trong PHP được định nghĩa bằng từ khóa `function`. PHP hiện đại hỗ trợ **khai báo kiểu** cho tham số và giá trị trả về, **giá trị mặc định** và tham số variadic — giúp hàm vững chắc và tự diễn giải hơn.

## Hàm cơ bản với khai báo kiểu

```php
<?php
// PHP hiện đại — tham số có kiểu và trả về có kiểu
function add(int $a, int $b): int {
    return $a + $b;
}

function greet(string $name, string $greeting = "Hello"): string {  // giá trị mặc định
    return "$greeting, $name";
}

greet("Ann");              // "Hello, Ann"
greet("Ann", "Hi");        // "Hi, Ann"
```

Khai báo kiểu (`int $a`, kiểu trả về `: int`) khiến PHP kiểm tra kiểu của đối số và giá trị trả về — bắt lỗi và làm rõ ý định. Giá trị mặc định khiến tham số trở thành tùy chọn.

## Kiểu nullable và union type (PHP 8+)

```php
function find(?int $id): ?User {        // ? = nullable (int|null, User|null)
    return $id ? lookup($id) : null;
}

function process(int|string $input): void {   // union type — int HOẶC string (PHP 8)
    // ...
}
```

`?Type` cho phép null; **union type** (`int|string`, PHP 8) cho phép nhiều kiểu — làm chữ ký hàm chính xác hơn.

## Tham số variadic và đối số có tên

```php
function sum(int ...$numbers): int {     // variadic — số lượng đối số int bất kỳ
    return array_sum($numbers);
}
sum(1, 2, 3);            // 6

// đối số có tên (PHP 8) — truyền theo tên tham số, bỏ qua các tham số tùy chọn
greet(name: "Ann", greeting: "Hey");
```

## Strict types (khuyến nghị)

```php
<?php
declare(strict_types=1);    // ở đầu file — buộc kiểm tra kiểu NGHIÊM NGẶT

add("5", 3);   // ❌ TypeError với strict_types (không có nó, "5" sẽ bị ép thành 5)
```

`declare(strict_types=1)` làm cho khai báo kiểu trở nên nghiêm ngặt — PHP từ chối kiểu không khớp thay vì âm thầm ép kiểu, đây là thực hành hiện đại được khuyến nghị để bắt lỗi.

## Tại sao điều này quan trọng

Hiểu cách định nghĩa hàm trong PHP hiện đại — đặc biệt là **khai báo kiểu** — quan trọng để viết code vững chắc, dễ bảo trì, và phản ánh PHP đã tiến hóa xa thế nào khỏi nguồn gốc định kiểu lỏng.

Tham số và giá trị trả về có kiểu (cùng kiểu nullable và union) khiến hàm tự diễn giải và để PHP bắt lỗi kiểu, trong khi đối số mặc định, đối số có tên và variadic mang lại chữ ký hàm linh hoạt, dễ đọc.

Thực hành hiện đại quan trọng nhất là **`declare(strict_types=1)`**, buộc kiểm tra kiểu nghiêm ngặt (từ chối kiểu không khớp thay vì âm thầm ép kiểu) — một công cụ then chốt để bắt lỗi sớm và viết code đáng tin cậy.

Biết cách định nghĩa hàm có kiểu tốt với giá trị mặc định, và dùng strict types, là kiến thức hằng ngày cho phát triển PHP hiện đại chuyên nghiệp, phân biệt code vững chắc, an toàn kiểu với phong cách định kiểu lỏng của PHP cũ.