Pourquoi Delphi ne peut-il pas déduire le type d'un paramètre TEnumerable <T>?

Question

Tenir compte de la déclaration suivante d'une classe utilitaire générique Delphi 2010:

TEnumerableUtils = class 
public 
    class function InferenceTest<T>(Param: T): T; 
    class function Count<T>(Enumerable: TEnumerable<T>): Integer; overload; 
    class function Count<T>(Enumerable: TEnumerable<T>; Filter: TPredicate<T>): Integer; overload; 
end; 

D'une certaine façon l'inférence de type de compilateur semble avoir des problèmes ici:

var 
    I: Integer; 
    L: TList<Integer>; 
begin 
    TEnumerableUtils.InferenceTest(I); // no problem here 
    TEnumerableUtils.Count(L);   // does not compile: E2250 There is no overloaded version of 'Count' that can be called with these arguments 
    TEnumerableUtils.Count<Integer>(L); // compiles fine 
end; 

Le premier fonctionne appel comme prévu et T est correctement inféré comme Entier.

Le deuxième appel ne fonctionne pas, sauf si j'ajoute également <Integer> - alors cela fonctionne, comme on peut le voir dans le troisième appel. Est-ce que je fais quelque chose de mal ou est l'inférence de type dans Delphi ne supporte pas cela (je ne pense pas que ce soit un problème en Java qui est la raison pour laquelle il devrait fonctionner en Delphi, aussi).

Answer 1

Le compilateur doit effectuer une correspondance de modèle pour déduire les types de paramètres; ce n'est pas le cas actuellement. Le compilateur est limité à une inférence assez simple - si le type de paramètre est d'un type de type type, alors le compilateur peut le comprendre, mais pas beaucoup plus loin que cela. Dans votre exemple, le type d'argument n'est pas un simple paramètre de type, mais plutôt un type générique construit (construit avec le paramètre de type T de la méthode, mais il n'en est pas moins construit). Le compilateur doit faire deux inférences pour trouver la valeur de T. D'abord, il doit voir que le type générique du type construit est un ancêtre du type générique de TList<T>; et il doit également faire correspondre le paramètre de type T dans la liste des paramètres de type du type construit avec le type concret Integer dans l'ancêtre TList<T>.