- 逃逸分析的基本概念
- 逃逸分析是 Go 语言编译器的一个功能，用于确定变量的内存分配位置。如果一个变量被分配在栈上，那么当函数返回时，这个变量的内存会自动被回收。如果变量被分配在堆上，那么就需要进行垃圾回收来管理这个变量的内存。Go 语言的编译器会根据变量的使用情况自动进行逃逸分析。
- 例如，在下面的代码中：
func foo() *int { a := 1 return &a }
- 变量
a原本在函数foo内部定义，按照栈分配的原则，函数结束时a应该被销毁。但是因为返回了a的指针，编译器会判断a需要逃逸到堆上，以便在函数外部也能访问。
- 不应过度关注的原因
- 编译器优化的自主性
- Go 语言编译器已经相当智能，它会自动根据变量的使用情况做出合理的内存分配决策。过度关注逃逸分析可能会导致开发者试图去干预编译器的决策，但编译器通常比人工判断更准确。例如，编译器在不断的版本更新中，逃逸分析的算法也在不断优化。Go 1.17 版本相比之前的版本，在逃逸分析方面就有了改进，能够更好地处理一些复杂的情况。
- 性能优化的优先级问题
- 在大多数情况下，与其他性能优化策略（如算法优化、减少不必要的计算、优化网络请求等）相比，逃逸分析对性能的影响相对较小。例如，一个程序如果存在大量的嵌套循环或者复杂的算法，优化这些部分所带来的性能提升往往会远远超过对逃逸分析的精细调整。而且，在实际的应用场景中，即使存在一些变量不必要地逃逸到堆上，只要垃圾回收机制能够有效地处理，对整体性能的影响可能并不显著。
- 开发效率的降低
- 过度关注逃逸分析可能会使代码变得复杂。开发者可能会花费大量的时间去思考如何避免变量逃逸，而不是专注于实现业务逻辑。例如，为了让一个变量不逃逸，可能会采用一些复杂的编程技巧，如通过值传递而不是指针传递，或者在函数内部重新定义变量等，这些操作可能会使代码的可读性和可维护性降低。
- 理解和调试的复杂性
- 逃逸分析的细节涉及到编译器的内部工作原理，理解起来有一定的难度。而且，当出现问题时，调试由于逃逸分析引起的性能问题或者内存问题相对复杂。例如，要确定一个变量为什么会逃逸到堆上，需要深入了解编译器的逃逸分析规则，这对于大多数开发者来说是一个挑战。相比之下，更容易出现问题和更需要关注的往往是代码的逻辑错误、并发安全问题等。
