Type Hinting ve Union Types

Coddy'nin PHP Journey'sinin Nesne Yönelimli Programlama bölümünün bir parçası — ders 35 / 91.

Şu ana kadar, tür ipuçlarınızda tekil türler kullandınız - bir sınıf, bir arayüz veya bir ilkel tür. Peki ya bir fonksiyonun birden fazla farklı türü kabul etmesi gerekiyorsa? PHP 8.0, bir parametrenin veya dönüş değerinin birkaç türden biri olabileceğini belirtmenize olanak tanıyan birleşim türlerini (union types) tanıttı.

Union türleri, izin verilen türleri ayırmak için dikey çizgi | karakterini kullanır:

<?php
function formatValue(int|float|string $value): string {
    return "Value: " . $value;
}

echo formatValue(42) . "\n";
echo formatValue(3.14) . "\n";
echo formatValue("hello");

Çıktı:

Value: 42
Value: 3.14
Value: hello

Bu, polimorfizm (çok biçimlilik) ile birleştirildiğinde özellikle güçlü hale gelir. Tek bir parametrede birbiriyle ilişkisi olmayan birden fazla sınıfı veya arayüzü kabul edebilirsiniz:

<?php
interface Printable {
    public function print(): string;
}

class Document implements Printable {
    public function print(): string {
        return "Printing document";
    }
}

class Image {
    public function render(): string {
        return "Rendering image";
    }
}

function process(Printable|Image $item): string {
    if ($item instanceof Printable) {
        return $item->print();
    }
    return $item->render();
}

echo process(new Document()) . "\n";
echo process(new Image());

instanceof operatörü, fonksiyon içinde hangi tiple çalıştığınızı belirlemenize yardımcı olur. Bu desen, tip güvenliğini korurken birden fazla tipi işleyen esnek fonksiyonlar yazmanıza olanak tanır.

Önemli Nokta: Union tipleri, polimorfizmi kalıtım hiyerarşilerinin ötesine taşıyarak, kodunuzu tip güvenli tutarken fonksiyonların tamamen farklı tipleri kabul etmesine olanak tanır.

Görev

Kolay

Birlik türlerinin (union types) gücünü gösteren bir içerik oluşturucu sistemi kuralım. Bazıları bir arayüzü (interface) uygulayan, bazıları ise bağımsız sınıflar olan birden fazla ilgisiz türü işleyebilen ve instanceof kontrollerini kullanarak her birini uygun şekilde işleyen bir fonksiyon oluşturacaksınız.

Kodunuzu dört dosya halinde düzenleyeceksiniz:

Renderable.php — Tek bir metod imzasına sahip bir Renderable arayüzü tanımlayın: render(). Bu arayüzü uygulayan sınıflar, kendilerini bir dizeye (string) dönüştürebileceklerini taahhüt ederler.
TextBlock.php — Renderable arayüzünü uygulayan bir TextBlock sınıfı oluşturun. Arayüz dosyasını dahil edin. Sınıf, yapıcı (constructor) aracılığıyla ayarlanan özel bir $content özelliğine sahip olmalıdır. render() metodunu "Text: [content]" döndürecek şekilde uygulayın.
RawHtml.php — Renderable arayüzünü uygulamayan bir RawHtml sınıfı oluşturun. Bu, yapıcı aracılığıyla ayarlanan özel bir $html özelliğine sahip bağımsız bir sınıftır. "HTML: [html]" döndüren bir getHtml() metodu ekleyin.
main.php — Hem TextBlock hem de RawHtml dosyalarını dahil edin. Bir Renderable veya bir RawHtml nesnesini kabul etmek için birlik türü (union type) kullanan renderContent adında bir fonksiyon oluşturun. Fonksiyonun içinde, türü kontrol etmek için instanceof kullanın: eğer Renderable ise, render() metodunu çağırın ve döndürün; aksi takdirde getHtml() metodunu çağırın ve döndürün.

İki girdi alacaksınız: TextBlock için metin içeriği ve RawHtml için HTML içeriği. Her iki nesneyi de ilgili içerikleriyle oluşturun. Her birini renderContent() fonksiyonunuza gönderin ve sonuçları — önce TextBlock, sonra RawHtml olacak şekilde, her biri kendi satırında — yazdırın.

Bu meydan okuma, birlik türlerinin tamamen farklı türleri işleyen tek bir fonksiyon yazmanıza nasıl olanak tanıdığını gösterir. TextBlock, Renderable sözleşmesini takip ederken, RawHtml tamamen ayrı bir sınıftır — ancak fonksiyonunuz Renderable|RawHtml birlik türü sayesinde her ikisiyle de sorunsuz bir şekilde çalışır.

Kendin dene

<?php
require_once 'TextBlock.php';
require_once 'RawHtml.php';

// Girdiyi oku
$textContent = trim(fgets(STDIN));
$htmlContent = trim(fgets(STDIN));

// TODO: Aşağıdaki işlemleri yapan renderContent adında bir fonksiyon oluşturun:
// - Renderable veya RawHtml türlerinden birini kabul etmek için bir birleşim türü (union type) kullanır
// - Türü kontrol etmek için instanceof kullanır
// - Eğer Renderable ise, render() metodunu çağırır ve döndürür
// - Aksi takdirde, getHtml() metodunu çağırır ve döndürür

function renderContent(/* TODO: Birleşim türü parametresini ekleyin */) {
    // TODO: Türü kontrol etmek için instanceof kullanın ve uygun sonucu döndürün
}

// TODO: $textContent ile TextBlock nesnesi oluşturun
// TODO: $htmlContent ile RawHtml nesnesi oluşturun

// TODO: Her bir nesneyi renderContent() fonksiyonuna gönderin ve sonuçları yazdırın
// Önce TextBlock sonucunu, ardından RawHtml sonucunu yazdırın (her biri kendi satırında)
?>