Wann ist der generische Typ in C# aufgelöst?

Question

Nach this Antwort bei Stackoverflow, ist der generische Typ in C# zur Laufzeit aufgelöst.

Allerdings, nach this Antwort, in C# ist der generische Typ bei Kompilierungszeit aufgelöst.

Was fehlt mir hier?

Mit anderen Worten, ist der Typ T zur Kompilierzeit oder Laufzeit aufgelöst?

Update:

auf Oded Antwort Basierend In einem Fall wie diesem, wo der Typ eine geschlossene Betontyp ist (was bedeutet, dass es bei der Kompilierung aufgelöst werden würde)

class Program 
{ 
    static void Main() 
    { 
     var t = new Test<int>(); 
    } 
} 

public class Test<T> 
{ 
} 

wird die MSIL haben das Äquivalent von

class Program 
{ 
    static void Main() 
    { 
     var t = new Test(); 
    } 
} 

public class Test<int> 
{   
} 

Answer 1

Das Problem ist, dass die Frage nicht gut gestellt ist. Zwei Personen beanspruchen gegenteilige Dinge: Diese Typen werden zur Laufzeit "aufgelöst" und diese Typen werden zur Kompilierungszeit "aufgelöst".

Da sie sich widersprechen, müssen sie beide durch "aufgelöst" etwas anderes bedeuten.

Ich weiß nicht, was es bedeutet, dass ein Typ "aufgelöst" wird. Ich weiß aber was Überladung Auflösung ist. Auf die Frage, ein Überlastung Auflösung Problem zu lösen, die nicht dynamic beteiligt sind, bestimmt der C# -Compiler, die bei der Kompilierung, basierend zu nennen Überlastung der Kompilierung Informationen über den generischen Typen. So zum Beispiel, wenn Sie:

static void Main() 
{ 
    var d = new D(); 
    var p = new P<D>(); 
    p.N(d);//Displays In class B 
} 


class B 
{ 
    public void M()// Note, not virtual 
    { 
     Console.WriteLine("In class B"); 
    } 
} 

class D : B 
{ 
    public new void M()// new, not overload 
    { 
     Console.WriteLine("In class D"); 
    } 
} 

class P<T> where T : B 
{ 
    public void N(T t) 
    { 
     t.M(); 
    } 
} 

N immer ruft B.Mauch wenn P<T> als P<D> instanziiert wird. Warum? Da die Überladungsauflösung Problem, das bestimmt, was die Bedeutung von t.M muß gelöst werden, wenn P<T>.N wird zusammengestellt, und zu diesem Zeitpunkt die beste der Compiler weiß, ist, dass tB sein muss, so dass es wählt B.M.

Wenn Sie das nicht mit "gelöst" meinen, dann klären Sie die Frage.

Answer 2

Sie sind die Konzepte der open and closed generic types fehlt.

Im Wesentlichen besteht ein geschlossener generischer Typ darin, dass Sie tatsächlich vorhandene Typen für einen generischen Parameter/s angeben (oder sie werden vom Compiler abgeleitet). Zum Beispiel:

Nullable<int> nulInt; 

Eine offene gattungsgemäßen Art ist ein, wo ein oder mehrere generischer Typ zur Laufzeit bestimmt werden soll (so die Nullable<T> Klasse ist ein Beispiel).

Answer 3

1. die erste Antwort ist etwa Methode
Parameter
2. und die zweite ist etwa generische Typparameter

das ist, was du verpasst.

genauer: 1. C# wird standardmäßig statisch eingegeben, so dass Sie bei der Übergabe von Parametern den am besten passenden Typ und die Methode erhalten. (Siehe auch die Antwort zu "dynamischen" Parametern.) 2. Das Setzen eines generischen Typparameters über die C# -Syntax erfolgt über statische Typen. Um es durch Nachdenken zu setzen, geht es um etwas anderes.

etwas anderes: "in .NET" jeder Typ hat eine Initialisierung Phase bei der ersten Benutzung zur Laufzeit. (Siehe statische Felder und statischen Konstruktor)

so: Alle Typen sind zur Laufzeit initialisiert, aber statische Typen verwendet werden (oder dynamisch ...) zur Compile-Zeit das ist, wenn sie sein müssen "aufgelöst ".

Answer 4

Offene Typen (myclass<T>) existieren nicht Laufzeit. Zur Laufzeit können jedoch nicht gebundene Typen existieren (myclass<>). Um einen ungebundenen Typ zur Laufzeit aufzulösen, müssen Sie den Operator typeof verwenden.

Mit anderen Worten, wenn der Operator typeof nicht verwendet wird, werden generische Typen zum Zeitpunkt der Kompilierung geschlossen.