PHP'de Tür Zorlamalı(Type Hinting) kod yazma

MURATSPLAT

Selamlar,

<?hh
class MyClass {
 public function alpha(): int {
 return 1;
 }

 public function beta(): string {
 return 'hi test';
 }
}

function f(MyClass $my_inst): string {
 // Fix me!
 return $my_inst->alpha();
}

Php'de buna benzer bir tür zorlama yapılamıyor. Tür olarak sadece Array ve Sınıfları dayatabiliyorsunuz. Bu özelliği PHP'de kullanmanın bir yolu var mı acaba?

Tür dayatma olmadan kod yazarken olası bugların ortaya çıkması olağan oluyor. Yazdığım bir laravel eklentisinde bir hata yüzünden 1-2 günüm gitti. Hata olmasının ana nedeni tür dayatma olmaması. İnsan deliriyor. Türlere çok dikkat ederek yazayım diyorsunuz kodun yarısı veri kontrolüyle geçiyor. Tür dayatması olsa ayrıca kontrol için kod yazmanıza gerek kalmıyor.

Hack on hhvm mi geçsek ne yapsak?

Tamammen:|

Aristona

Öncelikle bir eksikliği belirteyim. Burada hem klasik tür dayatma, hem de Return Type Declaration/Hinting ("Dönen Tür Deklarasyonu/Dayatması" gibi bir çevirisi olabilir. Türkçesini bilmiyorum.) yapıyorsun. MyClass $my_inst dediğin yer tür dayatma. method() : {primitive} (örn int, string) olan yerler ise RTD.

Tür dayatma yapılırken scalar türlerinde desteklenmesi (https://wiki.php.net/rfc/scalar_type_hints) PHP7 için kabul edildi. Anthony Ferrara bunun için çok uğraştı. Hatta baya drama oldu takip ettiğim kadarıyla. (RFC iptal edildi, sonra birisi hayır dediği oyu evete çevirdi falan) Sonuç olarak feature freeze öncesindeki gün ufak farkla kabul edildi.

RTD'de (https://wiki.php.net/rfc/return_types) PHP7 ile geliyor. Büyük bir oy farkıyla geçti.

Bunların dışında PHP7 ile çok büyük bir performans artışı (refactor edilmiş zend engine) ve daha birçok yararlı feature geliyor.

PHP strict typed bir dil olmadığı için bahsettiğin hataları alman normal. Zaten bu durum PHPnin hem avantajı, hem de dezavantajı.

mgsmus

Tür dayatma olayı benim de istediğim şeylerden biri. Değişkenler fonksiyonun etki alanına girmeden türüne göre engellenebilmeli, hata kolaylıkla fonksiyon dışında yakalanmalı. Hala fonksiyon içinde integer mi float mı diye kontrol yapıyoruz.

MURATSPLAT

@Aristona bu örnek kodu HHVM'nin sitesinden almıştım. Tür dayatma hem method girişlerinde hem de methodlardan dönen değerlerde olmasını ve bunu kullanmasını kasıt etmiştim.

Örnek Go'dan


// simple string converter helper for float32 types
func float32ToString(f float32) string {
 return strconv.FormatFloat(float64(f), 'f', 2, 32)
}

Anthony Ferrara çabasını benim de dikkatimi çekmişti. Hatta twitterde adam diyordu lütfen oylayın filan diye.

@mgsmus +1