Arabirimde tanımlanan C # 4 isteğe bağlı parametreler neden sınıf uygulamada uygulanmıyor?

C # 4'teki isteğe bağlı parametrelerle, bir arabirimde isteğe bağlı bir parametre belirtirseniz , bu parametreyi herhangi bir uygulama sınıfında isteğe bağlı yapmak zorunda olduğunuzu fark ettim :

public interface MyInterface
{
    void TestMethod(bool flag = false);
}

public class MyClass : MyInterface
{
    public void TestMethod(bool flag)
    {
        Console.WriteLine(flag);
    }
}

ve bu nedenle:

var obj = new MyClass();        
obj.TestMethod(); // compiler error

var obj2 = new MyClass() as MyInterface;
obj2.TestMethod(); // prints false

İsteğe bağlı parametrelerin neden bu şekilde çalışmak üzere tasarlandığını bilen var mı?

Bir yandan, arayüzlerde belirtilen herhangi bir varsayılan değeri geçersiz kılma yeteneğinin, dürüst olmak gerekirse yararlı olduğunu varsayalım.

Öte yandan, bu bağlantı kesme beton sınıfını ve arayüzü her zaman birbirinin yerine kullanamayacağınız anlamına gelir. Bu, elbette, uygulamada varsayılan değer belirtilirse sorun olmaz, ancak daha sonra somut sınıfınızı arayüz olarak ortaya koyarsanız (örneğin somut sınıfı enjekte etmek için bazı IOC çerçevelerini kullanarak), o zaman gerçekten çağıran varsayılan değere sahip olan nokta, her zaman yine de onu belirtmek zorunda kalacaktır.

GÜNCELLEME: Bu soru 12 Mayıs 2011'deki blogumun konusuydu. Harika soru için teşekkürler!

Açıkladığınız gibi bir arayüzünüz ve onu uygulayan yüz sınıfınız olduğunu varsayalım. Ardından, arabirimin yöntemlerinden birinin parametrelerinden birini isteğe bağlı yapmaya karar verirsiniz. Yapılacak doğru şeyin, derleyicinin geliştiriciyi bu arabirim yönteminin her uygulamasını bulmaya zorlaması ve parametreyi isteğe bağlı hale getirmesi olduğunu mu düşünüyorsunuz?

Diyelim ki bunu yaptık. Şimdi geliştiricinin uygulama için kaynak koduna sahip olmadığını varsayalım:

// in metadata:
public class B 
{ 
    public void TestMethod(bool b) {}
}

// in source code
interface MyInterface 
{ 
    void TestMethod(bool b = false); 
}
class D : B, MyInterface {}
// Legal because D's base class has a public method 
// that implements the interface method

D'nin yazarı bu işi nasıl yapacak? Dünyanızda telefonun B yazarını çağırmaları ve onlara yöntemin isteğe bağlı bir parametresi olmasını sağlayan B'nin yeni bir sürümünü göndermelerini istemeleri gerekiyor mu?

Bu uçmayacak. Ya iki kişi B'nin yazarını çağırırsa ve bunlardan biri varsayılanın doğru olmasını ister ve biri yanlış olmasını isterse? Ya B'nin yazarı oynamayı reddederse?

Belki de bu durumda şunları söylemeleri gerekir:

class D : B, MyInterface 
{
    public new void TestMethod(bool b = false)
    {
        base.TestMethod(b);
    }
}

Önerilen özellik, temsilci gücünde karşılık gelen bir artış olmadan programcı için çok fazla rahatsızlık katıyor gibi görünüyor. Bu özelliğin kullanıcıya artan maliyeti haklı çıkartan faydası nedir?

GÜNCELLEME: Aşağıdaki yorumlarda supercat, dile gerçekten güç katacak ve bu soruda anlatılanlara benzer bazı senaryoları etkinleştirecek bir dil özelliği önerir. Bu özellik - arayüzlerdeki yöntemlerin varsayılan uygulamaları - C # 8'e eklenecektir.

İsteğe bağlı bir parametre yeni bir özellikle etiketlenir. Bu öznitelik derleyiciye çağrı sitesinde o parametre için varsayılan değeri eklemesini söyler.

CIT kodu JIT zamanında değil, IL'ye derlendiğinde çağrı obj2.TestMethod();ile değiştirilir obj2.TestMethod(false);.

Yani bir şekilde her zaman arayan isteğe bağlı parametrelerle varsayılan değeri sağlar. Bunun ikili sürüm oluşturmada da sonuçları vardır: Varsayılan değeri değiştirir ancak arama kodunu yeniden derlemezseniz, eski varsayılan değeri kullanmaya devam eder.

Öte yandan, bu bağlantı kesme beton sınıfını ve arayüzü her zaman birbirinin yerine kullanamayacağınız anlamına gelir.

Arayüz yöntemi açıkça uygulanmışsa bunu zaten yapamazsınız .

Varsayılan parametreler çalışma zamanında değil, derleme zamanında çözümlendiğinden. Dolayısıyla, varsayılan değerler çağrılan nesneye değil, çağrıldığı referans türüne aittir.

İsteğe bağlı parametreler, anladığımdan bir makro ikamesi gibidir. Yöntemin bakış açısından gerçekten isteğe bağlı değildirler. Bunun bir artefaktı, bir arayüze yayın yaparsanız farklı sonuçlar elde ettiğiniz yerde gördüğünüz davranıştır.