Pregunta sobre llamadas ambiguas en C#

Question

Tengo una pregunta que no es realmente un problema, pero algo que me hizo un poco de curiosidad.

Tengo una clase con dos métodos en ella. Uno es un método estático y el otro es un método de instancia. Los métodos tienen el mismo nombre.

public class BlockHeader 
{ 
    public static BlockHeader Peek(BinaryReader reader) 
    { 
     // Create a block header and peek at it.   
     BlockHeader blockHeader = new BlockHeader(); 
     blockHeader.Peek(reader); 
     return blockHeader; 
    } 

    public virtual void Peek(BinaryReader reader) 
    { 
     // Do magic. 
    } 
} 

Cuando intento para construir mi proyecto me da un error diciendo:

La llamada es ambigua entre las siguientes métodos o propiedades: 'MyApp.BlockHeader.Peek (System.IO. BinaryReader)' y 'MyApp.BlockHeader.Peek (System.IO.BinaryReader)'

sé que las firmas de los métodos son vir Tually lo mismo, pero no veo cómo podría llamar a un método estático directamente desde un miembro de instancia.

Supongo que hay una muy buena razón para esto, pero ¿alguien sabe cuál es esa razón?

Answer 1

La política general del diseño de C# es forzarlo a especificar donde haya una posible ambigüedad. Frente a las herramientas de refactorización que nos permiten replantear si las cosas son estáticas o no en un abrir y cerrar de ojos, esta postura es excelente, especialmente en casos como este. Verá muchos otros casos como este (reemplazo frente a virtual, nuevo para sombreado, etc.).

En general, quitar este tipo de espacio por confusión hará que el código sea más claro y lo obliga a mantener su casa en orden.

EDIT: A good post from Eric Lippert discusses another reason for this ambiguity leading to the error you saw

Answer 2

Creo que no hay ninguna razón técnica para no permitir que, pero se hace más que para proteger el programador de sí mismo. Consideremos el siguiente ejemplo:

public static void Main() 
{ 
    BlockHeader BlockHeader = new BlockHeader(); 
    BlockHeader.Peek(); 
} 

El ejemplo anterior es perfectamente válido, pero si la situación que describes se permitiera, sería legible? ¿Podría ver, en un abrir y cerrar de ojos, si se llamó al método de instancia o al método estático?

Answer 3

Aquí hay un extracto de la especificación del lenguaje C# 3.0.

La firma de un método debe ser única en la clase en la que se declara el método. La firma de un método consiste en el nombre del método, el número de parámetros de tipo y el número, modificadores y tipos de sus parámetros. La firma de un método no incluye el tipo de devolución.

El modificador "estático" no es parte de la firma, por lo que su ejemplo infringe esta regla de firmas únicas.

No sé la razón detrás de la regla, sin embargo.