Stark typisierte Delegate
Im vorherigen Artikel haben Sie gesehen, dass bestimmte Delegaten mithilfe des delegate-Schlüsselworts erstellen.
Die abstrakte Klasse für den Delegaten stellt die Infrastruktur für die lose Kopplung und den losen Aufruf bereit. Konkrete Delegattypen werden durch die Einführung und das Erzwingen von Typsicherheit für die Methoden, die zur Aufrufliste für ein Delegatobjekt hinzugefügt werden, viel nützlicher. Wenn Sie das delegate-Schlüsselwort verwenden und einen konkreten Delegattyp definieren, generiert der Compiler diese Methoden.
In der Praxis würde dies zur Erstellung neuer Delegattypen führen, wann immer Sie eine andere Methodensignatur benötigen. Diese Arbeit könnte mit der Zeit ermüdend werden. Jede neue Funktion erfordert neue Delegattypen.
Glücklicherweise ist dies nicht erforderlich. Der .NET Core Framework enthält verschiedene Typen, die Sie wiederverwenden können, wenn Sie Delegattypen benötigen. Dies sind generische Definitionen, damit Sie Anpassungen deklarieren können, wenn Sie neue Methodendeklarationen benötigen.
Der erste dieser Typen ist der Action-Typ, und verschiedene Varianten:
public delegate void Action();
public delegate void Action<in T>(T arg);
public delegate void Action<in T1, in T2>(T1 arg1, T2 arg2);
// Other variations removed for brevity.
Die in-Modifizierer im generischen Typargument wird in diesem Artikel in Kovarianz behandelt.
Es gibt Variationen des Action-Delegaten, der bis zu 16 Argumente enthält, wie z.B. Action<T1,T2,T3,T4,T5,T6,T7,T8,T9,T10,T11,T12,T13,T14,T15,T16>.
Es ist wichtig, dass diese Definitionen andere generische Argumente für jeden der Delegatargumente verwenden: Das bietet Ihnen maximale Flexibilität. Die Methodenargumente müssen nicht, aber können der gleiche Typ sein.
Verwenden Sie einen der Action-Typen für jeden Delegattyp, der über einen void-Rückgabetyp verfügt.
Das Framework enthält auch mehrere generische Delegattypen, die Sie für Delegattypen verwenden können, die Werte zurückgeben:
public delegate TResult Func<out TResult>();
public delegate TResult Func<in T1, out TResult>(T1 arg);
public delegate TResult Func<in T1, in T2, out TResult>(T1 arg1, T2 arg2);
// Other variations removed for brevity
Der out-Modifizierer im Ergebnisargument des generischen Typs wird in diesem Artikel in Kovarianz behandelt.
Es gibt Variationen des Func-Delegaten mit bis zu 16 Eingabeargumenten, wie z.B. Func<T1,T2,T3,T4,T5,T6,T7,T8,T9,T10,T11,T12,T13,T14,T15,T16,TResult>.
Der Typ des Ergebnisses ist immer der letzte Typparameter in allen Func-Deklarationen, gemäß der Konvention.
Verwenden Sie einen der Func-Typen für jeden Delegattyp, der einen Wert zurückgibt.
Es gibt auch einen spezialisierten Predicate<T>-Typ für einen Delegaten, der einen Test für einen einzelnen Wert zurückgibt:
public delegate bool Predicate<in T>(T obj);
Möglicherweise haben Sie bemerkt, dass für jeden Predicate-Typ ein strukturell äquivalenter Func-Typ vorhanden ist, beispielsweise:
Func<string, bool> TestForString;
Predicate<string> AnotherTestForString;
Sie denken möglicherweise, dass diese beiden Typen äquivalent sind. Das sind sie nicht. Diese beiden Variablen sind nicht austauschbar. Eine Variable eines Typs kann dem anderen Typ nicht zugewiesen werden. Das C#-Typsystem verwendet die Namen der definierten Typen, nicht die Struktur.
Alle diese Definitionen von Delegattypen in der .NET Core-Bibliothek sollten bedeuten, dass Sie keinen neuen Delegattypen für jede neue Funktion, die Sie erstellen und die Delegaten erfordert, definieren müssen. Diese generischen Definitionen sollten alle Delegattypen bereitstellen, die Sie in den meisten Fällen benötigen. Sie können einen dieser Typen mit den erforderlichen Parametern einfach instanziieren. Im Falle von Algorithmen, die generisch vorgenommen werden können, können diese Delegaten als generische Typen verwendet werden.
Dies sollte Zeit sparen und die Anzahl neuer Typen minimieren, die Sie erstellen müssen, um mit Delegaten zu arbeiten.
Im nächsten Artikel sehen Sie einige allgemeine Muster für die praktische Arbeit mit Delegaten.
