在 go 中编写内存安全代码至关重要，可以防止程序崩溃、数据损坏和安全漏洞。实践包括：传递指针、使用切片容量、避免缓冲区溢出、谨慎使用切片、使用 make() 创建切片和映射、使用 defer 释放资源、使用 sync.mutex 同步并发访问。遵循这些实践，可以提高代码的鲁棒性和可靠性，并在实战案例中得到体现。
Go 函数内存安全编程实践
在 Go 中编写内存安全代码至关重要，可以防止程序崩溃、数据损坏和安全漏洞。遵循以下实践有助于提升代码的鲁棒性和可靠性。
传递指针
传递指针（*T）而不是值（T）可以防止意外修改传入的值。例如：
func Swap(a, b *int) {
*a, *b = *b, *a
}使用切片容量
切片（[]T）基于底层数组，因此了解其容量至关重要。容量表示数组的最大长度。超过容量时，Go 会自动分配一个更大的底层数组，从而改变切片的地址。
立即学习“go语言免费学习笔记（深入）”；
以下代码演示了这一点：
s := []int{1, 2, 3}
println(len(s), cap(s)) // 3 3
s = append(s, 4)
println(len(s), cap(s)) // 4 6避免缓冲区溢出
缓冲区溢出会发生在存储的数据量超出分配给它的缓冲区时。在 Go 中，可以使用以下方法避免这种情况：
- 使用固定长度数组：数组在编译时分配固定空间，保证不会溢出。
- 使用切片并正确管理其容量：跟踪切片的长度和容量，并根据需要进行调整。
- 使用
copy()函数：copy()确保复制的数据量不超过目标缓冲区的容量。
谨慎使用切片
切片不是内存安全类型，因为它们共享底层数组。对切片进行修改可能会意外影响其他使用同一数组的变量。
以下示例说明了这一点：
使用 uber-go/dig 在 Golang 中实现依赖注入——基于反射容器，提供 Provide/Invoke、dig.In/dig.Out 参数与结果对象，支持命名依赖等
s1 := []int{1, 2, 3}
s2 := s1[1:]
s1[0] = 4
println(s1) // [4 2 3]
println(s2) // [2 3]使用 make() 创建切片和映射
使用 make() 显式创建切片和映射可以指定其初始容量，从而避免不必要的分配。
使用 defer 来释放资源
defer 语句可确保代码块在函数返回之前执行。这对于释放资源（例如打开的文件或网络连接）非常有用。
以下示例使用 defer 来关闭文件：
func main() {
file, err := os.Open("file.txt")
if err != nil {
return
}
defer file.Close()
// 执行其他操作
}使用 sync.Mutex
sync.Mutex 是用于同步并发访问共享资源的互斥锁。Mutex 可以通过 Lock() 和 Unlock() 方法来获取和释放锁。
以下示例使用 sync.Mutex 来保护对共享数据的并发访问：
var mu sync.Mutex
var count int
func main() {
for i := 0; i < 10; i++ {
go func() {
mu.Lock()
defer mu.Unlock()
count++
}()
}
// 等待所有协程完成
}实战案例
考虑一个计算两个切片交集的函数：
func Intersection(s1, s2 []int) []int {
var res []int
for _, v1 := range s1 {
for _, v2 := range s2 {
if v1 == v2 {
res = append(res, v1)
}
}
}
return res
}通过遵循以下原则，我们可以提高这个函数的内存安全性：
- 使用切片容量来避免不必要的分配。
- 使用
copy()函数来安全地追加元素。 - 使用
make()显式创建切片。
最终的改进代码如下：
func Intersection(s1, s2 []int) []int {
res := make([]int, 0, min(len(s1), len(s2)))
for _, v1 := range s1 {
for _, v2 := range s2 {
if v1 == v2 {
copy(res[len(res):], []int{v1})
}
}
}
return res
}遵循这些实践有助于编写内存安全的 Go 函数，提高代码的鲁棒性、可靠性和安全性。
