Slice源码分析

源码

package runtime
import (
	"runtime/internal/math"
	"runtime/internal/sys"
	"unsafe"
)
//slice 包括array，这是一个指针，指向实际数据存储的位置，len是当前的切片数据长度，cap是容量。
type slice struct {
   
	array unsafe.Pointer
	len   int
	cap   int
}
//此处涉及到底层的内存管理。
type notInHeapSlice struct {
   
	array *notInHeap
	len   int
	cap   int
}
//定义了两个panic错误，len panic 与 cap panic。
func panicmakeslicelen() {
   
	panic(errorString("makeslice: len out of range"))
}
func panicmakeslicecap() {
   
	panic(errorString("makeslice: cap out of range"))
}

// makeslice 的作用就是创建切片 ，在使用make创建切片时，会自动的替换为makeslice函数。
//et就是传入的数据类型，len是make要求的切片长度，cap是容量。
//makeslice 做哪几件事情？

// 1. 判断越不越界
// 2. 分配内存空间。

func makeslice(et *_type, len, cap int) unsafe.Pointer {
   
	//uintptr  存放指针的长度，
	//et.size指切片中元素的大小，uintptr(cap)指的是切片的容量
	//判断是否len与cap是否越界了。
	mem, overflow := math.MulUintptr(et.size, uintptr(cap))
	//如果    1. 越界  2. 内存要求超过规定  3. len长度小于0   4. len的长度超过 cap。
	if overflow || mem > maxAlloc || len < 0 || len > cap {
   
		// 再判断 len 会不会有问题，如果len有问题，优先报len的错误，而不是cap的错误。
		mem, overflow := math.MulUintptr(et.size, uintptr(len))
		if overflow || mem > maxAlloc || len < 0 {
   
			panicmakeslicelen()
		}
		panicmakeslicecap()
	}
	//为要求的数据结构分配内存并启动GC ，并返回相应指针
	return mallocgc(mem, et, true)
}
//验证 len 与 cap然后创建切片
func makeslice64(et *_type, len64, cap64 int64) unsafe.Pointer {
   
	//输入的都是int64的，先将其转换成int型，再用int64转换回来和原来传入的比较
	len := int(len64)
	if int64(len) != len64 {
   
		panicmakeslicelen(