Neden türün kendisi yerine tür kısıtlaması olan genel bir yöntem kullanmalıyım?

Farklı bir StackExchange soruda, bu prototip kullanan birini fark ettim:

void DoSomething<T>(T arg) where T: SomeSpecificReferenceType
{
    //Code....
}

Sadece tek bir tip kısıtlaması ( SomeSpecificReferenceType) vardır, sadece bunun gibi yazmanın farkı ve avantajı nedir:

void DoSomething(SomeSpecificReferenceType arg)
{
    //Code....
}

Her iki durumda da, argderleme zamanı tip kontrolüne tabi olacaktır. Her iki durumda da, yöntemin gövdesi arg, derleme zamanında bilinen belirli bir tür olan (veya soyundan gelen) bilgiye güvenebilir .

Bu, sıradan kalıtım hakkında bilgi edinmeden önce jenerikleri öğrenen aşırı hevesli bir geliştirici vakası mıdır? Yoksa bir yöntem imzasının bu şekilde yazılmasının meşru bir nedeni var mı?

Bu, sıradan kalıtım hakkında bilgi edinmeden önce jenerikleri öğrenen aşırı hevesli bir geliştirici vakası mıdır?

Evet, muhtemelen öyle.

Yoksa bir yöntem imzasının bu şekilde yazılmasının meşru bir nedeni var mı?

Belki . Genel olarak, ilgili bir dönüş değeri Tveya kullanılan başka bir parametre olması daha anlamlı olur T.

Ancak, kodun iç kısımlarının T(belki de bir serileştiriciye argüman olarak?) Kullanması ve kısıtlama sınıfını değil, özel olarak kullanılması gerekirT . Kısıtlama, kısıtlama ile eşleştirilmiş bir arayüz olduğunda newve yöntemin bağırsaklarının Tbir nedenle s oluşturduğunu göreceksiniz .

Bu nedenle, gerekli kısıtlama sürümünü görmek nadir olmakla birlikte, zaman zaman vardır. Ve bu yöntem her zaman mümkündür kullanılan ihtiyaç için, ama şimdi değil ve geliştirici o kadar bir kırılma değişiklik tanıtmak getirmemektir bıraktı.

Sanırım bunu içeren bir cevap yazdığımı hatırlıyorum.

O zaman neden şöyleydi:
(Kod farklı olabilir. Sadece genel bir yöntemde type parametresinde bir kısıtlamanın olası nedenlerinden birini göstermek için.)

class SomeSingleton
{
    static Dictionary<Type, List<object>> staticTypeSpecificList;
    public void AddObjectToList<T>(T t) where T : SomeCommonThing
    {
        Type tt = t.GetType();
        List<object> list;
        if (!staticTypeSpecificList.TryGet(tt, out list))
        {
            list = new List<object>();
            staticTypeSpecificList.Add(tt, list);
        }
        list.Add(t);
    }
}

Temel olarak, kod manuel olarak kodlama tipi manipülasyonlarının içine girer. Ayrıca bazı yansımalarla karıştırılabilir.

Örneğin, kullanılarak Method<T>(T arg) where T : ..., tek bir yerine arg.GetType()ile typeof(T). Yine de, bu seçimin iyi mi kötü mü olduğunu bilmiyorum.

Sanırım bu sadece yazarın (muhtemelen ben ya da başka biri) tüm kodlama olasılıklarını dikkatle düşünmeyen bir örnek , aynı zamanda farklı bir soru / konuya çok fazla odaklanıyor.