¿Por qué son TGeneric <Base> y TGeneric <Descendant> tipos incompatibles?

Question

he empezado a utilizar de los genéricos en Delphi 2010, pero tengo un problema al compilar este pedazo de código:

TThreadBase = class(TThread) 
... 
end; 

TThreadBaseList<T: TThreadBase> = class(TObjectList<T>) 
... 
end; 

TDataProviderThread = class(TThreadBase) 
... 
end; 

TDataCore = class(TInterfacedObject, IDataCore) 
private 
    FProviders: TThreadBaseList<TDataProviderThread>; 
... 
end; 

entonces tengo algún procedimiento anidado:

procedure MakeAllThreadsActive(aThreads: TThreadBaseList<TThreadBase>); 
begin 
... 
end; 

Y por último quiero llamar este procedimiento anidado en el código de la clase TDataCore:

MakeAllThreadsActive(FProviders); 

Pero compilador no quieren compilar y dice (' <>' soportes se sustituyen por '()'):

[Error DCC] LSCore.pas (494): E2010 tipos incompatibles: 'TThreadBaseList (TThreadBase)' y 'TThreadBaseList (TDataProviderThread)'

No lo entiendo aunque TDataProviderThread es descendiente de TThreadBase.

tuve que solucionarlo por encasillamiento duro:

MakeAllThreadsActive(TThreadBaseList<TThreadBase>(FProviders)); 

¿Alguien sabe por qué el compilador dice este error?

Answer 1

TDataProviderThread es un descendiente de TThreadBase, pero TThreadBaseList<TDataProviderThread> no es un descendiente de TThreadBaseList<TThreadBase>. Eso no es herencia, se llama covarianza, y aunque parezca intuitivamente lo mismo, no lo es y debe admitirse por separado. Por el momento, Delphi no lo admite, aunque con suerte lo hará en una versión futura.

Aquí está la razón básica para el problema de covarianza: si la función a la que lo pasa espera una lista de objetos TThreadBase, y le pasa una lista de objetos TDataProviderThread, no hay nada que impida que llame. Agregue y pegue algunos otro objeto TThreadBase en la lista que no es un TDataProviderThread, y ahora tienes todo tipo de problemas desagradables. Necesita trucos especiales del compilador para asegurarse de que esto no pueda suceder, de lo contrario, perderá la seguridad de su tipo.

EDIT: He aquí una posible solución para usted: Hacer MakeAllThreadsActive en un método genérico, como esto:

procedure MakeAllThreadsActive<T: TThreadBase>(aThreads: TThreadBaseList<T>); 

O usted podría hacer lo que sugirió Uwe Raabe. Cualquiera de los dos funcionará.

Answer 2

El tipo

TList <TBase> 

no es el tipo de matriz de

TList <TChild> 

genéricos no pueden ser utilizados de esa manera.