C-Sharp .Net Generics

C#’nin Sınıf Yapıcılarında `İma Edilen Generic Türler`i Neden Desteklemediğini Anlama

C#, geliştiricilerin generics kullanmasına olanak tanıyan güçlü bir dildir, bu da kodu daha çok yönlü ve tür güvenli hale getirir. Ancak, programcılar arasında sıkça bir soru ortaya çıkar: “C# neden sınıf yapıcılarında ima edilen generic türleri desteklemiyor?” Bu sorgulama, C#’nin generics’i nasıl yönettiğine dair ilginç bir yönü açığa çıkarır. Bu blog yazısında, bu soruyu keşfedeceğiz, nedenlerine dair ayrıntılı bir bakış sağlayacağız ve C#’nin sınıf yapıcılarında generics’i nasıl ele aldığını inceleyeceğiz.

C#‘de Generics’in Temelleri

C#’nin sınıf yapıcılarında neden ima edilen türleri desteklemediğine dair detaylara girmeden önce, C#‘deki generics’in temel kavramlarını gözden geçirelim. İşte bazı önemli noktalar:

Generics, tür için bir yer tutucu ile sınıflar ve yöntemler tanımlamanıza olanak tanır.
Bu tasarım, tür güvenliğini korurken yeniden kullanılabilir kod oluşturmanıza olanak sağlar.
C# derleyicisi bazen bir generic’in türünü bağlamdan çıkarabilir, özellikle yöntemler ve delegeler söz konusu olduğunda.

Tür Çıkarımı Örneği

C#‘de tür çıkarımı birçok durumda sorunsuz bir şekilde çalışır. Örneğin, aşağıdaki kodu düşünün:

List<int> myInts = new List<int> {0, 1, 1, 2, 3, 5, 8, 13, 21};
List<string> myStrings = myInts.Select(i => i.ToString()).ToList();

Bu kod parçasında, derleyici Select‘in int‘ten string‘e dönüştüğünü çıkarır, türleri açıkça belirtmek gerekmez—C#‘deki generics’in güzelliği budur.

Sınıf Düzeyinde Generic Tür Çıkarımı

Ancak, sınıf düzeyindeki generic türler söz konusu olduğunda işler karmaşıklaşır. Örneğin, aşağıdaki generic sınıfı düşünelim:

public class GenericDemo<T> 
{
    public GenericDemo(T value) 
    {
        GenericTypedProperty = value;
    }

    public T GenericTypedProperty { get; set; }
}

Eğer türü belirtmeden GenericDemo nesnesi oluşturmaya çalışırsanız:

int anIntValue = 4181;
var item = new GenericDemo(anIntValue); // Tür çıkarımı başarısız

C# derleyicisi türü çıkaramaz ve hata verir. Peki, neden böyle?

C# Neden Sınıf Yapıcıları İçin İma Edilen Türleri Desteklemiyor?

Açıklama, esasen C# dil tasarımcılarının yaptığı mimari kararlardadır. Bu sınırlamanın ardındaki bazı nedenler şunlardır:

Yetersiz Kurallar: C# dilinin sınıf yapıcıları için tür çıkarımını desteklemek için gerekli kuralları yoktur. Bu, generic türlerin açıkça belirtilmesini gerektiren belirli bağlamlarda, örneğin generic sınıf örnekleri oluşturulurken geçerlidir.
Geliştirici Perspektifi: Görünüşe göre, dil yaratıcıları bu özelliğe yönelik güçlü bir talep tespit etmemiştir. Daha karmaşık bir söz dizimi sunmak, dilin geliştirmesi için belirsizliklere yol açabilir, bu da geliştiricilerin anlaşılmasını zorlaştırır.
Mevcut Çözümler: Mevcut geçiş yolları mevcuttur. Örneğin, türü açıkça tanımlayan bir statik metot oluşturabilir ve generic türü belirtmeden örnek oluşturulmasına izin verebilirsiniz. İşte basit bir örnek:
```
public static GenericDemo<T> Create<T>(T value)
{
    return new GenericDemo<T>(value);
}

var item = Create(anIntValue); // Yöntemde tür çıkarımı düzgün çalışır
```
Bu yaklaşım yalnızca sorunu çözmekle kalmaz, aynı zamanda C# programlamanın güvenlik ve açıklık ilkelerine de uyar.

Sonuç

C#’nin generics için güçlü bir destek sunduğu açıkken, sınıf yapıcıları için ima edilen generic türlerin eksikliği kasıtlı bir tasarım seçeneğidir. Bu kararın arka planındaki nedenleri anlayarak, geliştiriciler C#’nin işlevsellik ile basitlik arasında sağladığı dengeyi takdir edebilirler. Mevcut geçici çözümlerle, uygulamalarımızda generics’in gücünü etkili bir şekilde kullanabiliriz, dilin bütünlüğünden ödün vermeden.