当前位置: 首页 > backend >正文

go语言八股文(五)

1.go的局部变量是分配在栈上还是在堆上

在Go语言中,局部变量的内存分配(栈或堆)由编译器基于逃逸分析(escape analysis)来决定。以下是总结和具体示例:

栈上分配

  • 当局部变量的生命周期严格限定在函数作用域内,并且没有被外部函数引用时,通常分配在栈上。
  • 变量在函数结束时自动销毁,内存被回收。
示例:
package mainimport "fmt"func main() {var x int = 20 // x 在栈上分配fmt.Println(x)
}

在这个示例中,变量 xmain 函数内部声明并使用,没有逃逸到函数外部,因此它被分配在栈上。

堆上分配(逃逸分析)

  • 当局部变量的生命周期超出函数作用域,例如通过指针返回给外部使用时,编译器会将其分配在堆上。
  • 这种机制称为“逃逸分析”,确保变量在作用域外仍然有效。
示例:
package mainimport "fmt"func createVar() *int {var x int = 30 // 正常情况下,x 应该在栈上分配return &x      // 返回 x 的地址,x 逃逸到堆上
}func main() {p := createVar()fmt.Println(*p)
}

在这个示例中,函数 createVar 返回了局部变量 x 的地址。由于 x 的地址被返回并可能在函数外部使用,x 逃逸到了堆上。编译器会将其分配在堆上以确保 pcreateVar 函数外部仍然有效。

逃逸分析的其他情况

  • 切片和映射:创建切片或映射时,即使在函数内部创建,它们也会被分配在堆上,因为它们包含动态分配的内存。
  • 通道:创建通道时,也会被分配在堆上。
示例:
package mainimport "fmt"func main() {a := make([]int, 10) // a 在堆上分配fmt.Println(a)
}func useSlice(slice []int) {// 函数内部对 slice 的操作不会影响其在堆上的分配slice[0] = 100
}func main() {a := make([]int, 10)useSlice(a)fmt.Println(a)
}

在这个示例中,make([]int, 10) 创建了一个切片,它被分配在堆上。即使我们将这个切片传递给另一个函数 useSlice,它仍然在堆上,因为切片本身是一个包含指向底层数组的指针的结构体,它的分配不会因函数调用而改变。

总结

Go语言通过逃逸分析自动决定局部变量的内存分配位置:

  • 如果变量的生命周期仅限于函数内部且不会逃逸,它会被分配在栈上。
  • 如果变量需要在函数外部访问,或者其生命周期超出了函数作用域,它会被分配在堆上。 这种自动内存管理简化了内存管理,但开发者也需要理解逃逸分析的规则,以便更好地预测和控制内存分配。

2.几乎所有的类型T都可以有一个对应的指针类型*T

重点回答: 不是。在Go语言中,几乎所有的类型T都可以有一个对应的指针类型*T,不过接口类型的指针是无效的。

扩展知识

  1. 普通情况: 对于大多数类型(包括基础类型、自定义类型、结构体、切片、映射、通道等),你可以使用*T来表示类型T的指针。以下是一些示例:
var x int
px := &x // px 是一个指向 int 类型的指针

结构体:

type MyStruct struct {Field int
}
var m MyStruct
pm := &m // pm 是一个指向 MyStruct 类型的指针

切片:

var s []int
ps := &s // ps 是一个指向 []int 类型的指针

映射:

var m map[string]int
pm := &m // pm 是一个指向 map[string]int 类型的指针

通道:

var ch chan int
pch := &ch // pch 是一个指向 chan int 类型的指针
  1. 特殊情况
  • 数组:数组类型T也可以有一个对应的指针类型T。在Go中,数组的指针类型[N]int(例如*[5]int)表示一个固定大小为N的数组的指针。
var arr [5]int
par := &arr // par 是一个指向 [5]int 类型的指针
  • 接口:接口类型的指针*interface{}是无效的。接口是引用类型,它们本身就可以直接引用其他对象,没有必要使用指针类型。
var i interface{} = "Hello"
// pi := &i // 这是不允许的,会导致编译错误
  • 函数:函数类型也可以有一个指针类型。例如,func() int 类型的函数可以有一个 *func() int 类型的指针,但通常我们不常见函数指针类型的直接使用。
func add(x, y int) int {return x + y
}
var pf *func(x, y int) int = &add // pf 是一个指向函数的指针

总结:Go语言中大多数类型都有对应的指针类型,但接口类型本身是引用类型,不需要指针类型。指针的使用需要根据具体需求和类型特性来决定。

 自学go语言笔记,希望我们可以一起学习!

http://www.xdnf.cn/news/2662.html

相关文章:

  • 解决Ubuntu20.04重启出现显卡驱动异常的问题(操作记录)
  • k8s基本概念-YAML
  • git 修改用户名和邮箱
  • 【Docker】——在Docker工具上安装创建容器并完成项目部署
  • 线性代数的本质大白话理解
  • 【Linux系统】进程间通信(管道)
  • 8、HTTPD服务--ab压力测试
  • JAVA EE_网络原理_UDP与TCP
  • 二进制、高位低位、位移操作与进制转换全解
  • 国联股份卫多多与北京慧闻科技(集团)签署战略合作协议
  • Kubernetes(k8s)学习笔记(三)--部署 Kubernetes Master
  • 完美解决.NET Framework 4.0 中 System.Drawing 库不支持 WebP 格式的图像处理
  • Android adb 安装应用失败(安装次数限制)
  • 【现代深度学习技术】循环神经网络07:通过时间反向传播
  • 爬虫学习笔记(二)--web请求过程
  • 从代码学习机器学习 - UMAP降维算法 scikit-learn版
  • 【Linux】基于环形队列的生产消费者模型
  • 机器学习第三篇 模型评估(交叉验证)
  • 腾讯云服务器独立ip服务器优点是什么?服务器需要固定ip吗?
  • WebRtc08:WebRtc信令服务器实现
  • 简单分析自动驾驶发展现状与挑战
  • cURL 入门:10 分钟学会用命令行发 HTTP 请求
  • MySQL慢查询分析工具:EXPLAIN
  • Awesome-Embodied-AI:具身AI机器人领域最全资源汇总(含人形机器人,多足机器人,灵巧手等精选资源)
  • C++11线程间通信同步与Linux中MySQL连接池实现
  • XLSX.utils.sheet_to_json设置了blankrows:true,但无法获取到开头的空白行
  • JDBC 使用流程详解
  • rag增强检索-基于关键词检索的混合检索模式
  • vue响应式原理——vue2和vue3的响应式实现区别
  • 非结构化数据解析