Compilateur nécessitant une valeur de retour - Ne pas remarquer d'exception inconditionnelle dans la méthode appelée

Question

Pourquoi le compilateur C# n'est pas assez intelligent dans le scénario suivant?

void ThrowEx() { 
     throw new Exception(); 
    } 

    int Test() { 
     ThrowEx(); 
    } 

... Test(): tous les chemins de code renvoient une valeur

Edit: dans la pratique, je veux extraire la logique lancer exception dans une méthode distincte parce que je suis fatigué taper des choses comme throw new FaultException<MyCustomFault>(new MyCustomFault(), "cannot validate the input");

Answer 1

Il ne regarde pas entre les méthodes; pas moins, la méthode pourrait être dans un assemblage différent et pourrait changer sans reconstruire, ou pourrait être virtuelle, extern, abstraite ou partielle - il serait déroutant de repérer seulement un petit nombre de cas.

Vous pourriez avoir le retour ThrowEx "int", puis:

return ThrowEx(); 

qui rendrait le compilateur heureux. Ou utiliser les médicaments génériques:

static T ThrowEx<T>() {...} 
... 
return ThrowEx<int>(); 

Answer 2

ThrowEx() est vide. Le compilateur le sait et détermine qu'il n'y a pas de valeur de retour pour la méthode Test(). Le compilateur est conçu pour tester votre production de méthode réussie. L'injection d'une exception levée en tant que réponse valide n'est pas une attente raisonnable du compilateur.

Answer 3

, entre autres, l'API Debugger ou Profiler peut permettre de jeter l'exception ThrowEx à sauter, à quel point le comportement de test serait défini.

Answer 4

Et comment voulez-vous que le compilateur pour traiter les cas tels que

void ThrowEx() { 
    decimal i = ... get 1 from app config; 
    decimal div = ... get 0 from app confid 
    decimal randomNumber = i/div; 
    do some other stuff.... 
} 

int Test() { 
    ThrowEx(); 
}