背景

声明、初始化代码，我们都懂，但是它背后是怎么实现的呢？

类型转换分析

hello.go

  1 package main
  2
  3 func main() {
  4         var a = "hello"
  5         var b = []byte(a)
  6         println(b)
  7 }

我们写一份上面的代码

go tool compile -S ./hello.go | grep "hello.go:5"

 

我们看最后一行，CALL 调用了runtime.stringtoslicebyte 

func stringtoslicebyte(buf *tmpBuf, s string) []byte {
	var b []byte
	if buf != nil && len(s) <= len(buf) {
		*buf = tmpBuf{}
		b = buf[:len(s)]
	} else {
		b = rawbyteslice(len(s))
	}
	copy(b, s)
	return b
}

我们可以看到在这个函数里面使用了copy进行复制

go func语法分析

hello.go

  1 package main
  2
  3 import "time"
  4
  5 func main() {
  6         go func () {
  7             println("hello world")
  8         }()
  9         time.Sleep(time.Second * 5)
 10 }

go tool compile -S ./hello.go | grep "hello.go:6"

在上述图中，我们可以看到编译过程中CALL runtime.newproc 

Channel语法分析

  1 package main
  2
  3 func main() {
  4         var a = make(chan int, 1)
  5         a <- 666
  6
  7         x := <-a
  8         println(x)
  9 }

我们写了一份非阻塞发送和接收的代码

go tool compile -S ./channel_no_block.go

 我们可以在chan.go中找到chansend1和chanrecv1的代码实现

// entry points for <- c from compiled code
//go:nosplit
func chanrecv1(c *hchan, elem unsafe.Pointer) {
	chanrecv(c, elem, true)
}

// entry point for c <- x from compiled code
//go:nosplit
func chansend1(c *hchan, elem unsafe.Pointer) {
	chansend(c, elem, true, getcallerpc())
}

channel的panic情况怎么找？

  1 package main
  2
  3 func main() {
  4         var ch chan int
  5         close(ch)
  6         ch <- 1
  7 }

我们先定义一份肯定会导致channel panic的代码

go tool compile -S ./channel_panic.go | grep "channel_panic.go:6"

我们可以看到最后一行CALL 是runtime.chansend1

我们进入代码看逻辑 

chan.go:202

它自定义了一个plainError的错误类型

 我们可以看到有几种情况会抛出这个错误

1.send on closed channel

2.close of nil channel

3.close of closed channel