Fehlende Return-Anweisung in der bedingten for-Schleife

In PHP ist die for-Schleife eine gängige Iterationsstruktur, die zum wiederholten Ausführen eines Codeabschnitts verwendet wird. Manchmal vergessen wir jedoch möglicherweise, eine Return-Anweisung in eine bedingte for-Schleife einzufügen, was dazu führt, dass das Programm die Ergebnisse nicht normal zurückgibt. In diesem Fall empfiehlt PHP-Editor Yuzai, den Code rechtzeitig zu überprüfen, um sicherzustellen, dass der Schleife entsprechende Return-Anweisungen hinzugefügt werden, um unerwartete Fehler zu vermeiden. Dies kann die Zuverlässigkeit und Korrektheit des Codes sicherstellen und die Effizienz und Wartbarkeit des Programms verbessern.

Frageninhalt

Mir ist aufgefallen, dass der Compiler beim Schreiben des folgenden Codes missing return statements 错误:

// Similar loops make sense in retry patterns
// but this is just a simple example
func TestMethod() int {
    for i := 0; i < 10; i++ {
        return 0
    }
}

In diesem Fall wird Folgendes fehlerfrei kompiliert:

func TestMethod() int {
    for {
        return 0
    }
}

Der erste Code ist logisch und technisch in Ordnung, da es unmöglich ist, dass die Methode fehlschlägt. Gibt es einen Grund, warum der Compiler diesen Fehler anzeigt? Oder liegt es an einer fehlenden Logik oder einem Fehler?

Workaround

Wenn man den Kommentar von @Cerise Limón zu einer Antwort erweitert, ist die Behauptung, dass „der erste Code... technisch in Ordnung ist“, falsch.

Die Go-Sprachspezifikation besagt Folgendes:

Außerdemund das:

(Hervorhebung von mir hinzugefügt)

Wenn wir den Code in der ersten Funktion untersuchen, können wir erkennen, dass diese Bedingungen der Spezifikation nicht erfüllt sind:

func TestMethod() int {
    for i:= 0; i < 10; i++ {
        return 0
    }
}

Die Funktion verfügt über einen Ergebnisparameter (int 返回值），因此必须以终止语句结束，但该函数的最终语句是 for Anweisung mit einer Bedingung , d. h. ist keine „Abschlussanweisung“ im Sinne der Spezifikation.

func TestMethod() int {
    for {
        return 0
    }
}

func foo() int {
    for {
        if false {
            break
        }
        return 0
    }
    // <-- error: missing return
}