Sıfır Maliyetli Sarmalayıcılar için Extension Türleri

Bir extension type daha yeni bir özelliktir: mevcut bir türü, çalışma zamanı maliyeti olmadan yeni bir arayüz sunacak şekilde sarar.

Gerçek bir sarmalayıcı sınıfın aksine, bir uzantı türü çalışma zamanında hiçbir nesne eklemez. Çalışma zamanında yalnızca temel değerin kendisidir.

Parantez içindeki değer gösterim türüdür. Burada bir UserId, daha güvenli bir ad taşıyan aslında yalnızca bir int'tir.

Bir uzantı türünü, kurucu çağırır gibi oluşturur ve temel değeri doğrudan verirsiniz.

Gövdenin içinde, sarılmış değer üzerinde çalışan yöntemler ve getter'lar ekleyerek değere gerçek bir anlam kazandırabilirsiniz.

Bir typedef yalnızca bir takma addır; uzantı türü ise ayrı bir türdür. Bir UserId ile sıradan bir int'i yanlışlıkla birbirine karıştıramazsınız.

Varsayılan olarak bir uzantı türü, sarılan türün üyelerini gizler; böylece yalnızca dışa sunduğunuz yöntemler çağrılabilir.

Temel üyeleri yönlendirmek için implements ekleyin; böylece çağıranlar hem API'nizi hem de temel türü kullanabilir.

Gerçek bir nesne oluşturulmadığı için uzantı türlerinin çalışma zamanında hiçbir maliyeti yoktur. Tür güvenliğini ücretsiz elde edersiniz.

UserId veya Email gibi türü belirlenmiş tanımlayıcılarda çok kullanışlıdırlar; yanlış int'i yanlış yuvaya geçirmenizi engellerler.

Bir uzantı, herkesin paylaştığı bir türe yöntem ekler; uzantı türü ise bir değer etrafında yeni ve ayrı bir tür oluşturur.

Uzantı türleriyle tanıştınız: bir gösterim türü üzerine kurulmuş, ayrı ve maliyetsiz sarmalayıcılardır; çalışma zamanı ek yükü olmadan güvenli kimlikler ve birimler için idealdirler. 🏁