¿Cuál es el uso de "anulación abstracta" en C#?

Question

Solo por curiosidad intenté sobreescribir un método abstracto en la clase base, y el método de la implementación abstracta. Como continuación:

public abstract class FirstAbstract 
{ 
    public abstract void SomeMethod(); 
} 

public abstract class SecondAbstract : FirstAbstract 
{ 
    public abstract override void SomeMethod(); 
    //?? what sense does this make? no implementaion would anyway force the derived classes to implement abstract method? 
} 

la curiosidad de saber qué compilador de C# permite escribir 'anulación abstracta'. ¿No es redundante? Debería haber un error de tiempo de compilación para hacer algo como esto. ¿Sirve para algún caso de uso?

Gracias por su interés.

Answer 1

Hay un ejemplo útil para esto en MSDN - básicamente puede forzar una clase derivada para proporcionar una nueva implementación para un método.

public class D 
{ 
    public virtual void DoWork(int i) 
    { 
     // Original implementation. 
    } 
} 

public abstract class E : D 
{ 
    public abstract override void DoWork(int i); 
} 

public class F : E 
{ 
    public override void DoWork(int i) 
    { 
     // New implementation. 
    } 
} 

Si un método virtual se declara abstracta, todavía es virtual a cualquier clase que hereda de la clase abstracta. Una clase que hereda un método abstracto no puede acceder a la implementación original de la método -en el ejemplo anterior, DoWork en clase F no puede llamar DoWork en clase D. De esta manera, una clase abstracta puede obligar a las clases derivadas a proporcionar nuevas implementaciones de métodos para los métodos virtuales.

Answer 2

Esto se hace porque en la clase de niños no se puede tener el método abstract con el mismo nombre que en la clase base. override le dice al compilador que está anulando el comportamiento de la clase base.

Espero que esto es lo que estás buscando.

Answer 3

Imagínese que SecondAbstract está en el medio de una jerarquía de tres clases, y se quiere implementar algunos métodos abstractos de su base FirstAbstract, dejando algún otro método X a implementarse a partir de su niño ThirdAbstract.

En este caso, SecondAbstract está obligado a decorar el método X con abstract ya que no desea proporcionar una implementación; al mismo tiempo, se ve obligado a decorarlo con override ya que no está definiendo un nuevo método X, pero quiere transferir la responsabilidad de implementar X a su hijo. Por lo tanto, abstract override.

En general, los conceptos modelados por abstract y override son ortogonales. Las primeras fuerzas derivaron clases para implementar un método, mientras que la segunda reconoce que un método es el mismo que el especificado en una clase base y no un new.

Por lo tanto:

• ni palabra clave: método "simple"
• abstract solamente: clase derivada debe aplicar
• override única: aplicación de método definido en la clase base
• abstract override: clase derivada debe implementar un método definido en la clase base

Answer 4

Si no declaró SomeMethod como abstract override en SecondAbstract, el compilador esperaría que esa clase contenga una implementación del método. Con abstract override está claro que la implementación debe estar en una clase derivada de SecondAbstract y no en el propio SecondAbstract.

Espero que esto ayude ...

Answer 5

Curiosamente, la versión Roslyn del compilador de C# tiene un método de reemplazo resumen en ella, lo cual me pareció bastante extraño para escribir un artículo sobre: ​​

http://ericlippert.com/2011/02/07/strange-but-legal/

Answer 6

Encuentro realmente útil para asegurar la implementación correcta de ToString() en las clases derivadas. Supongamos que tiene una clase base abstracta y realmente desea que todas las clases derivadas definan la implementación ToString() defectuosa porque la está utilizando activamente. Usted puede hacer que sea muy elegante con abstract override:

public abstract class Base 
{ 
    public abstract override string ToString(); 
} 

es una señal clara a los ejecutores que ToString() se utilizarán en la clase base de alguna manera (como la escritura de salida para el usuario). Normalmente, no pensarían en definir esta anulación.

Answer 7

Este patrón de diseño se conoce como el patrón de Método de plantilla.

Wikipedia page on Template Methods

Un simple, ejemplo no software: Hay un montón de unidades militares: tanques, aviones, soldados, buques de guerra, etc. Todos ellos necesitan para poner en práctica algunos métodos comunes pero van a poner en práctica de manera muy diferente :

• Mover()
• Ataque()
• Retiro()
• Resto()

etc ...