C# nieparzystość kompilatora z delegowanymi konstruktorami

Question

Na podstawie following question, znalazłem dziwne zachowanie kompilatora C#.

Poniżej jest ważny C#:

static void K() {} 

static void Main() 
{ 
    var k = new Action(new Action(new Action(K)))); 
} 

Co ja znajduję dziwny jest kompilator „dekonstrukcji” przekazany delegata.

Wyjście ILSpy jest następujący:

new Action(new Action(new Action(null, ldftn(K)), ldftn(Invoke)).Invoke); 

Jak widać, to automatycznie zdecyduje się zastosować metodę delegata Invoke. Ale dlaczego?

Tak jak jest, kod jest niejasny. Czy mamy potrójnie zawiniętego delegata (rzeczywistego), czy też wewnętrzny delegat właśnie "skopiował" do zewnętrznych (moja początkowa myśl).

pewnością jeśli intencją było jak kompilator emitowanego kod, należałoby napisać:

var k = new Action(new Action(new Action(K).Invoke).Invoke); 

Podobne do dekompilacji kodu.

Czy ktoś może usprawiedliwić przyczynę tej "zaskakującej" transformacji?

Aktualizacja:

mogę myśleć tylko o jednej z możliwych przypadków użycia do tego przeznaczonych; konwersja typu delegata. Np .:

delegate void Baz(); 
delegate void Bar(); 
... 
var k = new Baz(new Bar(new Action (K))); 

Prawdopodobnie kompilator powinien wysłać ostrzeżenie, jeśli używane są te same typy delegatów.

Answer 1

spec (rozdział 7.6.10.5) mówi:

• Nowy przykład pełnomocnik inicjowany jest z tej samej listy wywołania jako przykład delegata podany przez E.

teraz załóżmy, że kompilator przetłumaczył go na coś podobnego do twojej sugestii:

new Action(a.Target, a.Method) 

To utworzyłoby tylko delegata z listą wywołań jednego wywołania metody pojedynczej. W przypadku delegata multi-cast narusza on specyfikację.

Przykładowy kod:

using System; 

class Program 
{ 
    static void Main(string[] args) 
    { 
     Action first =() => Console.WriteLine("First"); 
     Action second =() => Console.WriteLine("Second"); 

     Action both = first + second; 
     Action wrapped1 = 
      (Action) Delegate.CreateDelegate(typeof(Action), 
              both.Target, both.Method); 
     Action wrapped2 = new Action(both); 

     Console.WriteLine("Calling wrapped1:"); 
     wrapped1(); 

     Console.WriteLine("Calling wrapped2:"); 
     wrapped2(); 
    } 
} 

wyjściowa:

Calling wrapped1: 
Second 
Calling wrapped2: 
First 
Second 

Jak widać, prawdziwy zachowanie kompilatora mecze spec - sugerowaną zachowanie nie.

Wynika to częściowo ze względu na nieco dziwnym „Czasami pojedynczej obsadzie, czasami multi-cast” charakter Delegate oczywiście ...

Answer 2

• pełnomocnik jest klasa

• Działanie pełnomocnik konstruktor jak w przykładzie

  publicznego zewnętrzny działania (przedmiotem @object, IntPtr metoda);

• od K metodą statyczną nie ma potrzeby, aby przejść przedmiotu do najbardziej wewnętrznych przykład działanie jako pierwszy argument i stąd przechodzi zerowy

• od drugiego argumentu jest wskaźnik działają zatem przechodzi on wskaźnik sposobu K, przy stosowaniu funkcja
• ldftn dla pozostałych przypadkach działania obiekt jest przekazywane jest wewnętrzna Action, a drugi parametr jest metoda Invoke ponieważ podczas rozmowy delegat jesteś rzeczywiście wywołanie metody Invoke

Podsumowanie

var action = new Action(K) => Action action = new Action(null, ldftn(K)) 
new Action(action) => new Action(action, ldftn(Action.Invoke)) 

Mam nadzieję, że to wyjaśnia, co się dzieje?

Answer 3

Podczas próby potraktowania delegata jako metody, kompilator faktycznie używa metody delegata: Invoke().Tak więc, na przykład, dwie linie poniżej kompilacji do dokładnie tej samej IL (zarówno połączenia Invoke()):

k(); 
k.Invoke(); 

Zakładam, że osobliwość widzisz jest tego konsekwencją. Konstruktor delegatów oczekuje metody (lub raczej grupy metod), ale zamiast tego otrzymuje delegata. Traktuje to więc jako metodę i używa metody Invoke().

Jeśli chodzi o znaczenie, jest to delegat, który wzywa delegata, który wywołuje właściwą metodę. Możesz to sprawdzić samodzielnie, uzyskując dostęp do właściwości delegata: Method i Target. W przypadku delegata najbardziej zewnętrznego, Method jest Action.Invoke i Target wewnętrznym delegatem.