Metoda C# z domyślną wartością parametru nie generuje przeciążenia bez parametru?

Question

Ostatnio chciałem dodać opcjonalny parametr do metody rozszerzenia. Oryginalna metoda wyglądała następująco:

public static class Extensions { 
    public static bool Foo(this IFoo target) { 
     target.DoIt(true); 
    } 
} 

Jest to oczywiście wersja uproszczona, ale odejdźmy od tego.

Co zrobiłem to:

public static class Extensions { 
    public static bool Foo(this IFoo target, bool flag = true) { 
     target.DoIt(flag); 
    } 
} 

Wszystko zrobiłem jest wprowadzenie opcjonalnego parametru z wartością domyślną, prawda? Spodziewałem się kompilatora generującego przeciążoną metodę bez flagi. To się częściowo zdarzyło. Każdy kod że zrekompilowane mógł skompilować i wykonać bez żadnych problemów, nawet bez parametru jak ten:

... 
IFoo foo = new FooBar(); 
foo.Foo(); 
... 

jednak żadnego kodu, który został zbudowany na poprzedniej wersji Foo() nie działa, rzucając następujący wyjątek:

Unhandled Exception: System.MissingMethodException: Method not found: 'Boolean Models.Class1.Foo()'. 
at DefaultParamsTests.Program.Main(String[] args) 

jest to oczywiście problem dla nas, jak mamy API publiczną, że nasi klienci zrobić dźwigni i byłoby to łamanie zmiana.

Rozwiązaniem jest jawnie utworzyć przeciążeniem:

public static class Extensions { 
    public static bool Foo(this IFoo target) { 
     target.DoIt(true); 
    } 

    public static bool Foo(this IFoo target, bool) { 
     target.DoIt(true); 
    } 
} 

Jednak Resharper sugeruje, że mogę wprowadzić opcjonalny parametr dla metody foo.

Jeśli będę postępować zgodnie z refactoring to w zasadzie robi to, co pokazałem powyżej. To jednak nie zadziała w przypadku istniejącego kodu.

I spojrzał na wygenerowanym przy użyciu zarówno IL reflektor i dotPeek. Żadne nie pokazuje generacji przeciążenia.

Czego mi brakuje?

Answer 1

W przypadku parametrów domyślnych faktyczna strona z ogłoszeniami jest ponownie zapisywana, aby użyć wartości domyślnej. Oznacza to, że przeciążenie nie jest generowane, kod wywołujący jest modyfikowany!

public void fun(int x = 3) { } 

// in another file 
fun(); // compiler re-writes to fun(3); 
fun(7); // fun(7) as expected 

// actual code generated by the c# compiler 
fun(3); 
fun(7); 

Jeśli używasz opcjonalnych parametrów w C# trzeba ponownie skompilować wszystkie rozmówców gdy function zmiany. Z tego powodu jest on zniechęcony do umieszczania tego rodzaju metod na publicznym interfejsie (na przykład wywoływanym przez kod innego użytkownika). Używanie ich w swoich połączonych projektach jest w porządku, ponieważ wszystkie one powinny się kompilować w tym samym czasie.

Answer 2

Parametry opcjonalne w metodach w języku C# są rozwiązywane podczas kompilacji w witrynie wywołania. Twój kod wywołujący, który pomija parametr, rozszerza się, dołączając parametr, wywołując wersję z dwoma parametrami. Jest to przeciwieństwo tego, co przypuszczasz, z powodu nadmiernego obciążenia.

Answer 3

Kluczem jest to, że kompilator zmienia osoby dzwoniącej metody, która ma zawierać wartość domyślną.

Zobacz nowy kod w dotPeek.

UWAGA: Powinieneś usunąć pliki pdb, gdy używasz dotPeek we własnych plikach!

Oto klasa rozszerzeń z dwiema metodami (dekompilowana za pomocą dotPeek). Jedna z ustawieniem domyślnym i jedna bez tej wartości nieobsługiwana. Wszystko wygląda dobrze. Teraz spójrz na obiekt wywołujący metodę rozszerzenia (dekompilowany za pomocą dotPeek).

Należy zauważyć, że osoba wywołująca metodę rozszerzenia IFoo2 faktycznie zawiera wartość false dla metody Foo rozszerzeń klasy. Tak więc twoja metoda Extensons.Foo ma teraz dwa parametry. Pierwsza metoda obiektu, a druga jest parametrem "domyślnym". Tak więc każdy kod utworzony za pomocą pierwszej wersji zakończy się niepowodzeniem, ponieważ nie ma metody z tylko jednym parametrem.

Wyłącz resharper wokół metod i nie będzie widać, że cię już prześladować :)