Genéricos, polimorfismo, interfaces: ¿cuál es la solución?

Question

Sé que el título es muy amplio, abarcando mucho.

Y espero que esta pregunta pueda evolucionar a una mayor "información wiki thingy" sobre los temas.

Lo que he aprendido - hasta ahora:

• Al utilizar los genéricos - Comprender los conceptos (covariance and contravariance).
• Do NOT "mis-use" el concepto de genéricos combinado con la herencia. ¡Lo hice y podría hacerte enfrentar directamente los problemas de covarianza! Asegúrese de "interrumpir" el genérico en el punto correcto de su herencia, si está combinando los dos.

(corríjame si crees que me equivoco, me falta algo o no he entendido nada).

Mi problema era:

Pero por ahora he pasar horas y horas, tratando de averiguar, cómo resolver este "gran rompecabezas" Tengo en mi escritorio. Y ya obtuve algunas buenas respuestas de varios de ustedes usuarios de SO, pero ahora es el momento de obtener algo que funcione en una escala mayor.

me aventuré en los genéricos con éste: Generics and Polymorphism working together

y ahora estoy un poco atascado en este caso: Situations where Generics won't work

Por qué termino con problemas de covarianza - es debido a mi clase de procedimiento mi jerarquía

Así que me pregunto si Interfaces es mi próximo movimiento audaz en esta "saga". ¿Cómo se puede "pasar" por un problema de covarianza? Una cosa es descubrir que realmente tiene este problema; otra cosa es "cómo solucionarlo".

Así que si cualquiera de ustedes, buena gente, "por ahí" tiene alguna opinión sobre esto, soy todo oídos. Básicamente: Dime que vaya por Interfaces (nunca he hecho uno desde cero). O .. arrojame un hueso en la dirección que sugieras.

Mi grupo de fuentes actual es como se indica en el segundo enlace, desde la parte superior.

Aquí hay un pequeño fragmento de mi anterior post que muestra mi problema de covarianza. David amablemente explicado - ¿Por qué me topé con el arbusto ... pero ahora necesito información sobre cómo manejarlo?

var  
    aList : TBaseList<TBaseObject>; // used as a list parameter for methods 
    aPersonList : TPersonList<TPerson>; 
    aCustomerList : TCustomerList<TCustomer>; 
begin 
    aPersonList := TPersonList<TPerson>.Create; 
    aCustomerList := TCustomerList<TCustomer>.Create; 

    aList := aCustomerList; <-- this FAILS !! types not equal .. 

end; 

Saludos

Answer 1

No puede hacer lo que quiere hacer, pero esa no es la forma en que usa los genéricos de todos modos. Como dijo Rob Kennedy, no tiene sentido tener un TCustomerList<TCustomer> y un TPersonList<TPerson>. La belleza de los genéricos es que puedes usar la misma lista para diferentes tipos de elementos. Eso significa que la lista y el tipo de elemento no debe tener ninguna dependencia.

Usted puede hacer algo como:

procedure TSomething.ProcessList<T: TBaseObject>(const aList: TBaseList<T>); 
begin 
    // process the list using code that is independent of the actual type of T. 
end; 

... 

var 
    aCustomerList: TBaseList<TCustomer>; 
    aPersonList: TBaseList<TPerson>; 
begin 
    ProcessList(aCustomerList); 
    ProcessList(aPersonList); 

Tal vez puede que tenga que especificar T (algunas versiones anteriores de los genéricos no manejar la inferencia de tipos - es decir, que se infiere del tipo de T con el tipo de el parámetro - muy bien), es decir,

ProcessList<TCustomer>(aCustomerList); 
    ProcessList<TPerson>(aPersonList); 

Pero eso, o algo similar, es lo que debe hacer. Cualquier otra cosa no tiene sentido, IMO. No es necesario tener una variable que pueda contener cualquiera de estas listas, como su aList. Y si realmente lo necesita, solo puede usar TObject, pero eso no le permite usar la lista de ninguna manera útil. Y no es muy genérico.

Las interfaces no le ayudarán en absoluto con este problema. Puede dar a las clases ciertas capacidades, es decir, también los elementos de las listas, a través de interfaces (otro tipo de polimorfismo). Pero eso no manejará la covarianza.

Answer 2

Yo iría por:

TCustomCustomerList = class(TBaseList<TBaseObject>) 
end; 

TCustomerList = class(TCustomCustomerList) 
end; 

Si es o no es aceptable en su diseño es una cuestión totalmente diferente. Si el objetivo que intenta lograr es asignar una TCustomerList a una variable TBaseList, ese sería el camino a seguir.