Wie handhaben „nicht alle Codepfade einen Wert zurückgeben“, wenn die Logik der Funktion eine Rückkehr nicht gewährleistet

Question

Ich nehme an der einfachste Weg, durch ein konstruiertes Beispiel zu erklären ist:

public static int Fail() { 
    var b = true; 
    if (b) { 
     return 0; 
    } 
} 

Dieser Code wird nicht kompiliert und gibt den Fehler "nicht alle Codepfade geben einen Wert zurück", während wir Menschen klar sehen können, dass dies der Fall ist. Ich verstehe warum. Meine Frage ist, was getan werden sollte, um die Situation zu verbessern. Es könnte so etwas sein:

public static int Fail() { 
    var b = true; 
    if (b) { 
     return 0; 
    } 
    throw new ApplicationException("This code is unreachable... but here we are."); 
} 

Aber alles scheint nur ziemlich albern. Gibt es einen besseren Weg? Auch dieser Code ist ein künstliches Beispiel (und kann auf return 0 reduziert werden). Mein tatsächlicher Code ist massiv und komplex, liefert aber logischerweise (durch mathematischen Beweis) einen Wert, bevor er versucht, zu beenden.

Answer 1

C# -Code-Flow-Analyse ist begrenzt und wie Ihr Beispiel zeigt, gibt es Fälle, in denen alle Pfade zurückgeben, aber der Compiler kann es nicht erkennen. Eine Ausnahmeregelung ist unter diesen Umständen ein akzeptables Mittel.

Ich würde keine Rückgabe eines Standardwerts verwenden, um diesen Fehler zu beheben. Sie arbeiten unter der Annahme, dass die Zeile nie gegen den Rat des Compilers getroffen wird. Überlegen Sie für eine Sekunde, dass Ihre Analyse falsch ist und die Ausführung bis zum Ende der Methode fortgesetzt werden kann. Wenn Sie einen Standardwert zurückgeben, haben Sie keine Anzeichen für das Problem. Die Methode gibt nur schlechte Daten zurück. Durch das Auslösen einer Ausnahme wird deutlich, dass ein Problem vorliegt.

In diesen Fällen ist es jedoch meine Vorliebe, den Code einfach neu zu schreiben, so dass der Compiler sehen kann, dass alle Pfade enden. Im Allgemeinen habe ich festgestellt, dass, wenn die Methode so komplex ist, dass der Compiler nicht folgen kann, der Typ, der den Code nach mir aufnimmt, auch nicht in der Lage sein wird, ihm zu folgen.

Answer 2

Der Compiler führt keine komplexen mathematischen Prozesse durch, um sicherzustellen, dass Sie einen Wert zurückgeben, es ist in dieser Hinsicht ein relativ dummes Biest.

Wenn Sie sich Ihrer Annahmen sicher sind, fügen Sie einfach am Ende return 0; mit einem Kommentar hinzu, der die Realität angibt, dass sie niemals erreicht wird.

Natürlich kann jeder Code, wo es garantiert werden kann, die endgültige Bedingung wahr sein, kann nur die Bedingung entfernt haben, wie Sie bereits festgestellt haben. Das ist mathematisch auch für komplexe Fälle zutreffend. Sie könnten also Ihren Code umgestalten, um das zu berücksichtigen ohne eine überflüssige Rückkehr.

Answer 3

Es gibt in der Regel ein paar Klassen von Programmierern:

1. Sie die ganzen zurückzukehren.
2. Sie, die nur am Ende einer Funktion/Methode zurückkehren.

Erster Ansatz:

public static int Fail() { 
    var b = true; 
    if (b) 
    return 0; 

    return 1; 
} 

Ich ziehe normalerweise die zweite Ansatz, da es einfacher ist, schnell zu sehen, wo eine Funktion/Methode zurückgibt.

public static int Fail() { 
    var b = true; 
    var returnValue = 1: 
    if (b) 
    returnValue = 0; 

    return returnValue; 
} 

Answer 4

Ich denke, Ihre aktuelle Vorgehensweise ist richtig. Die Rückgabe eines Standardwerts am Ende der Methode ist riskant, da bei einem Fluss in Ihrer Logik diese Anweisung erreicht werden könnte, was unbeabsichtigte Konsequenzen haben könnte.Wenn Sie eine Ausnahme auslösen, können Sie den Fehler erkennen.

Answer 5

sehr spät Antwort, aber ich kann ein Szenario vorstellen, in dem die Funktion nicht wissen, was zurückzukehren:

1) Führen Sie Schritt für Schritt den Debugger

2) Schritt über var b = true;

mit

3) Wenn if (b) { erreicht ist, setzen Sie b = false in die Uhr. Es wird sowohl false zurückkehren und weist b = false

4) Schritt über (über if)

5) Ende der Funktion erreicht ist, keine Rückkehr gibt es

Aus dieser Perspektive ist return dies unbedingt erforderlich ist.