Declaración de devolución después de lanzar una excepción en C#

Question

La siguiente función de la clase Systems.Collections.Generic.Dictionary tiene return statement después de lanzar una excepción, ¿alguien tiene alguna idea de por qué?

public TValue this[TKey key] { 
     get { 
      int i = FindEntry(key); 
      if (i >= 0) return entries[i].value; 
      ThrowHelper.ThrowKeyNotFoundException(); 
      **return default(TValue);** 
     } 
     set { 
      Insert(key, value, false); 
     } 
    } 

Answer 1

pesar de que el

ThrowHelper.ThrowKeyNotFoundException(); 

hace Ciertamente lanzar una excepción, el compilador no es lo suficientemente sofisticada como para demostrar que se no hacer nada más. Y como no puede probar que la función nunca regresa, debe suponerse que podría devolver.

Eric Lippert acaba de terminar una miniserie en su blog titulada "Never Say Never" sobre este mismo tema.

http://blogs.msdn.com/b/ericlippert/archive/2011/02/21/never-say-never-part-one.aspx

Resulta que este es un caso simple de la Halting Problem, que se ha demostrado que es indecidible sobre las máquinas de Turing.

Answer 2

Está forzado a que, dado que el método en sí no está arrojando directamente, el ThrowHelper sí lo está. El compilador no tiene forma de saber esto, así que para satisfacer al compilador se agrega el return default(TValue);, aunque nunca se invocará.