Tipleri ve varsayılan değerleri olan işlevleri nasıl tanımlarsınız?

Question

Accepted Answer

PHP işlevleri `function` anahtar sözcüğü ile tanımlanır. Modern PHP, parametreler ve dönüş değerlerine **tür bildirimleri**, **varsayılan değerleri** ve variadic parametreleri destekler — işlevleri daha güçlü ve kendini açıklayan hale getirir.

## Tür bildirimleriyle temel işlevler

```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"
```

Tür bildirimleri (`int $a`, `: int` dönüş tipi) PHP'nin argüman ve dönüş tiplerini kontrol etmesini sağlar — hatalar yakalar ve amacı belgelendirir. Varsayılan değerler parametreleri isteğe bağlı hale getirir.

## Nullable tipler ve union tipler (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` null'a izin verir; **union tipler** (`int|string`, PHP 8) birkaç tipe izin verir — imzaları kesin hale getirir.

## Variadic ve adlandırılmış argümanlar

```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");
```

## Strict tipler (önerilen)

```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)` tür bildirimlerini kesin hale getirir — PHP uyumsuz tipleri sessizce dönüştürmek yerine reddeder, bu da modern uygulamada hataları yakalamak için önerilen yöntemdir.

## Neden önemli

Modern PHP işlev tanımlarını anlamak — özellikle **tür bildirimleri** — güçlü, bakımı kolay kod yazmak için önemlidir ve PHP'nin gevşek tipli köklerinden ne kadar uzaklaştığını yansıtır.

Tiplendirilmiş parametreler ve dönüş değerleri (artı nullable ve union tipler) işlevleri kendini açıklayan hale getirir ve PHP'nin tür hatalarını yakalamasını sağlar, varsayılan ve adlandırılmış argümanlar ve variadikler ise esnek, okunabilir imzalar sağlar.

En önemli modern uygulama **`declare(strict_types=1)`**'dir; bu, kesin tür kontrolünü (sessizce dönüştürmek yerine uyumsuzlukları reddederek) uygular — bu, hataları erken yakalamak ve güvenilir kod yazmak için önemli bir araçtır.

Iyi tiplendirilmiş işlevleri varsayılan değerlerle tanımlama ve strict tipler kullanma bilgisine sahip olmak, profesyonel modern PHP geliştirmesi için günlük bilgidir ve katı, tip güvenli kodu eski PHP'nin gevşek tipli tarzından ayırır.