Bagaimana Anda mendefinisikan fungsi dengan tipe dan nilai default?

Question

Accepted Answer

Fungsi PHP didefinisikan dengan kata kunci `function`. PHP modern mendukung **deklarasi tipe** pada parameter dan nilai pengembalian, **nilai default**, dan parameter variadic — membuat fungsi lebih tangguh dan self-documenting.

## Fungsi dasar dengan deklarasi tipe

```php
<?php
// modern PHP — typed parameters and a typed return
function add(int $a, int $b): int {
    return $a + $b;
}

function greet(string $name, string $greeting = "Hello"): string {  // default value
    return "$greeting, $name";
}

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

Deklarasi tipe (`int $a`, tipe pengembalian `: int`) memungkinkan PHP memeriksa tipe argumen dan pengembalian — menangkap bug dan mendokumentasikan niat. Nilai default membuat parameter opsional.

## Tipe nullable dan tipe union (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 OR string (PHP 8)
    // ...
}
```

`?Type` memungkinkan null; **tipe union** (`int|string`, PHP 8) memungkinkan beberapa tipe — membuat tanda tangan presisi.

## Argumen variadic dan bernama

```php
function sum(int ...$numbers): int {     // variadic — any number of int args
    return array_sum($numbers);
}
sum(1, 2, 3);            // 6

// named arguments (PHP 8) — pass by parameter name, skip optional ones
greet(name: "Ann", greeting: "Hey");
```

## Tipe ketat (direkomendasikan)

```php
<?php
declare(strict_types=1);    // at the top of the file — enforce STRICT type checking

add("5", 3);   // ❌ TypeError with strict_types (without it, "5" would coerce to 5)
```

`declare(strict_types=1)` membuat deklarasi tipe ketat — PHP menolak tipe yang tidak cocok alih-alih diam-diam memaksanya, yang merupakan praktik modern yang direkomendasikan untuk menangkap bug.

## Mengapa ini penting

Memahami definisi fungsi PHP modern — terutama **deklarasi tipe** — penting untuk menulis kode yang tangguh dan dapat dipertahankan, dan mencerminkan seberapa jauh PHP telah berkembang dari asal-usulnya yang lemah ketik.

Parameter dan nilai pengembalian yang diketik (plus tipe nullable dan union) membuat fungsi self-documenting dan memungkinkan PHP menangkap kesalahan tipe, sementara argumen default dan bernama serta variadic memberikan tanda tangan yang fleksibel dan dapat dibaca.

Praktik modern yang paling penting adalah **`declare(strict_types=1)`**, yang memberlakukan pengecekan tipe ketat (menolak ketidakcocokan alih-alih diam-diam memaksanya) — alat penting untuk menangkap bug lebih awal dan menulis kode yang dapat diandalkan.

Mengetahui cara mendefinisikan fungsi yang diketik dengan baik dengan default, dan menggunakan tipe ketat, adalah pengetahuan sehari-hari untuk pengembangan PHP modern profesional, membedakan kode yang solid dan type-safe dari gaya lemah ketik PHP yang lebih tua.