Golang面试题Go 语言这几年在后端岗位的面试里出现得越来越频繁尤其是字节、腾讯、美团这类大厂Go 岗位的面试题难度其实不低。很多人第一次接触 Go 面试会有点懵语言本身学起来挺快的但面试要考的那些底层原理比如 GMP 调度模型、GC 三色标记、Channel 的阻塞机制根本不是会用就能回答上来的。这篇文章把 Go 面试中最常考的知识点都整理进来了从基础语法到并发编程再到内存管理和垃圾回收基本覆盖了你在 Go 面试中会遇到的绝大多数问题。每道题尽量把背后的原理讲清楚不只是给一个结论。几个特别值得花时间搞透的模块Slice 和 Map不只是会用要知道扩容机制、底层结构、并发安全问题这两个基本是每场面试必提。Channel 和并发Go 最有特色的地方Channel 的收发过程、select 的执行机制、各种锁的底层实现面试官特别喜欢在这里深挖。GMP 调度模型Go 高并发的核心P 的作用、work-stealing、goroutine 调度时机这块是 Go 进阶面试的分水岭。GC 垃圾回收三色标记法、写屏障、STW理解原理比死记结论重要得多。如果你刚开始准备 Go 面试建议先把基础和 Slice/Map/Channel 这些核心数据结构吃透并发和 GMP 相对抽象可以结合代码多跑几个例子来理解。#1. Go基础面试题#1.1 与其他语言相比使用 Go 有什么好处?与其他语言不同Go 代码的设计是务实的Go的语法更简洁。每个功能和语法决策都旨在让程序员的开发效率更高Golang 针对并发进行了优化支持协程并且实现了高效的GMP调度模型。由于单一的标准代码格式Golang 通常被认为比其他语言更具可读性。有高效的垃圾回收机制支持并行垃圾回收垃圾回收效率比比 Java 或 Python 更高#1.2 什么是协程协程是用户态轻量级线程它是线程调度的基本单位。通常在函数前加上 go 关键字就能实现并发。一个 Goroutine 会以一个很小的栈启动自 Go 1.4 起初始 2KB早期版本曾为 8KB当遇到栈空间不足时栈会自动伸缩因此可以轻易实现成千上万个 goroutine 同时启动。#1.3 协程和线程和进程的区别进程:进程是具有一定独立功能的程序进程是系统资源分配和调度的最小单位。 每个进程都有自己的独立内存空间不同进程通过进程间通信来通信。由于进程比较重量占据独立的内存所以上下文进程间的切换开销栈、寄存器、虚拟内存、文件句柄等比较大但相对比较稳定安全。线程:线程是进程的一个实体,线程是内核态,而且是 CPU 调度和分派的基本单位,它是比进程更小的能独立运行的基本单位。线程间通信主要通过共享内存上下文切换很快资源开销较少但相比进程不够稳定容易丢失数据。协程:协程是一种用户态的轻量级线程协程的调度完全是由用户来控制的。协程拥有自己的寄存器上下文和栈。 协程调度切换时将寄存器上下文和栈保存到其他地方在切回来的时候恢复先前保存的寄存器上下文和栈直接操作栈则基本没有内核切换的开销可以不加锁的访问全局变量所以上下文的切换非常快。#1.4 Golang 中 make 和 new 的区别回答make和new都是用于内存分配的内建函数但它们的使用场景和功能有所不同make用于初始化并分配内存只能用于创建slice、map和channel三种类型。返回的是初始化后的数据结构而不是指针。new用于分配内存但不初始化返回的是指向该内存的指针。可以用于任何类型的内存分配。分析// 使用 make 创建 slice s : make([]int, 5) // 创建一个长度为 5 的 slice fmt.Println(s) // 输出: [0 0 0 0 0]// 使用 new 创建 int 指针 p : new(int) // 分配内存给 int 类型 fmt.Println(*p) // 输出: 0 (初始值)make函数创建的是数据结构slice、map、channel本身且返回初始化后的值。而new函数创建的是可以指向任意类型的指针返回指向未初始化零值的内存地址。#1.5 Golang 中数组和切片的区别数组:数组固定长度。数组长度是数组类型的一部分所以[3]int 和[4]int 是两种不 同的数组类型数组需要指定大小不指定也会根据初始化自动推算出大小 大小不可改变。数组是通过值传递的切片:切片可以改变长度。切片是轻量级的数据结构三个属性指针、长度、容量不需要指定大小。切片在传参时按值传递的是 slice header包含底层数组指针、长度、容量的副本但因为副本中的指针指向同一底层数组所以函数内对底层数组元素的修改对调用方可见。切片可以通过数组来初始化也可以通过内置函数 make() 来初始化初始化的时候 lencap然后进行扩容。分析slice 的底层数据其实也是数组slice 是对数组的封装它描述一个数组的片段。slice 实际上是一个结构体包含三个字段长度、容量、底层数组。// runtime/slice.go type slice struct { array unsafe.Pointer // 元素指针 len int // 长度 cap int // 容量 }#1.6 使用for range 的时候它的地址会发生变化吗在 Go 1.22 之前对于for range循环中的迭代变量其内存地址是不会发生变化的在每次迭代中复用同一个变量。Go 1.22 起循环变量改为 per-iteration每次迭代都是新变量地址也会发生变化不再共享内存。注意该行为依赖于go.mod中声明的 Go 版本go directive ≥ 1.22才会生效。分析Go1.22之前for index, value : range collection { // ... }这里value是一个副本。在每次迭代中collection中的当前元素值会被复制到value这个变量中。Go 编译器通常会为value分配一块固定的内存地址然后在每次迭代时将当前元素的值覆盖到这块内存中。所以当你打印value时你会发现它的内存地址在整个循环过程中都是保持不变的。但是在 Go 1.22 及以后使用for range遍历一个集合时迭代变量的地址会发生变化。这是因为for range每次迭代时都会重新生成迭代变量如value这些变量在内存中是不同的地址。#1.7 如何高效地拼接字符串拼接字符串的方式有,fmt.Sprintf, strings.Builder (opens new window), bytes.Buffer (opens new window),strings.Join使用操作符进行拼接时会对字符串进行遍历计算并开辟一个新的空间来存储原来的两个字符串。fmt.Sprintf由于采用了接口参数必须要用反射获取值因此有性能损耗。strings.Builder用WriteString()进行拼接内部实现是指针切片同时String()返回拼接后的字符串它是直接把[]byte转换为string从而避免变量拷贝。bytes.Bufferbytes.Buffer是一个一个缓冲byte类型的缓冲器这个缓冲器里存放着都是bytebytes.buffer底层也是一个[]byte切片。strings.joinstrings.join也是基于strings.builder来实现的,并且可以自定义分隔符在join方法内调用了b.Grow(n)方法这个是进行初步的容量分配而前面计算的n的长度就是我们要拼接的slice的长度因为我们传入切片长度固定所以提前进行容量分配可以减少内存分配很高效。性能比较strings.Join ≈ strings.Builder bytes.Buffer fmt.Sprintf5种拼接方法的实例代码func main(){ a : []string{a, b, c} //方式1 ret : a[0] a[1] a[2] //方式2fmt.Sprintf ret : fmt.Sprintf(%s%s%s, a[0],a[1],a[2]) //方式3strings.Builder var sb strings.Builder sb.WriteString(a[0]) sb.WriteString(a[1]) sb.WriteString(a[2]) ret : sb.String() //方式4bytes.Buffer buf : new(bytes.Buffer) buf.Write(a[0]) buf.Write(a[1]) buf.Write(a[2]) ret : buf.String() //方式5strings.Join ret : strings.Join(a,) }#1.8 defer 的执行顺序是怎样的defer 的作用或者使用场景是什么?defer执行顺序和调用顺序相反类似于栈后进先出(LIFO)defer 的作用是当 defer 语句被执行时跟在 defer 后面的函数会被延迟执行。直到 包含该 defer 语句的函数执行完毕时defer 后的函数才会被执行不论包含 defer 语句的函数是通过 return 正常结束还是由于 panic 导致的异常结束。 你可以在一个函数中执行多条 defer 语句它们的执行顺序与声明顺序相反。defer 的常用场景:defer语句经常被用于处理成对的操作如打开、关闭、连接、断开连接、 加锁、释放锁。通过defer机制不论函数逻辑多复杂都能保证在任何执行路径下资 源被释放。释放资源的defer应该直接跟在请求资源的语句后。分析func test() int { i : 0 defer func() { fmt.Println(defer1) }() defer func() { i 1 fmt.Println(defer2) }() return i } func main() { fmt.Println(return, test()) } // 输出 // defer2 // defer1 // return 0上面这个例子中test返回值并没有修改这是由于Go的返回机制决定的执行Return语句后Go会创建一个临时变量保存返回值。如果是有名返回也就是指明返回值func test() (i int)func test() (i int) { i 0 defer func() { i 1 fmt.Println(defer2) }() return i } func main() { fmt.Println(return, test()) } // 输出 // defer2 // return 1这个例子中返回值被修改了。对于有名返回值的函数执行 return 语句时并不会再创建临时变量保存因此defer 语句修改了 i即对返回值产生了影响。#1.9 什么是 rune 类型Go 语言的字符有以下两种uint8 类型或者叫 byte 型代表了 ASCII 码的一个字符。rune 类型代表一个 Unicode 码点code point当需要处理中文、日文或者其他非 ASCII 字符时则需要用到 rune 类型。rune 是 int32 的别名UTF-8 是 Go 字符串的底层编码方式rune 表示的是 Unicode 标量值两者概念不同。package main import fmt func main() { var str hello 你好 //思考下 len(str) 的长度是多少 //golang中string底层是通过byte数组实现的直接求len 实际是在按字节长度计算 //所以一个汉字占3个字节算了3个长度 fmt.Println(len(str):, len(str)) // len(str): 12 //通过rune类型处理unicode字符 fmt.Println(rune:, len([]rune(str))) //rune: 8 }#1.10 Go 语言 tag 有什么用tag可以为结构体成员提供属性。常见的json序列化或反序列化时字段的名称db: sqlx模块中对应的数据库字段名form: gin框架中对应的前端的数据字段名binding: 搭配 form 使用, 默认如果没查找到结构体中的某个字段则不报错值为空, binding为 required 代表没找到返回错误给前端#1.11 go 打印时 %v %v %#v 的区别%v 只输出所有的值%v 先输出字段名字再输出该字段的值%#v 先输出结构体名字值再输出结构体字段名字字段的值package main import fmt type student struct { id int32 name string } func main() { a : student{id: 1, name: 微客鸟窝} fmt.Printf(a%v \n, a) // a{1 微客鸟窝} fmt.Printf(a%v \n, a) // a{id:1 name:微客鸟窝} fmt.Printf(a%#v \n, a) // amain.student{id:1, name:微客鸟窝} }#1.12 Go语言中空 struct{} 占用空间么可以使用 unsafe.Sizeof 计算出一个数据类型实例需要占用的字节数空struct{}不占用任何空间package main import ( fmt unsafe ) func main() { fmt.Println(unsafe.Sizeof(struct{}{})) //0 }#1.13 Go语言中空 struct{} 有什么用用map模拟一个set那么就要把值置为struct{}struct{}本身不占任何空间可以避免任何多余的内存分配。type Set map[string]struct{} func main() { set : make(Set) for _, item : range []string{A, A, B, C} { set[item] struct{}{} } fmt.Println(len(set)) // 3 if _, ok : set[A]; ok { fmt.Println(A exists) // A exists } }有时候给通道发送一个空结构体,channel-struct{}{}可以节省空间func main() { ch : make(chan struct{}, 1) go func() { -ch // do something }() ch - struct{}{} // ... }表示仅有方法的结构体type Lamp struct{}#1.14 init() 函数是什么时候执行的简答在main函数之前执行。详细init()函数是go初始化的一部分由runtime初始化每个导入的包初始化不是按照从上到下的导入顺序而是按照解析的依赖关系没有依赖的包最先初始化。每个包首先初始化包作用域的常量和变量常量优先于变量然后执行包的init()函数。同一个包甚至是同一个源文件可以有多个init()函数。init()函数没有入参和返回值不能被其他函数调用同一个包内多个init()函数的执行顺序不作保证。执行顺序import – const – var –init()–main()一个文件可以有多个init()函数#1.15 2 个 interface 可以比较吗 Go 语言中interface 的内部实现包含了 2 个字段类型T和 值Vinterface 可以使用或!比较。2 个 interface 相等有以下 2 种情况两个 interface 均等于 nil此时 V 和 T 都处于 unset 状态类型 T 相同且对应的值 V 相等。type Stu struct { Name string } type StuInt interface{} func main() { var stu1, stu2 StuInt Stu{Tom}, Stu{Tom} var stu3, stu4 StuInt Stu{Tom}, Stu{Tom} fmt.Println(stu1 stu2) // false fmt.Println(stu3 stu4) // true }stu1和stu2对应的类型是*Stu值是 Stu 结构体的地址两个地址不同因此结果为 false。stu3和stu4对应的类型是Stu值是 Stu 结构体且各字段相等因此结果为 true。#1.16 2 个 nil 可能不相等吗可能不等。interface 内部由 (动态类型 T, 动态值 V) 两部分组成只有当 T 和 V 都为 nil 时接口才等于 nil。把一个类型化的 nil 指针typed nil如(*int)(nil)装入接口后接口的动态类型不是 nil所以接口不等于 nil——这是 Go 中最常见的nil 陷阱。举个例子func foo() error { var err *MyError nil return err // 这里把 typed nil 装进了 error 接口 } if foo() ! nil { // 进入此分支因为接口的动态类型是 *MyError不为 nil // ... }总结判断接口是否为 nil 时必须动态类型和动态值都为 nil 才相等不要把typed nil 装入接口和nil 接口混为一谈。#1.17 Go 语言函数传参是值类型还是引用类型在 Go 语言中只存在值传递要么是值的副本要么是指针的副本。无论是值类型的变量还是引用类型的变量亦或是指针类型的变量作为参数传递都会发生值拷贝开辟新的内存空间。另外值传递、引用传递和值类型、引用类型是两个不同的概念不要混淆了。引用类型作为变量传递可以影响到函数外部是因为发生值拷贝后新旧变量指向了相同的内存地址。#1.18 如何知道一个对象是分配在栈上还是堆上Go和C不同Go局部变量会进行逃逸分析。如果变量离开作用域后没有被引用则优先分配到栈上否则分配到堆上。那么如何判断是否发生了逃逸呢go build -gcflags -m -m -l xxx.go.关于逃逸的可能情况变量大小不确定变量类型不确定变量分配的内存超过用户栈最大值暴露给了外部指针。#1.19 Go语言的多返回值是如何实现的Go 语言的多返回值是通过在函数调用栈帧上预留空间并进行值复制来实现的。在函数调用发生时Go 编译器会计算出函数所有返回值的总大小。在为该函数创建栈帧时就会在调用方caller的栈帧上为这些返回值预留出连续的内存空间。当函数执行到return语句时它会将其要返回的各个值复制到这些预留好的栈空间中。函数执行完毕后控制权返回给调用方。此时调用方可以直接从它自己的栈帧上即之前为返回值预留的空间获取这些返回的值。#1.20 Go语言中_的作用忽略多返回值在 Go 语言中函数可以返回多个值。如果你只关心其中的一部分返回值而不需要使用其余的就可以用_来忽略它们从而避免编译器报错当你导入一个包时通常会使用它的某个功能。但有时你可能只想执行包的init()函数例如注册驱动、初始化全局变量等而不需要直接使用包中的任何导出成员。这时你就可以使用_来进行匿名导入示例package main import ( fmt _ net/http/pprof // 导入 pprof 包只为了执行其 init 函数注册 profiling 接口 ) func main() { fmt.Println(Application started. Profiling tools are likely registered.) // 实际应用中你可能还会启动一个 HTTP 服务器来暴露 pprof 接口 // go func() { // log.Println(http.ListenAndServe(localhost:6060, nil)) // }() }#1.21 Go语言普通指针和unsafe.Pointer有什么区别普通指针比如*int、*string它们有明确的类型信息编译器会进行类型检查和垃圾回收跟踪。不同类型的指针之间不能直接转换这是Go类型安全的体现。而unsafe.Pointer是Go的通用指针类型可以理解为C语言中的void*它绕过了Go的类型系统。unsafe.Pointer可以与任意类型的指针相互转换也可以与uintptr进行转换来做指针运算。另外普通指针受 GC 管理和类型约束unsafe.Pointer 不受类型约束但仍受 GC 跟踪。#1.22 unsafe.Pointer与uintptr有什么区别和联系unsafe.Pointer和uintptr可以相互转换这是Go提供的唯一合法的指针运算方式。典型用法是先将unsafe.Pointer转为uintptr做算术运算然后再转回unsafe.Pointer使用。最关键的区别在于GC跟踪。unsafe.Pointer会被垃圾回收器跟踪它指向的内存不会被错误回收而uintptr只是一个普通整数GC完全不知道它指向什么如果没有其他引用对应内存可能随时被回收。所以记住unsafe.Pointer有GC保护uintptr没有这是它们最本质的区别。