深入浅出：Go语言编译原理与过程解析

原创

windealli

发布于 2024-03-28 10:57:17

1.2K0

文章被收录于专栏：windealliwindealli

一、引言

Go语言是一种静态强类型、编译型开发语言，编译器扮演着核心角色，它不仅负责将Go源代码转换成机器代码，还涉及代码的优化、错误检查和性能分析等关键环节。

本文将为读者提供一个关于Go语言编译原理和编译过程的全面介绍。从编译器的基本工作原理讲起，逐步深入到Go语言特有的编译技术和优化策略。帮助读者更好的学习Go语言的编译过程。

二、 Go语言编译器概览

1. Go语言编译器

Go语言编译器是将Go源代码转化为可执行文件的关键工具。

Go编译器最初用C语言编写的，并且是基于Plan 9的C编译器。随着Go语言的发展，官方编译器逐渐转向自身语言实现，这一过程称为“自举”(bootstrapping)。

在Go 1.5版本中，编译器和运行时(runtime)被重写为Go语言，这标志着Go语言的成熟。此后，Go编译器不断优化，版本迭代中引入了多项性能改进和新特性，如更好的垃圾回收、更快的编译速度等。

2. Go编译器的主要组成部分

Go 语言编译器的源代码在 src/cmd/compile 目录中。

Go语言的编译器主要由以下几个模块组成，每个模块对应Go源码中的不同部分：

前端（Frontend）:
- 词法分析器（Lexer）: 负责将源代码文本分解成一系列的标记（tokens）。在Go源码中，这部分通常位于src/cmd/compile/internal/syntax目录。
- 语法分析器（Parser）: 负责解析标记并构建抽象语法树（AST）。这部分的代码也位于src/cmd/compile/internal/syntax目录。
类型检查器（Type Checker）:
- 负责对AST进行遍历，检查和推断表达式和变量的类型。这部分的代码位于src/cmd/compile/internal/types和src/cmd/compile/internal/typecheck目录。
中间代码生成器（Intermediate Code Generator）:
- 将AST转换为中间表示（IR），通常是静态单赋值（SSA）形式。这部分的代码位于src/cmd/compile/internal/ssa目录。
优化器（Optimizer）:
- 对IR进行优化，以提高代码的运行效率。优化器的代码同样位于src/cmd/compile/internal/ssa目录，因为很多优化都是在SSA形式上进行的。
后端（Backend）:
- 代码生成器（Code Generator）: 负责将优化后的IR转换为目标平台的机器代码。这部分的代码根据不同的目标平台（如AMD64、ARM等）分布在src/cmd/compile/internal/ssa/gen目录下的不同子目录中。
- 寄存器分配（Register Allocator）: 在代码生成过程中，负责为变量分配寄存器或栈空间。这部分的代码也位于src/cmd/compile/internal/ssa目录。
链接器（Linker）:
- 负责将编译器输出的目标代码与其他库或模块链接，生成最终的可执行文件。链接器的代码位于src/cmd/link目录。

这些模块共同工作，将Go源代码编译成可执行文件。

3. 从源代码到可执行文件的整体流程

从源代码到可执行文件的过程，也称为编译过程，通常包含以下步骤：

预处理（Preprocessing）: 这一步骤在一些编程语言中非常重要，比如C/C++，它涉及宏替换、条件编译等。在Go语言中，由于设计哲学的不同，没有传统意义上的预处理步骤，但是会有类似的导入路径解析和文件加载过程。
词法分析（Lexical Analysis）: 编译器的词法分析器将源代码文本分解成一系列的标记（tokens），如关键字、标识符、字面量、操作符等。
语法分析（Syntax Analysis）: 语法分析器解析标记流并构建抽象语法树（AST），这是源代码逻辑结构的树状表示。
语义分析（Semantic Analysis）: 在这一步骤中，编译器进行类型检查，确保变量和表达式的使用符合类型系统的要求，并可能进行一些初步的代码优化。
中间代码生成（Intermediate Code Generation）: 编译器将AST转换为中间表示（IR），通常是静态单赋值（SSA）形式，这是一种既适合进一步优化也便于转换为目标代码的代码形式。
优化（Optimization）: 编译器对IR进行优化，以提高代码的运行效率。优化可以在不同的层次进行，包括局部优化和全局优化。
代码生成（Code Generation）: 编译器将优化后的IR转换为目标机器代码，这是特定于目标平台的低级代码。
汇编（Assembly）: 汇编器将编译器生成的机器代码转换为目标平台的汇编语言，然后再将其转换为机器语言。
链接（Linking）: 链接器将编译器和汇编器生成的目标代码文件与所需的库文件合并，解决符号引用，生成最终的可执行文件。

三、词法分析

词法分析是编译过程中的第一步，它的主要任务是读取源代码的字符序列，并将它们组织成有意义的序列，称为“词法单元”（tokens）。

1. 词法单元 `tokens`

Go语言源码src/cmd/compile/internal/syntax/tokens.go中的定义了tokens的类型

const (
	_    token = iota
	_EOF       // EOF

	// names and literals  ： 标识符 和 字面量
	_Name    // name
	_Literal // literal

	// operators and operations ： 操作符号
	_Operator // op
	_AssignOp // op=
	...

	// delimiters ：  ： 操作符号
	_Lparen    // (
	_Lbrack    // [
	... 

	// keywords ： 关键字
	_Break       // break
	_Case        // case
	... 

	// empty line comment to exclude it from .String
	tokenCount //
)

2. 词法解析器scanner

词法解析器scanner定义如下：

type scanner struct {
	source    // 当前扫描的数据源文件
	mode   uint  // 启用的模式
	nlsemi bool // if set '\n' and EOF translate to ';'

	// current token, valid after calling next()
	line, col uint
	blank     bool // line is blank up to col
	tok       token    // token 的类型
	lit       string   // token 的字面量； valid if tok is _Name, _Literal, or _Semi ("semicolon", "newline", or "EOF"); may be malformed if bad is true
	bad       bool     // valid if tok is _Literal, true if a syntax error occurred, lit may be malformed
	kind      LitKind  // valid if tok is _Literal
	op        Operator // valid if tok is _Operator, _Star, _AssignOp, or _IncOp
	prec      int      // valid if tok is _Operator, _Star, _AssignOp, or _IncOp
}

3. 词法解析过程

cmd/compile/internal/syntax.scanner 每次都会通过 cmd/compile/internal/syntax.source.nextch 函数获取文件中最近的未被解析的字符(遇到了空格和换行符这些空白字符会直接跳过)，然后根据当前字符的不同执行不同的 case：

	switch s.ch {
	case -1:
		...

	case '\n':
		s.nextch()
		s.lit = "newline"
		s.tok = _Semi

	case '0', '1', '2', '3', '4', '5', '6', '7', '8', '9':
		s.number(false)

	case '"':
		s.stdString()

	case '`':
		s.rawString()

	case '\'':
		s.rune()

	case '(':
		...
	...
	}

如果当前字符是’0’, ‘1’, …, ‘9’ 之一，则会调用s.number(false)，尝试匹配一个数字。

如果当前字符是'"'，则调用s.stdString()，尝试匹配一个字符串。

token解析完毕后，会将token的字面值保存在scanner.lit中。

词法解析得到的 tokens 在 Go 语言的编译器中是即时生成并（被语法解析）消费的，而不是存储在某个列表或队列中。这种设计可以减少内存使用，并提高解析的效率。

四、语法解析

语法分析负责将词法分析阶段生成的词法单元（tokens）根据语言的语法规则组织成抽象语法树（AST）。

1. 抽象语法树 AST

抽象语法树 AST 是源代码逻辑结构的树状表示，它反映了程序的语法结构，而不包含代码中的空格、注释等无关信息。

以(a+b)*c为例，最终生成的抽象语法树如下：

Go语言编译时，每个 Go 源代码文件最终都会被解析成一个独立的抽象语法树，所以语法树最顶层的结构或者开始符号都是 SourceFile：

// SourceFile = PackageClause ";" { ImportDecl ";" } { TopLevelDecl ";" } .

每一个文件都包含一个 package 的定义以及可选的 import 声明和其他的顶层声明（TopLevelDecl）

当解析一个 Go 源文件时，解析器会创建一个 syntax.File 节点，该节点代表整个文件的 AST。这个 syntax.File 节点包含了文件中所有顶级声明（如函数、类型和变量声明）的列表。

// package PkgName; DeclList[0], DeclList[1], ...
type File struct {
	Pragma   Pragma
	PkgName  *Name
	DeclList []Decl
	EOF      Pos
	node
}

2. 顶层声明

顶层声明有五大类型，分别是常量、类型、变量、函数和方法，在文件 src/cmd/compile/internal/syntax/nodes.go 中找到这五大类型的定义。

type (
	Decl interface {
		Node
		aDecl()
	}

	...
	ImportDecl struct {
		...
	}

	ConstDecl struct {
		...
	}

	// Name Type
	TypeDecl struct {
		...
	}

	VarDecl struct {
		...
	}

	FuncDecl struct {
		Pragma     Pragma
		Recv       *Field // nil means regular function
		Name       *Name
		TParamList []*Field // nil means no type parameters
		Type       *FuncType
		Body       *BlockStmt // nil means no body (forward declaration)
		decl
	}

)

2. 语法解析技术

解析技术指的是用于构建 AST 的具体算法。常见的解析技术包括：

递归下降解析（Recursive Descent Parsing）: 一种简单直观的手写解析技术，它为每个非终结符编写一个函数，这些函数相互递归调用以匹配语法规则。
LL 解析（LL Parsing）: 一种自顶向下的解析技术，它从左到右读取输入，并进行最左推导。
LR 解析（LR Parsing）: 一种自底向上的解析技术，它处理更广泛的语法，但实现较为复杂。
LALR 解析（LALR Parsing）: 一种优化的 LR 解析技术，它减少了所需的状态数量，常见于解析器生成器中。

3. 语法解析器

在 src/cmd/compile/internal/syntax/parser.go 文件中定义了语法解析器parser

type parser struct {
	file  *PosBase
	errh  ErrorHandler
	mode  Mode
	pragh PragmaHandler 
	scanner    // 词法解析器

	base   *PosBase // current position base
	first  error    // first error encountered
	errcnt int      // number of errors encountered
	pragma Pragma   // pragmas

	fnest  int    // function nesting level (for error handling)
	xnest  int    // expression nesting level (for complit ambiguity resolution)
	indent []byte // tracing support
}

4. 语法解析过程

解析过程的入口点通常是一个解析文件或包的方法。例如，ParseFile 方法会解析一个完整的 Go 源文件，并返回一个包含了文件所有顶级声明的 AST。

语法解析中会调用词法解析的next()进行词法解析。

// If pragh != nil, it is called with each pragma encountered.
func Parse(base *PosBase, src io.Reader, errh ErrorHandler, pragh PragmaHandler, mode Mode) (_ *File, first error) {
	...
	p.init(base, src, errh, pragh, mode)
	p.next()
	return p.fileOrNil(), p.first
}

在parser.fileOrNil() 中根据token的不同类型配置响应的解析函数：

	// { TopLevelDecl ";" }
	for p.tok != _EOF {
		switch p.tok {
		case _Const:
			p.next()
			f.DeclList = p.appendGroup(f.DeclList, p.constDecl)

		case _Type:
			p.next()
			f.DeclList = p.appendGroup(f.DeclList, p.typeDecl)

		case _Var:
			p.next()
			f.DeclList = p.appendGroup(f.DeclList, p.varDecl)

		case _Func:
			p.next()
			if d := p.funcDeclOrNil(); d != nil {
				f.DeclList = append(f.DeclList, d)
			}

		default:
			if p.tok == _Lbrace && len(f.DeclList) > 0 && isEmptyFuncDecl(f.DeclList[len(f.DeclList)-1]) {
				// opening { of function declaration on next line
				p.syntaxError("unexpected semicolon or newline before {")
			} else {
				p.syntaxError("non-declaration statement outside function body")
			}
			p.advance(_Const, _Type, _Var, _Func)
			continue
		}

这其中，函数的解析是最为复杂的部分。在前面五大声明类型的介绍中，我们看到函数声明类型的定义：

	// 函数声明类型： https://github.com/golang/go/blob/619b8fd7d2c94af12933f409e962b99aa9263555/src/cmd/compile/internal/syntax/nodes.go#L102
	FuncDecl struct {
		Pragma     Pragma
		Recv       *Field // nil means regular function
		Name       *Name
		TParamList []*Field // nil means no type parameters
		Type       *FuncType
		Body       *BlockStmt // nil means no body (forward declaration)
		decl
	}
	
	// 函数体 ： https://github.com/golang/go/blob/619b8fd7d2c94af12933f409e962b99aa9263555/src/cmd/compile/internal/syntax/nodes.go#L347
	BlockStmt struct {
		List   []Stmt  // 语句块 Statements
		Rbrace Pos
		stmt
	}

在go1.19中，go已经支持30+种类的Statements

不同语句块Statements定义

type (
	Stmt interface {
		Node
		aStmt()
	}

	SimpleStmt interface {
		Stmt
		aSimpleStmt()
	}
	...

	BlockStmt struct {
		List   []Stmt
		Rbrace Pos
		stmt
	}

	...
	AssignStmt struct {
		Op       Operator // 0 means no operation
		Lhs, Rhs Expr     // Rhs == nil means Lhs++ (Op == Add) or Lhs-- (Op == Sub)
		simpleStmt
	}

	...

	IfStmt struct {
		Init SimpleStmt
		Cond Expr
		Then *BlockStmt
		Else Stmt // either nil, *IfStmt, or *BlockStmt
		stmt
	}
	...
)

与词法分析类似，在 Go 语言的编译器中，语法分析后生成的抽象语法树（AST）通常不会存储在一个全局的位置或容器中。相反，AST 是动态构建的，并且通常在构建完成后立即被后续的编译阶段（如类型检查、优化和代码生成）所使用。

五、语义分析

语义分析是编译过程中的一个关键阶段，它发生在语法分析之后，目的是确保源程序的语义符合语言定义的规则。语义分析主要包括类型检查、作用域解析、绑定标识符到声明、以及其他语义规则的检查。

1. 类型检查

类型检查是语义分析中的核心部分，它负责验证程序中的每个表达式和语句是否符合类型系统的规则。以下是类型检查的几个关键方面：

类型兼容性和转换: 编译器检查操作数的类型是否与操作符兼容，以及是否需要隐式或显式的类型转换。例如，编译器会检查一个赋值语句左右两侧的类型是否匹配，或者在一个算术表达式中是否可以将整数类型隐式转换为浮点类型。
函数和方法调用: 对于函数和方法调用，编译器验证传递的参数类型是否与函数声明中的形参类型相匹配。此外，编译器还检查函数的返回类型是否与期望的返回类型一致。
类型推导: 在支持类型推导的语言中，编译器需要能够根据上下文推断变量或表达式的类型。这通常涉及到复杂的推导规则，尤其是在泛型编程或函数式编程语言中。
泛型和参数化类型: 对于支持泛型的语言，编译器必须能够处理参数化类型。这包括实例化泛型类型、检查类型参数的约束以及推导类型参数。
数组和指针运算: 编译器检查数组索引是否为整数类型，以及是否在数组的有效范围内。对于指针运算，编译器验证指针的使用是否安全，例如是否有悬挂指针或空指针解引用的风险。
类型定义和别名: 编译器处理类型定义和别名，确保它们在程序中的使用是一致的。这可能涉及到解析类型别名背后的实际类型，或者处理类型继承和接口实现的关系。

2. 作用域解析和绑定

除了类型检查，语义分析还包括作用域解析和标识符绑定：

作用域解析: 编译器确定每个标识符的作用域，即它可以被引用的代码区域。这通常涉及到构建一个符号表，它记录了每个标识符的声明位置和作用域。
标识符绑定: 编译器将程序中的每个标识符绑定到它的声明。这确保了每个变量、函数或类型的使用都可以追溯到一个明确的声明。

其他语义规则的检查

语义分析还包括检查程序是否遵守了语言的其他语义规则，例如：

控制流规则: 检查是否所有的控制流路径都有返回值（对于需要返回值的函数），以及是否有不可达的代码。
变量初始化: 确保所有变量在使用前都已经被正确初始化。
资源管理: 对于需要显式资源管理的语言（如 C/C++），编译器检查是否每个分配的资源都被正确释放。
并发和同步: 对于支持并发的语言，编译器可能需要检查并发结构的使用是否正确，例如锁的使用是否可能导致死锁。

编译过程中的语义分析

// /cmd/compile/main.go  
//  编译过程主入口
func main() {
	...
	gc.Main(archInit)
	base.Exit(0)
}

// /cmd/compile/internal/gc.Main
// https://github.com/golang/go/blob/619b8fd7d2c94af12933f409e962b99aa9263555/src/cmd/compile/internal/gc/main.go#L55
// 编译主函数
func Main(archInit func(*ssagen.ArchInfo)) {
	base.Timer.Start("fe", "init")

	defer handlePanic()
	
	... 
	
	// Parse and typecheck input.
	noder.LoadPackage(flag.Args())
	
	... 
}

func LoadPackage(filenames []string) {
	...

	// Move the entire syntax processing logic into a separate goroutine to avoid blocking on the "sem".
	go func() {
		for i, filename := range filenames {
				...
				// 词法解析和语法解析
				p.file, _ = syntax.Parse(fbase, f, p.error, p.pragma, syntax.CheckBranches) // errors are tracked via p.error
			}()
		}
	}()

	// Use types2 to type-check and generate IR.
	// 类型检查 & 生成中间代码
	check2(noders)
}

// check2 type checks a Go package using types2, and then generates IR
// using the results.
func check2(noders []*noder) {
	// 类型检查
	m, pkg, info := checkFiles(noders)

	g := irgen{
		target: typecheck.Target,
		self:   pkg,
		info:   info,
		posMap: m,
		objs:   make(map[types2.Object]*ir.Name),
		typs:   make(map[types2.Type]*types.Type),
	}
	
	// 生成中间代码
	g.generate(noders)
}

// checkFiles configures and runs the types2 checker on the given
// parsed source files and then returns the result.
func checkFiles(noders []*noder) (posMap, *types2.Package, *types2.Info) {
	...

	pkg, err := conf.Check(base.Ctxt.Pkgpath, files, info)

	...

	return m, pkg, info
}

// [/src/cmd/compile/internal/types2/](https://github.com/golang/go/blob/619b8fd7d2c94af12933f409e962b99aa9263555/src/cmd/compile/internal/types2/api.go#L414)api.go
// https://github.com/golang/go/blob/619b8fd7d2c94af12933f409e962b99aa9263555/src/cmd/compile/internal/types2/api.go#L414
func (conf *Config) Check(path string, files []*syntax.File, info *Info) (*Package, error) {
	pkg := NewPackage(path, "")
	return pkg, NewChecker(conf, pkg, info).Files(files)
}

// Files checks the provided files as part of the checker's package.
func (check *Checker) Files(files []*syntax.File) error { return check.checkFiles(files) }

在函数check.checkFiles即为类型检查的主逻辑。

func (check *Checker) checkFiles(files []*syntax.File) (err error) {

函数check.checkFiles会遍历每个文件对应的语法分析得到的AST（节点），进行类型检查等语义分析。

此处代码逻辑和函数调用较繁杂，本文先不展开介绍，有兴趣的读者可以自己阅读源码。

六、中间代码生成

在编译器设计中，中间代码生成是将源代码的抽象语法树（AST）转换为一种中间表示（Intermediate Representation，简称 IR）的过程。

中间代码是编译器或者虚拟机使用的语言，是源代码与目标机器代码之间的桥梁，它旨在简化代码优化和目标代码生成的步骤。

1. 中间表示（IR）的概念

IR 是编译器内部使用的一种代码表示形式，通常是与特定机器无关的，其忽略了编译器需要面对的各种复杂场景，并且设计得更容易进行分析和转换。

IR 可以有多种形式，如三地址代码（Three-Address Code），控制流图（Control Flow Graph，CFG），或静态单赋值形式（Static Single Assignment，SSA）等。

IR 应该满足以下几个目标：

与机器无关：IR 应该抽象出机器级的细节，使得编译器的前端可以与后端分离。
足够丰富：IR 应该能够表示源语言的所有构造。
易于优化：IR 应该方便进行各种编译时优化。
易于转换为目标代码：IR 应该能够方便地映射到目标机器的指令集。

2. SSA（静态单赋值形式）在 Go 中的应用

SSA 是一种特别的 IR 形式，它在编译器优化中非常流行。在 SSA 形式中，每个变量只被赋值一次，这简化了变量的生命周期分析和许多优化技术的实现，如死代码消除、常量传播、循环不变式移动等。

在 Go 1.18 及以上版本的编译器中，SSA 被广泛应用于中间代码的生成和优化。Go 编译器的 SSA 包位于 src/cmd/compile/internal/ssa 中。这个包包含了将 AST 转换为 SSA 形式的代码，以及在 SSA 形式上执行的各种优化。

以下是 Go 编译器生成 SSA IR 的简化过程：

构建 SSA 形式：编译器首先将 AST 转换为一系列的值（Value）和指令（Instruction）。每个值在其生命周期内只被定义一次，这是 SSA 的核心特性。
构建控制流图（CFG）：编译器构建 CFG，它表示程序中的控制流。CFG 中的每个节点对应一个基本块（Basic Block），基本块是一系列指令的序列，这些指令在执行时不会跳转到其他基本块。
插入 φ-函数（Phi-Function）：在 CFG 的合并点（例如，两个分支之后的代码），可能需要合并来自不同路径的变量值。SSA 通过插入 φ-函数来处理这种情况，φ-函数选择一个合适的值作为结果。
优化：编译器在 SSA 形式上执行各种优化，如死代码消除、常量传播等。由于 SSA 的特性，这些优化更加直接和高效。
SSA 销毁：在生成目标代码之前，编译器需要将 SSA 形式“销毁”，因为实际的机器不支持 φ-函数。这个过程涉及到重新引入必要的变量赋值，并处理变量的生命周期。

在 Go 编译器的源码中，SSA 包的 compile.go 文件通常包含了触发 SSA 构建和优化的代码。例如，buildssa 函数会将 AST 转换为 SSA 形式，而 optimize 函数则负责在 SSA 形式上执行优化。

要深入了解 Go 编译器中 SSA 的实现和应用，可以查阅 src/cmd/compile/internal/ssa 包中的源码。这个包中的代码负责将 Go 语言的程序转换为 SSA 形式，并在此基础上进行优化，最终生成高效的机器代码。

七、代码生成

在 Go 语言编译器中，代码生成是编译过程的最后一个阶段，它负责将优化后的中间表示（IR）转换为目标机器代码。这个阶段涉及到将 IR 映射到具体的机器指令集，并进行平台相关的优化和调整。

1. 目标代码的生成

目标代码生成阶段通常遵循以下步骤：

指令选择（Instruction Selection）: 编译器遍历 IR，并为每个 IR 指令选择相应的目标机器指令。这个过程可能涉及到复杂的模式匹配和启发式算法，以找到最有效的指令序列。
寄存器分配（Register Allocation）: 编译器需要决定哪些值应该存储在寄存器中，哪些值应该存储在内存中。这通常通过图着色或线性扫描算法来实现。寄存器分配是一个关键步骤，因为它直接影响到程序的性能。
指令调度（Instruction Scheduling）: 编译器对指令进行重新排序，以避免管线冒险（pipeline hazards）并提高执行效率。这个过程需要考虑指令之间的依赖关系和目标处理器的管线结构。
汇编代码生成: 编译器将选择的指令和调度结果转换为汇编代码或直接生成机器代码。这个过程可能包括插入必要的汇编指令和伪指令。
链接: 编译器或链接器将所有的编译单元和库链接成一个可执行文件。这个过程包括解析外部符号引用、合并段（sections）和处理重定位。

2. 平台相关的优化和调整

目标代码生成阶段还需要考虑平台相关的优化和调整，这些可能包括：

平台特定的指令: 不同的处理器架构可能有特定的指令集，编译器需要选择最适合当前平台的指令。
调用约定（Calling Conventions）: 编译器需要遵循目标平台的调用约定，这决定了函数参数如何传递，以及返回值如何处理。
ABI 兼容性: 应用程序二进制接口（Application Binary Interface，ABI）定义了数据类型、数据结构和函数调用的二进制接口。编译器需要确保生成的代码与目标平台的 ABI 兼容。
内存对齐: 编译器需要考虑目标平台对数据对齐的要求，这对于提高内存访问的性能至关重要。
优化标志和指令: 编译器可能会根据用户指定的优化级别（如 O2 或 O3）来调整优化策略。

在 Go 1.18 及以上版本的编译器中，代码生成的相关代码主要位于 src/cmd/compile/internal/ssa 包中。

七、链接

1. 静态链接和动态链接的区别

在编程中，链接是将编译器生成的一个或多个目标文件（通常是 .o 文件）以及库文件合并成一个可执行文件的过程。链接可以是静态的或动态的，它们之间有几个关键的区别：

静态链接:
- 在编译时发生，将所有必需的库代码复制到最终的可执行文件中。
- 生成的可执行文件较大，因为它包含了所有依赖的库代码。
- 可执行文件不依赖于外部库文件，因此更容易分发。
- 如果库更新，需要重新编译和链接应用程序以获取更新。
动态链接:
- 在运行时发生，可执行文件包含对共享库（如 .so 或 .dll 文件）的引用。
- 生成的可执行文件较小，因为它只包含对共享库的引用，而不是库代码本身。
- 可执行文件依赖于外部的共享库，因此在不同系统上运行时可能需要确保库的兼容性。
- 如果库更新，可执行文件可以不用重新编译，只需确保使用的是兼容的库版本。

2. Go 语言的链接过程特点

Go 语言的链接过程有一些独特的特点，主要体现在以下几个方面：

静态链接: Go 语言默认采用静态链接。编译后的 Go 程序通常包含了所有依赖的库代码，这使得 Go 程序很容易分发和部署，因为它们不依赖于系统上的共享库。
简化的部署: 由于 Go 程序通常是静态链接的单个可执行文件，这简化了部署过程。你只需要将编译后的可执行文件复制到目标系统上即可运行，无需担心依赖库的问题。
交叉编译: Go 语言支持交叉编译，这意味着你可以在一个平台上编译代码，生成另一个平台上的可执行文件。这在生成多平台二进制文件时非常有用。
链接器的设计: Go 语言的链接器是为了与 Go 语言的编译器紧密集成而设计的。它处理 Go 语言特有的特性，如接口、goroutines 和垃圾回收。

在 Go 1.18 及以上版本的编译器中，链接过程的相关代码位于 src/cmd/link 包中。这个包包含了将编译后的目标文件合并成一个可执行文件的代码。链接器处理符号解析、地址分配、重定位和其他必要的后处理步骤。

原创声明：本文系作者授权腾讯云开发者社区发表，未经许可，不得转载。

如有侵权，请联系 cloudcommunity@tencent.com 删除。

编译原理

原创声明：本文系作者授权腾讯云开发者社区发表，未经许可，不得转载。

如有侵权，请联系 cloudcommunity@tencent.com 删除。

编译原理

登录后参与评论

0 条评论

热度