本文探讨了Golang中Slice的数据结构，详细解释了切片内存分配、创建及扩容规则。特别强调了在并发环境下，由于扩容可能导致的安全问题，如并发异常和线程安全问题，并介绍了如何通过竞态条件检测来识别这些问题。同时，文章提供了避免扩容并发问题的方法，如使用`sync.cond`来确保线程安全，但无法保证元素插入顺序。
Slice 数据结构
首先来看看slice的数据结构
type slice struct{
array unsafe.Pointer //指针指向底层数组 8B
len int // 8B
cap int // 8B
}
底层数据结构大致如下: slice数据指针指向array地址，拿Slice{ptr *[]int8}数组为例：伪代码~
//上图中函数为伪代码，表示[0:3]指针的值，实际上指针不能被索引
(*[]int8)(unsafe.pointer(ptr)[1]) //3
*(*[]int8)(unsafe.pointer(ptr)) //[1 3 2 5]
(*[]int8)(unsafe.pointer(ptr))[1:4] // index越界 会在[3]的后面取一个字节长度并读取值
切片内存分配和创建
两个数组的slice内存分布如下图.
//make([]interface,len,cap)-> unsafe.Pointer
func makeslice(et *_type, len, cap int) unsafe.Pointer {
// 越界检测 cap len
mem, overflow := math.MulUintptr(et.size, uintptr(cap))
if overflow || mem > maxAlloc || len < 
最低0.47元/天 解锁文章
2018
被折叠的 条评论
为什么被折叠?
到【灌水乐园】发言
