PHP'de dinamik tiplemenin nasıl çalışır?

PHP, dinamik ve zayıf tipli bir dildir.

• Dinamik tip belirleme: Bir değişkenin tipi, ona atanan değere göre çalışma zamanında belirlenir ve önceden açıkça tanımlanmaz.
• Zayıf tip belirleme: PHP, bazen beklenmedik davranışlara yol açabilecek örtük tip dönüşümleri (bağlam dönüşümü) yapabilir, bu da farklı tipteki değerler arasında karşılaştırma veya işlem yaparken ortaya çıkabilir.

Örnekler:

1. Değişken tipinin değiştirilmesi:

   <?php
   $variable = 123;    // int
   $variable = "merhaba"; // string
   $variable = [1, 2]; // dizi
   ?>
   

2. Karşılaştırmada örtük tip dönüşümü:

   <?php
   var_dump(10 == "10"); // bool(true) - "10" stringi sayıya dönüştürülür
   var_dump(0 == false); // bool(true) - false sayıya dönüştürülür
   var_dump("abc" == 0); // bool(true) - "abc" stringi sayıya dönüştürülür, çünkü sayı ile başlamaz
   ?>
   

3. Örtük dönüşümü önlemek için katı karşılaştırma kullanımı:

   <?php
   var_dump(10 === "10"); // bool(false) - hem değer hem de tip karşılaştırılır
   var_dump(0 === false); // bool(false)
   var_dump("abc" === 0); // bool(false)
   ?>
   

Dinamik tip belirleme esneklik sağlar ve erken aşamalarda geliştirmeyi hızlandırır, ancak yalnızca çalışma zamanında tespit edilen hatalara yol açabilir. Kodun güvenilirliğini artırmak için PHP 7+ ile tip bildirimleri (type declarations) ve katı tip modu (strict types) tanıtılmıştır.

<?php
declare(strict_types=1); // Geçerli dosya için katı tip modunu etkinleştirir

function sum(int $a, int $b): int { // Argüman ve dönüşüm tipi bildirimleri
    return $a + $b;
}

// sum(1, "2"); // Bu, katı modda bir TypeError hatası oluşturur

?>

Tip bildirimleri ve katı mod, tip kontrollerini statik analiz sırasında veya fonksiyon çağrısından önce çalışma zamanında yapmaya olanak tanır, bu da daha öngörülebilir ve sürdürülebilir kod yazımına katkıda bulunur.