Go里的nil

　　在日常Golang使用中，你有没有这样的疑惑？
　　nil是什么？哪些可以用nil？哪些不能用nil？
　　接下来，我将对这些内容进行总结。一、什么是nil
　　首先nil是一个变量，我们可以在源码包中找到这样的描述：nilisapredeclaredidentifierrepresentingthezerovalueforapointer，channel，func，interface，map，orslicetype。varnilTypeTypemustbeapointer，channel，func，interface，map，orslicetypeTypeishereforthepurposesofdocumentationonly。ItisastandinforanyGotype，butrepresentsthesametypeforanygivenfunctioninvocation。typeTypeint
　　从类型定义上可以得到以下关键点：nil本质上是一个Type类型的变量Type类型仅仅是基于int定义出来的新类型nil适用于指针、channel、函数、interface、map、slice六种类型二、六大类型1、指针1。1、变量定义varptrint1。2、变量本身
　　变量本身是8字节的内存块1。3、nil赋值
　　这8个字节指针置01。4、nil判断
　　判断这8个字节是否为02、channel2。1、变量定义变量本身定义varc1chanstruct｛｝变量定义和初始化varc2make（chanstruct｛｝）第一种方式仅仅定义了c1变量本身第二种方式则分配了c2的内存，调用了runtime下的makechan函数来创建结构2。2、变量本身
　　一个8字节的指针而已，指向一个channel管理结构，也就是structhchan的指针。2。3、nil赋值
　　赋值nil之后，仅仅是把这8字节的指针置0。2。4、nil判断
　　判断这指针是否为03、map3。1、变量定义变量定义varm1map〔int〕int变量定义和初始化varm2make（map〔int〕int）第一种方式仅仅定义了m1变量本身第二种方式则分配了m2的内存，调用了runtime下的makemap函数来创建结构3。2、变量本身
　　变量本身是个指针AheaderforaGomap。typehmapstruct｛Note：theformatofthehmapisalsoencodedincmdcompileinternalgcreflect。go。Makesurethisstaysinsyncwiththecompilersdefinition。键值对的数量countintlivecellssizeofmap。Mustbefirst（usedbylen（）builtin）标识状态flagsuint82Blen（buckets）Buint8log2ofofbuckets（canholduptoloadFactor2Bitems）溢出桶里bmap大致数量noverflowuint16approximatenumberofoverflowbuckets；seeincrnoverflowfordetailshash因子hash0uint32hashseed指向一个数组（连续内存空间），数组类型为〔〕bmap，bmap类型就是存在键值对的结构bucketsunsafe。Pointerarrayof2BBuckets。maybenilifcount0。扩容时，存放之前的bucketsoldbucketsunsafe。Pointerpreviousbucketarrayofhalfthesize，nonnilonlywhengrowing分流次数，成倍扩容分流操作计数的字段nevacuateuintptrprogresscounterforevacuation（bucketslessthanthishavebeenevacuated）溢出桶结构，正常桶里面某个bmap存满了，会使用这里面的内存空间存放键值对extramapextraoptionalfields｝
　　初始化了map结构后，才能分配map所使用的内存。3。3、nil赋值
　　赋值nil之后，仅仅是把这8字节的指针置0。3。4、nil判断
　　判断这指针是否为04、interface4。1、变量定义定义一个接口typeReaderinterface｛Read（p〔〕byte）（nint，errerror）｝定义一个接口变量varreaderReader空接口varemptyinterface｛｝4。2、变量本身typeifacestruct｛tabitabdataunsafe。Pointer｝typeefacestruct｛typetypedataunsafe。Pointer｝
　　其中iface是通常定义的interface类型，eface是空接口对应的数据结构，这两个结构体占用内存都是16字节。4。3、nil赋值
　　赋值nil之后，把这16字节的内存块置0。4。4、nil判断
　　需要判断类型和值5、函数5。1、变量定义varffunc（int）error5。2、变量本身
　　变量本身是8字节的指针5。3、nil赋值
　　本身就是指针，只不过指向的是函数而已，所以赋值也是将这8字节置0。5。4、nil判断
　　判断这8个字节是否为06、slice6。1、变量定义定义varslice1〔〕intvarslice2〔〕int〔〕byte｛1，2，3｝定义及初始化varslice3make（〔〕int，3）
　　var和make这两种方式有什么区别？第一种var的方式定义变量，如果逃逸分析之后，可以确认分配在栈上，那么就在栈上分配24个字节，如果逃逸到堆上，那么调用newobject函数进行类型分析。第二种make方式略有不同，如果逃逸分析之后，确认分配在栈上，那么直接在栈上分配24字节，如果逃逸到堆上，会调用makeslice来分配变量。6。2、变量本身typeslicestruct｛arrayunsafe。Pointer管理的内存块首地址lenint动态数组实际使用大小capint动态数据内存大小｝
　　变量本身占用24字节。
　　我们看到无论是var声明定义的slice变量，还是make创建的slice变量，slice管理结构是已经分配出来的，也就是structslice结构6。3、nil赋值
　　本身的24字节的内存块被置0。6。4、nil判断
　　那么什么样的slice被认为是nil？
　　指针为0，也就是这个动态数组没有实际数据的时候。
　　问题：仅判断指针？对len和cap两个字段不做判断吗？packagemainimportunsafetypesliceTypestruct｛pdataunsafe。Pointerlenintcapint｝funcmain（）｛varslice〔〕byte（（sliceType）（unsafe。Pointer（slice）））。len0x3（（sliceType）（unsafe。Pointer（slice）））。cap0x4ifslice！nil｛println（notnil）｝else｛println（nil）｝｝Output：nil三、总结
　　1、变量就是绑定到某个内存块上的名称
　　2、变量定义分配的内存是置零分配的
　　3、不是所有的类型能够赋值nil，并且和nil进行对比判断。只有指针、channel、函数、interface、map、slice这6种类型
　　4、channel、map类型的变量需要make才能使用
　　5、slice在声明后可以使用，是因为structslice核心结构在定义的时候就已经分配出来了。
　　6、slice是24字节，interface是16字节，其他的都是8字节
　　7、这6种类型和nil进行比较判断本质上都是和变量本身做判断，slice是判断管理结构的第一个指针字段，map，channel本身就是指针