Go 后端面试复盘：语言、并发与服务实践 · 1. Go 语言基础

前置：Go 系统学习，并完成一个HTTP 工程练习。本页用于面试前查漏补缺，不按章节替代语言课程。

Go 后端面试复盘：语言、并发与服务实践

本轮只做理论正文与源码静态复核；下列命令、示例和测试均未执行。已有输出按代码推演或历史记录理解，不作为本轮运行证据。

前置：Go 系统学习，并完成一个HTTP 工程练习。本页用于面试前查漏补缺，不按章节替代语言课程。

如何使用这份复盘

先自己回答，再与源码和独立参考结论核对；本轮不运行最小实验。以下多数代码是局部实现片段，Job/Item/Result/handle/process等为调用方提供的业务类型或函数，不能拼成一个完整程序；完整标准库与API工程沿用课程源码。

复盘范围	主文与验收
内置函数、数组、切片、Map、值传递	语言基础、切片复制、Map 查询；用194 道代码预测题检查边界
方法、接口、defer、panic、转换与反射	方法集、接口 nil、defer、错误链；反射示例见反射课，数值与文本转换见类型课
goroutine、channel、锁与生命周期	后台任务、通道状态、取消、同步；用同步实践验证状态不变量
网络、数据库、缓存与工程	HTTP 超时、数据库事务、重试；结合自己的服务调用、失败路径和测量证据回答
手写题	有界并发模板；排序、树与标准库容器单独练习

面向 Go 后端开发、校招/社招面试、日常查漏补缺。内容以现代 Go 语义为主；涉及版本差异时会单独说明。建议不要只背结论，要能说清楚：是什么、为什么、怎么用、有什么坑、如何排查。

1. Go 语言基础

1.1 Go 的主要特点是什么？

标准回答：

语法简单，强调可读性和统一代码风格。
原生支持并发，使用 goroutine、channel 和运行时调度器。
静态类型、编译型，编译速度较快，可生成单个可执行文件。
自带垃圾回收，降低手动内存管理成本。
组合优于继承，通过结构体嵌入和接口实现抽象。
工具链完整，包括 gofmt、go test、go vet、go tool pprof、go mod 等。
跨平台编译方便，适合云原生、网络服务和基础设施开发。

需要补充的取舍：

GC 会带来额外 CPU 和少量停顿成本。
没有传统异常体系，错误需要显式传递。
goroutine 很轻量，但不是没有成本；无限创建仍会耗尽内存。
简洁语法不等于底层简单，调度、内存模型、逃逸、GC 都需要理解。

1.2 Go 是面向对象语言吗？

Go 支持面向对象中的封装、抽象和多态，但没有传统的类、继承和方法重载。

封装：通过标识符首字母大小写控制包级可见性。
抽象：通过接口描述行为。
多态：不同类型只要实现接口方法集，就可以作为该接口使用。
复用：通过组合、结构体嵌入实现，而不是类继承。

因此更准确的说法是：Go 支持面向对象编程，但采用组合和隐式接口的设计。

1.3 `new` 和 `make` 有什么区别？

对比项	`new(T)`	`make(T, ...)`
适用类型	任意类型	slice、map、channel
返回值	`*T`	初始化后的`T`
作用	分配一块清零内存	初始化类型的运行时内部结构
常见程度	较少	很常见

p := new(int)         // *int，指向值为 0 的 int
s := make([]int, 3)   // []int，len=3、cap=3
m := make(map[string]int)
ch := make(chan int, 10)

new([]int) 只得到一个指向 nil slice 的指针，一般没有实际必要；make([]int, n) 才会建立可用的切片描述符及底层数组。

1.4 Go 中值类型和引用语义如何理解？

Go 的参数传递本质上都是值传递。所谓“引用类型”是日常表达，表示复制后的值仍然间接指向共享的底层数据。

数组、结构体、整数等：复制整个值。
slice：复制切片头，两个切片可能共享底层数组。
map：复制 map 描述符，仍指向同一运行时 map。
channel：复制 channel 引用，仍指向同一个通道。
指针：复制指针值，仍指向同一对象。
interface：复制接口的动态类型和动态值描述。

func changeSlice(s []int) {
	s[0] = 99            // 能影响调用方的底层数组
	s = append(s, 100)   // 只改变当前函数中的切片头
}

如果函数需要修改调用方的 slice 长度或让调用方接收新的底层数组，应返回新 slice，通常比传 *[]T 更自然：

func appendValue(s []int, v int) []int {
	return append(s, v)
}

1.5 Go 的零值有哪些？

类型	零值
整数、浮点数	`0`
布尔	`false`
字符串	`""`
指针、slice、map、channel、func、interface	`nil`
数组	所有元素为零值
结构体	所有字段为零值

Go 倡导“零值可用”。例如 sync.Mutex、bytes.Buffer 的零值可以直接使用。但 nil map 只能读不能写，nil channel 读写会永久阻塞。

1.6 `var`、`:=` 和 `const` 有什么区别？

var 可用于包级或函数级声明，可指定类型，可只声明不初始化。
:= 只能在函数内部使用，至少有一个左侧变量必须是新变量。
const 声明编译期常量，不能是运行时才能确定的值。

var global int

func f() {
	var a int
	b := 10
	b, c := 20, 30 // c 是新变量，所以合法
	const timeout = 3 * time.Second
	_, _, _ = a, b, c
}

1.7 什么是无类型常量？

字面量和未显式指定类型的常量可以暂时保持“无类型”，在赋值或参与表达式时根据上下文转换。

const n = 1 << 100 // 常量可具有比普通整数类型更高的精度
const x = 3.14

var f float64 = x

如果最终赋给具体类型时溢出，编译器会报错。

1.8 `iota` 是什么？

iota 是常量声明块中的行计数器，从 0 开始，每新增一行常量规格递增 1。

type Status uint8

const (
	StatusUnknown Status = iota
	StatusRunning
	StatusStopped
)

位标志常见写法：

const (
	FlagRead = 1 << iota
	FlagWrite
	FlagExecute
)

注意：插入常量行会改变后续值。若值要持久化到数据库或对外协议中，最好显式写出数值，避免兼容性事故。

1.9 类型别名和自定义类型有什么区别？

type UserID int64   // 定义新类型
type MyInt = int    // int 的别名

UserID 与 int64 是不同类型，需要显式转换，可以定义自己的方法。
MyInt 与 int 完全相同，只是另一个名字。

1.10 哪些类型可以比较？

可比较类型：

布尔、数字、字符串、指针、channel、interface。
数组：元素类型可比较时可比较。
结构体：所有字段可比较时可比较。

不可直接比较：

slice。
map。
func；函数值只能与 nil 比较。

interface 的比较存在运行时风险：如果两个接口的动态类型相同且该类型不可比较，例如都为 slice，执行 a == b 会 panic；动态类型不同则比较结果为 false。

1.11 包级变量和 `init` 的初始化顺序是什么？

大致顺序：

初始化被导入的依赖包。
按依赖关系计算并初始化当前包的包级变量。
按文件和声明顺序执行当前包中的 init 函数。
所有依赖包完成后，进入 main.main。

同一个包可以有多个 init，但不建议依赖文件名顺序构建复杂业务逻辑。init 隐式执行、难测试，适合做非常轻量且确定的注册工作。

1.12 `rune` 和 `byte` 是什么？

byte 是 uint8 的别名，通常表示原始字节。
rune 是 int32 的别名，通常表示一个 Unicode code point。

一个汉字在 UTF-8 中通常占 3 个字节，但对应一个 rune。

Go 后端面试复盘：语言、并发与服务实践 · 1. Go 语言基础