Perché Delphi non è in grado di inferire il tipo per un parametro TEnumerable <T>?

Question

Si consideri la seguente dichiarazione di una classe di utilità generica in 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; 

In qualche modo il tipo di compilatore di inferenza sembra avere problemi qui:

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; 

La prima chiamata funziona come previsto e T è correttamente dedotto come numero intero.

La seconda chiamata non funziona, a meno che non aggiunga anche <Integer> - quindi funziona, come si può vedere nella terza chiamata. Sto facendo qualcosa di sbagliato o l'inferenza di tipo in Delphi non lo supporta (non penso che sia un problema in Java, motivo per cui mi aspetto che funzioni anche in Delphi).

Answer 1

Il compilatore deve eseguire la corrispondenza del modello per inferire i tipi di parametri; al momento non lo fa. Il compilatore è limitato a inferenza abbastanza semplice - se il tipo di parametro è di tipo type, il compilatore può capirlo, ma non molto oltre.

Il tipo di argomento nell'esempio non è un parametro di tipo semplice, ma è piuttosto un tipo generico costruito (è costruito con il parametro di tipo T del metodo, ma è comunque costruito). Il compilatore deve fare due inferenze per scoprire il valore di T. Innanzitutto, deve vedere che il tipo generico del tipo costruito è un antenato del tipo generico di TList<T>; e deve anche corrispondere al parametro di tipo T nella lista dei parametri di tipo del tipo costruito con il tipo concreto Intero nell'antenato di TList<T>.