Warum warnt der Compiler nicht vor fehlerhaften Formatierern?

Warum warnt der Compiler nicht vor fehlerhaften Formatierern? In der Programmierung ist ein Formatierer ein Werkzeug zur Verschönerung von Code. Es kann die Einrückung, Leerzeichen, Zeilenumbrüche usw. des Codes automatisch anpassen, um den Code besser lesbar zu machen. Allerdings kann es manchmal vorkommen, dass uns Formatierungsfehler wie fehlende Klammern, zusätzliche Semikolons usw. unterlaufen. Obwohl diese Fehler zu logischen Fehlern im Code führen können, warnt der Compiler häufig nicht vor diesen Fehlern. Warum warnt der Compiler also nicht vor diesen fehlerhaften Formatierern? Die Hauptaufgabe des Compilers besteht zunächst darin, den Quellcode in ausführbaren Maschinencode umzuwandeln. Er prüft, ob Syntaxfehler vorliegen, um die Richtigkeit des Codes sicherzustellen. Allerdings handelt es sich bei Formatierungsfehlern eher um semantische als um syntaktische Fehler. Mit anderen Worten: Diese Fehler haben keinen Einfluss auf die Ausführbarkeit des Codes, sondern machen ihn lediglich schlechter lesbar. Daher besteht für den Compiler keine Verpflichtung, vor diesen Fehlern zu warnen. Zweitens sind Formatierungsfehler oft subjektiv und verschiedene Entwickler haben unterschiedliche Codierungsstile und Vorlieben. Manche Leute verwenden beispielsweise gerne geschweifte Klammern in ihrem Code, andere dagegen nicht. Der Compiler kann nicht feststellen, welcher Stil korrekt ist, und kann daher nicht vor Formatierungsfehlern warnen. Abschließend möchten wir Sie darauf hinweisen, dass Formatierungsfehler zu einer großen Anzahl falsch positiver Ergebnisse führen können. In großen Projekten ist der Code oft sehr groß und ein kleiner Formatierungsfehler kann Tausende von Warnungen verursachen. Dies wird nicht nur den Entwicklern Ärger bereiten, sondern auch die Codewartung erschweren. Um diesen

Frageinhalt

zu vermeiden, habe ich erwartet, dass der folgende Code während der Kompilierung zumindest eine Warnung ausgibt, da der Formatierer nicht mit dem Typ der Variablen übereinstimmt:

package main

import "fmt"

func main() {
    s := "hello"
    fmt.printf("1 %w", s)
    fmt.printf("2 %s", s)
}

Der Typ der Variablen ist zur Kompilierzeit bekannt und der String-Formatierer analysiert sie auf deterministische Weise – gibt es einen Grund, warum der Fehler an dieser Stelle nicht auftritt?

Was ich bekam, war der Ausgabecode

1 %!w(string=hello)2 hello

Dies scheint eine Art Meldung zu sein, die besagt, dass %w für den Typ string falsch ist (aber nur zur Laufzeit) %w 对于 string 类型是错误的（但仅在运行时）

解决方法

fmt.printf

Problemumgehung

fmt.printf </ Code> Formatzeichenfolgenparameter werden zur Laufzeit interpretiert, nicht zur Kompilierungszeit. <p> <div class="code" style="position:relative; padding:0px; margin:0px;"><pre class='brush:php;toolbar:false;'>func printf(format string, a ...any) (n int, err error)</pre><div class="contentsignin">Nach dem Login kopieren</div></div> <code>go vetprintf formatiert und schreibt gemäß einem Formatbezeichner in die Standardausgabe. Es gibt die Anzahl der geschriebenen Bytes und alle aufgetretenen Schreibfehler zurück.

Verwenden Sie einen statischen Analyse-Linter wie .

go-Befehl – ​​cmd/go – go-Paket

Mögliche Fehler im Paket melden

Verwendung:

go vet [-n] [-x] [-vettool prog] [build flags] [vet flags] [packages]

vet Führt den Befehl go vet für das Paket aus, das im Importpfad benannt ist.

Weitere Informationen zum Tierarzt und seinen Flags finden Sie unter „go doc cmd/vet“.

so.go:

package main

import "fmt"

func main() {
    s := "hello"
    fmt.printf("1 %w\n", s)
    fmt.printf("2 %s\n", s)
}

Linter-Check:🎜

$ go vet so.go
./so.go:7:2: fmt.printf format %w has arg s of wrong type string, 
             see also https://pkg.go.dev/fmt#hdr-printing
$

🎜Laufzeit: 🎜

$ go run so.go
1 %!w(string=hello)
2 hello
$

Das obige ist der detaillierte Inhalt vonWarum warnt der Compiler nicht vor fehlerhaften Formatierern?. Für weitere Informationen folgen Sie bitte anderen verwandten Artikeln auf der PHP chinesischen Website!