Go死码消除

概念:

死码消除(dead code elimination, DCE) 是一种编译器优化技术, 作用是在编译阶段去掉对程序运行结果没有任何影响的代码

逃逸分析,内联优化并称为 Go编译器执行的三个重要优化


效果:

对于 const.go代码如下:

go 复制代码
package main

import "fmt"

func max(a, b int) int {
	if a > b {
		return a
	}
	return b
}

const a, b = 10, 20

func main() {
	if max(a, b) == a {
		fmt.Println(a)
	}
}

对于var.go代码如下:

go 复制代码
package main

import "fmt"

func max2(x, y int) int {
	if x > y {
		return x
	}
	return y
}

var x, y = 10, 20

func main() {
	if max2(x, y) == x {
		fmt.Println(x)
	}
}

两个文件的差异,只在于 两个参数 是变量还是常量

分别编译 const.govar.go, 生成的二进制文件大小如下:

go build -o 想要生成的二进制名称 想要编译的.go文件

不难发现, constvar 体积小了约 10%

为何如此?

首先编译器会对max函数 进行内联优化, const.go 优化后如下:

go 复制代码
package main

import "fmt"

const a, b = 10, 20

func main() {
	var result int
	if a > b {
		result = a
	} else {
		result = b
	}
	if result == a {
		fmt.Println(a)
	}
}

因为 ab 是常量, 永远有a<b, 编译器可以在编译时证明该分支永远不会为true, 因此编译器可以进一步优化代码为:

if a > b {}这个分支被消除了,这称为分支消除

又知道结果总是等于b,因此编译器还将进一步将代码优化为:

go 复制代码
package main

const a, b = 10, 20

func main() {
	const result = b

}

最后就是:

go 复制代码
package main

func main() {
}

而对于var.go, 参数为 全局变量 不为常量,编译器并不知道运行过程中x、y会不会发生改变, 因此不能进行死代码消除.

这部分代码被编译到最终的二进制程序中, 造成 二进制文件 varconst 体积大了约 10%

分支消除是死码消除一种. 使用静态证明来表明一段代码永远不可达,通常会被称为死代码,它不需要在最终的二进制文件中编译和优化.

编译器在编译阶段, 死码消除与内联优化一起工作, 可以减少循环和分支产生的代码数量

相关推荐
程序员爱钓鱼6 小时前
Go语言实战案例 — 工具开发篇:实现一个图片批量压缩工具
后端·google·go
ChinaRainbowSea8 小时前
7. LangChain4j + 记忆缓存详细说明
java·数据库·redis·后端·缓存·langchain·ai编程
舒一笑8 小时前
同步框架与底层消费机制解决方案梳理
后端·程序员
minh_coo8 小时前
Spring框架事件驱动架构核心注解之@EventListener
java·后端·spring·架构·intellij-idea
白初&9 小时前
SpringBoot后端基础案例
java·spring boot·后端
计算机学姐11 小时前
基于Python的旅游数据分析可视化系统【2026最新】
vue.js·后端·python·数据分析·django·flask·旅游
该用户已不存在12 小时前
你没有听说过的7个Windows开发必备工具
前端·windows·后端
David爱编程12 小时前
深入 Java synchronized 底层:字节码解析与 MonitorEnter 原理全揭秘
java·后端
KimLiu13 小时前
LCODER之Python:使用Django搭建服务端
后端·python·django
再学一点就睡13 小时前
双 Token 认证机制:从原理到实践的完整实现
前端·javascript·后端