L'inférence de type générique partiel peut-elle être implémentée en C #?

Présentation

Cet article explore les défis de l'implémentation de l'inférence du type dans C #, se concentrant sur les limites et les solutions potentielles pour l'inférence générique partielle. décrit est où une méthode d'extension doit être disponible pour une classe de base spécifique, avec des paramètres génériques liés à un argument de méthode. Cependant, la méthode d'extension doit également renvoyer un type spécifique lié au descendant particulier qu'il est invoqué.

La solution

Il s'avère que l'inférence de type générique partiel n'est pas directement prise en charge dans C #. Cependant, il existe des stratégies qui peuvent obtenir un résultat similaire.

Solutions pour l'inférence de type générique partiel

Une syntaxe similaire au code souhaité peut être réalisé en utilisant les contraintes de type: Public Static Paronter [et&&] Treg P, nom de chaîne, valeur t) Lorsque Treg: ParameterisingRegistingBase

public static TReg Parameter(this TReg p, string name, T value)
    where TReg : ParameterizedRegistrationBase

public static ThatAreWrapper That(this IEnumerable source)
{
    return new ThatAreWrapper(source);
}

public class ThatAreWrapper
{
    // ... Implementation
}