为何Go编译器不对错误的格式化符发出编译警告？

先看这段代码：

package main

import "fmt"

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

运行时输出：

1 %!w(string=hello)2 hello

这里%w是专门用于包装错误类型的格式化符，和字符串类型不匹配，但Go编译阶段既不报错也不警告，要到运行时才给出提示，核心原因有这几点：

• 格式化字符串可能动态生成：Go允许格式化字符串来自变量、外部配置等动态来源，编译阶段根本无法预知最终的格式化内容。如果只对字面量的格式化字符串做静态检查，会导致规则不一致——同样的代码，用字面量会报错，用变量就不会，反而让开发者混乱。
• 编译速度优先的设计哲学：Go一直强调快速编译，而fmt的格式化规则非常复杂（支持几十种格式化符、宽度、精度等组合），要在编译阶段做全量静态校验，会大幅增加编译时间，违背Go的设计初衷。
• 运行时容错的设计：fmt包被设计成在运行时兼容不匹配的情况，输出明确的错误提示而非直接崩溃，这样程序可以继续执行，方便开发者定位问题。

如果想要在编译前发现这类问题，可以用staticcheck、golint这类第三方静态分析工具，它们能识别字面量格式化字符串和参数类型不匹配的情况，提前给出警告。

内容的提问来源于stack exchange，提问作者WoJ