Mengapa pengkompil tidak memberi amaran tentang pemformat yang buruk?

Mengapa pengkompil tidak memberi amaran tentang pemformat yang buruk? Dalam pengaturcaraan, pemformat ialah alat yang digunakan untuk mencantikkan kod. Ia boleh melaraskan lekukan, ruang, pemisah baris, dsb. kod secara automatik untuk menjadikan kod lebih mudah dibaca. Walau bagaimanapun, kadangkala kami mungkin membuat beberapa ralat pemformat, seperti kurungan hilang, koma bertitik tambahan, dsb. Walaupun ralat ini boleh membawa kepada ralat logik dalam kod, pengkompil selalunya tidak memberi amaran tentang ralat ini. Jadi mengapa pengkompil tidak memberi amaran tentang pemformat yang buruk ini? Pertama sekali, tugas utama pengkompil adalah untuk menukar kod sumber kepada kod mesin boleh laku Ia akan menyemak ralat sintaks untuk memastikan ketepatan kod. Walau bagaimanapun, ralat pemformat cenderung kepada ralat semantik dan bukannya ralat sintaksis. Dalam erti kata lain, ralat ini tidak menjejaskan kebolehlaksanaan kod, ia hanya menjadikan kod kurang boleh dibaca. Oleh itu, pengkompil tidak mempunyai kewajipan untuk memberi amaran tentang ralat ini. Kedua, ralat pemformat selalunya subjektif, dan pembangun yang berbeza mempunyai gaya dan pilihan pengekodan yang berbeza. Sebagai contoh, sesetengah orang suka menggunakan pendakap dalam kod mereka, manakala yang lain tidak. Pengkompil tidak dapat menentukan gaya yang betul dan oleh itu tidak boleh memberi amaran tentang ralat pemformat. Akhir sekali, beri amaran bahawa ralat pemformat mungkin menghasilkan sejumlah besar positif palsu. Dalam projek besar, saiz kod selalunya sangat besar, dan ralat pemformat kecil boleh menyebabkan beribu-ribu amaran. Ini bukan sahaja akan menyebabkan masalah kepada pembangun, tetapi juga meningkatkan kesukaran penyelenggaraan kod. Untuk mengelakkan

kandungan soalan

ini, saya menjangkakan bahawa kod berikut sekurang-kurangnya akan mengeluarkan amaran semasa penyusunan kerana pemformat tidak konsisten dengan jenis pembolehubah:

package main

import "fmt"

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

Jenis pembolehubah diketahui pada masa penyusunan dan pemformat rentetan menghuraikannya dengan cara yang pasti - adakah terdapat sebab mengapa ralat tidak dibangkitkan pada ketika ini?

Apa yang saya dapat ialah kod output

1 %!w(string=hello)2 hello

Ini nampaknya sejenis mesej yang memberitahu %w adalah salah untuk jenis string (tetapi hanya pada masa jalan) %w 对于 string 类型是错误的（但仅在运行时）

解决方法

fmt.printf

Penyelesaian

fmt.printf </ kod> Format rentetan parameter ditafsirkan pada masa jalan, bukan masa penyusunan. <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">Salin selepas log masuk</div></div> <code>go vetprintf memformat dan menulis kepada output standard mengikut penentu format. Ia mengembalikan bilangan bait yang ditulis dan sebarang ralat tulis yang dihadapi.

Gunakan linter analisis statik seperti .

perintah pergi - cmd/go - pakej pergi

Laporkan kemungkinan pepijat dalam pakej

Penggunaan:

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

vet Menjalankan arahan go vet pada pakej yang dinamakan mengikut laluan import.

Untuk maklumat lanjut tentang doktor haiwan dan benderanya, lihat "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)
}

Semak Liter:🎜

$ 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
$

🎜Masa tayangan: 🎜

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

Atas ialah kandungan terperinci Mengapa pengkompil tidak memberi amaran tentang pemformat yang buruk?. Untuk maklumat lanjut, sila ikut artikel berkaitan lain di laman web China PHP!