golang中的xg作用

前面的文章里大概说过一些如何阅读xg的源代码的东西，但是后来由于太懒了，总是不想写一些很系统的东西，所以感觉还是把一些值得说的大概写一点，做个备忘。

 

事实上xg的通用的内容都被放在了src/cmd/gc里，而整个编译阶段最重要的东西就是go.y这个文件，因为这个是bison的语法定义文件。事实上go在编译阶段也只是将所有的内容按语法分析的结果放入NodeList这个数据结构里，然后export写成一个*.6(比如amd64的架构），这个.6的文件大概是这样子的：

amd64
  exports automatically generated from
  test.go in package "main"

$$  // exports
    package main
        func "".main ()
        var "".initdone路 uint8
        func "".init ()

$$  // local types

$$

....

 

具体的文件格式，可以参考src/cmd/gc/obj.c里的dumpobj函数的实现

 

而如果我们在源文件里写一个import时，它实际上会将这个obj文件导入到当前的词法分析过程中来，比如

import xxx

它就是会把pkg/amd64-linux/xxx.a加载进来，接着解析这个obj文件

 

如果我们看go.y的语法分析定义，就会看到许多hidden和there命名的定义，比如import_there, hidden_import等等，这些其实就是从obj文件来的定义。

 

又比如我们可能会看到一些根本就不存在于源代码中的语法定义，但是它确实编译过了，这是因为在编译过程中源文件被根据需要插入一些其他的碎片进来，比如builtin的一些库或者自定义的一些lib库。

 

理解了这些，基本上就对go的编译过程有了一个了解，事实上go的编译过程做的事情也就是把它变成obj完事，至少我们目前没有看到更多的工作。接下来想要更深入的理解，就要再看xl的实现了，这部分是将obj变成可执行代码的过程，应该会比较有趣了。