我在谷歌上搜索了一下Go的网站,但我找不到Go非凡的构建时间的解释。它们是语言特性(或缺乏特性)的产物、高度优化的编译器还是其他什么?我并不是在推广围棋;我只是好奇。


当前回答

编译效率是主要的设计目标:

最后,它的目的是要快:在一台计算机上构建一个大型可执行文件最多只需要几秒钟。为了实现这些目标,需要解决一些语言问题:表达性强但轻量级的类型系统;并发性和垃圾回收;刚性依赖规范;等等。常见问题解答

关于与解析相关的特定语言特性,语言常见问题解答非常有趣:

第二,该语言被设计成易于分析,并且可以在没有符号表的情况下进行解析。

其他回答

编译的基本思想实际上非常简单。原则上,递归下降解析器可以以I/O限制的速度运行。代码生成基本上是一个非常简单的过程。符号表和基本类型系统并不需要大量的计算。

然而,降低编译器的速度并不难。

如果存在一个预处理器阶段,其中包含多级包含指令、宏定义和条件编译,尽管这些东西很有用,但加载它并不难。(举个例子,我想到了Windows和MFC头文件。)这就是为什么预编译头文件是必要的。

在优化生成的代码方面,可以向该阶段添加多少处理是没有限制的。

围棋的设计就是要快,这一点已经体现出来了。

Dependency Management: no header file, you just need to look at the packages that are directly imported (no need to worry about what they import) thus you have linear dependencies. Grammar: the grammar of the language is simple, thus easily parsed. Although the number of features is reduced, thus the compiler code itself is tight (few paths). No overload allowed: you see a symbol, you know which method it refers to. It's trivially possible to compile Go in parallel because each package can be compiled independently.

请注意,Go并不是唯一具有这些特性的语言(模块是现代语言的标准),但它们做得很好。

虽然上面的大部分都是正确的,但有一点非常重要,没有被真正提到:依赖管理。

Go只需要包含您直接导入的包(就像那些已经导入的包一样)。这与C/ c++形成鲜明对比,在C/ c++中,每个文件都包含x头文件,其中包含y头文件等等。总结:Go的编译需要线性时间w.r.t到导入包的数量,而C/ c++需要指数级的时间。

简单(用我自己的话说),因为语法非常容易(分析和解析)

例如,没有类型继承意味着不需要进行有问题的分析,以确定新类型是否遵循基类型施加的规则。

例如,在这个代码示例:"interfaces"中,编译器在分析该类型时不会去检查预期的类型是否实现了给定的接口。只有在它被使用之前(如果它被使用)才会执行检查。

另一个例子,编译器会告诉你你是否声明了一个变量而没有使用它(或者如果你应该持有一个返回值而你没有)

以下代码不能编译:

package main
func main() {
    var a int 
    a = 0
}
notused.go:3: a declared and not used

这种强制和原则使生成的代码更安全,并且编译器不必执行程序员可以执行的额外验证。

总的来说,所有这些细节使语言更容易解析,从而导致快速编译。

再一次,用我自己的话来说。

编译效率是主要的设计目标:

最后,它的目的是要快:在一台计算机上构建一个大型可执行文件最多只需要几秒钟。为了实现这些目标,需要解决一些语言问题:表达性强但轻量级的类型系统;并发性和垃圾回收;刚性依赖规范;等等。常见问题解答

关于与解析相关的特定语言特性,语言常见问题解答非常有趣:

第二,该语言被设计成易于分析,并且可以在没有符号表的情况下进行解析。