Modern PHP, fonksiyon parametreleri, dönüş değerleri ve sınıf özellikleri üzerinde tip bildirimlerini destekler — ve bunları kesin olarak uygulamak için declare(strict_types=1) kullanır. Birlikte, statik olarak yazılan dillerin güvenliğinin çoğunu PHP'ye getirerek hataları erkenden yakalarlar.
{
= ;
? = ;
{
->balance += ;
}
{
->balance;
}
}
Parametreleri, dönüş değerlerini ve sınıf özelliklerini yazabilirsiniz. Tipler, skalarlar (int, float, string, bool), sınıflar/arayüzler, array, ?Type (nullable) ve void içerir.
function process(int|string $id): User|null { } // union type — int OR string
function handle(Countable&Iterator $x): void { } // intersection (PHP 8.1) — BOTH
function get(): static { } // return the called class's type
function nothing(): never { } // never returns (throws/exits, PHP 8.1)
PHP 8, union tipler (int|string), intersection tipler ve özel dönüş tipler (static, never) ekledi.
<?php
declare(strict_types=1); // MUST be the first statement in the file
function add(int $a, int $b): int { return $a + $b; }
add(5, 3); // ✅ 8
add("5", 3); // ❌ TypeError — strict_types REJECTS the string (no coercion)
WITHOUT strict_types (default "coercive" mode):
add("5", 3) → "5" is silently coerced to int 5 → returns 8 (lenient, can hide bugs)
WITH strict_types=1:
add("5", 3) → TypeError immediately (must pass the exact declared type)
declare(strict_types=1), hoşgörülü dönüştürmeden kesin uygulamaya geçer — PHP tip uyuşmazlıklarını sessizce dönüştürmek yerine reddeder. Bu, dönüştürmenin gizleyeceği hataları yakalar.
Tip bildirimleri ve katı tipler, güçlü ve bakımı kolay modern PHP yazmak için önemlidir ve dil için gevşek yazılan kökeninin ötesinde büyük bir evrim temsil ederler.
Parametrelerdeki, dönüşlerdeki ve özelliklerdeki tip bildirimleri, kodu kendi kendini belgelendiren kılar (imzalar beklentileri açıkça belirtir) ve PHP'nin tip hatalarını otomatik olarak yakalamasını sağlar, modern eklemeler (union tipler, nullable tipler) ise imzaları kesin hale getirir.
En önemli uygulama declare(strict_types=1)'dir: PHP'yi hoşgörülü dönüştürmeden (`