Uso extraño de genéricos

Question

Después de un poco de programación, una de mis clases usaba genéricos de una manera que nunca antes había visto. Me gustaría obtener algunas opiniones sobre esto, si es una codificación incorrecta o no.

abstract class Base<T> : where T : Base<T> 
{ 
    // omitted methods and properties. 
    virtual void CopyTo(T instance) { /*code*/ } 
} 

class Derived : Base<Derived> 
{ 
    override void CopyTo(Derived instance) 
    { 
     base.CopyTo(instance); 
     // copy remaining stuff here 
    } 
} 

¿Es este un uso correcto de los genéricos o no? Estoy pensando principalmente en la restricción para "sí mismo". A veces siento que los genéricos pueden "explotar" en otras clases donde utilizo la clase Base.

Answer 1

Sí, esto es razonable: tengo algo similar en mi puerto Protocol Buffers (excepto que es más complicado, ya que hay dos tipos de referencias mutuas).

Tiene toda la razón sobre los genéricos que a veces terminan propagándose en la base de códigos: lo que ha hecho aquí significa que los bits de código que solo se preocupan por Derived que tienen una API adecuada no necesitan preocuparse por los genéricos .

Mi consejo es tratar de mantenerlo simple siempre que sea posible, pero en los casos en que una restricción genérica "extraña" realmente describa lo que usted desea, vaya para ello. Debe tener en cuenta que esto no fuerza uso válido aunque - usted puede fácilmente tiene:

class Banana : Base<Derived> 

y que sería válida, aunque rara y probablemente inesperada para los usuarios.

Es posible que también desee considerar el sellado Derived aquí; si deriva más, es probable que termine con un comportamiento extraño (o al menos una API impar).