¿Error del compilador C# ?: No detecta métodos que siempre arrojan excepciones

Question

¿Por qué el compilador de MS C# se queja de que "no todas las rutas de códigos devuelven un valor" en el siguiente escenario?

public int Foo(bool flag) 
{ 
    if(flag) 
    { 
     return 1; 
    } 
    else 
    { 
     ThrowException(); // this method always throws an exception 

     // return -1; // why do I need to add this code that will never be called? 
    } 
} 

Gracias!

Answer 1

No se puede adivinar que ThrowException() es un método que siempre arroja excepciones. Para eso, necesitarías un análisis de código estático.

El análisis del código estático está disponible en VS 2010, pero solo para las versiones más caras de VS, creo.

Answer 2

La rama else no tiene una declaración return. Eso significa que Foo no devuelve un valor al ingresar a la rama else.

¿Por qué no hacer:

public int Foo(bool flag) 
{ 
    if (!flag) { 
     ThrowException(); 
    } 

    return 1; 
} 

Por cierto que siempre sienten que la validación se debe hacer primero.

Answer 3

El mensaje de error lo dice todo: no todas las rutas de códigos devuelven un valor. Creo que el propósito de ThrowException() es lanzar una excepción. Si lo hace, puedo ver cómo el mensaje de error parece extraño. Sin embargo, considere la consecuencia de aceptar esto como un código válido. Si la implementación de ThrowException() se modificó en un momento posterior para dejar de emitir una excepción, el código anterior fallará de repente, y eso probablemente sea una gran sorpresa. El compilador está escogiendo el camino seguro aquí.