为什么Golang标准库可在变量定义前引用，自行仿写却报错？

核心原因是Go对包级全局变量和函数内局部变量的声明解析规则完全不同：

1. 包级变量的解析逻辑 #

Go编译器处理包级声明时，会先扫描当前包所有的顶层变量、类型、函数声明，完成符号登记之后再处理变量的初始化表达式。也就是说包级变量的声明先后顺序不影响互相引用，只要符号确实在当前包的顶层存在即可。
标准库中DefaultServeMux和defaultServeMux都是net/http包的顶层变量，所以哪怕DefaultServeMux的初始化表达式用到了写在后面的defaultServeMux，编译器已经提前识别到这个符号的存在，不会报未定义错误。
同时Go的包级变量初始化顺序会按照依赖关系自动推导：defaultServeMux是零值初始化没有额外依赖，会优先完成初始化，之后再把它的地址赋值给DefaultServeMux，逻辑完全合法。

2. 函数内局部变量的解析逻辑 #

函数内的局部变量是顺序解析的，编译器只会按代码书写顺序逐行扫描，不会提前读取后续的局部变量声明。你仿写的代码把两个变量都放在了main函数内部，当扫描到var DefaultServeMux = &defaultServeMux这一行时，后面的var defaultServeMux ServeMux还没被处理，编译器自然会报undefined: defaultServeMux的错误。

如果你要仿写标准库的逻辑，只需要把变量提到包级即可正常运行：

package main

import "fmt"

type ServeMux struct {
    hosts string
}

var DefaultServeMux = &defaultServeMux
var defaultServeMux ServeMux

func main(){
    fmt.Printf("print [%s]\n", DefaultServeMux.hosts)
}

上述代码运行会输出空字符串，符合预期。

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