Go语言高级编程(Advanced Go Programming)

Go语言高级编程(Advanced Go Programming)

1. golang都是传值，与其他语言不同的是数组作为参数时，也是传值！
   但是，lambda闭包引用的外部变量，则是引用！
   另外，slice、string虽然也是传值，但其本质上是一个引用信息（指针、长度等信息），不涉及具体的内容。

2. 空数组 [0]int{}、空结构体struct{}{} 本质上都不占用内存空间，非常好用，当然后者用的更多。

3. 空切片 sc[:0] 在特定场合下非常有用！例如字符串的去除空格、过滤等功能。见代码

   func RemoveBlank(s string)[]byte{
       b := s[:0]
       
       for(i := 0; i < len(s); i++){
           if s[i] != ' '{
               b = append(b, s[i]) //在原内存上操作，且肯定不会超出，效率非常高
           }
       }
   }
   

4. 切片底层是数组，如果切片一直存在，那么数组也不会被释放。所以这里可能存在严重的内存浪费行为。
   例如从文件内容中查找指定的内容，则可能会发生这种情况：读取了整个文件，返回了一个很大的[]byte，但最终返回的是一个很小的[]byte，这时候底层的数组不会被释放！
   这时，最好就是将获取到的结果append到全新的切片中。

   func FindPhoneNumber(file string)[]byte{
       b, _ := ioutil.ReadFile(file)
       //return regexp.MustCompile(`[0-9]+`).Find(b) //FIXME 不推荐！存在浪费的可能！
   
       b = regexp.MustCompile(`[0-9]+`).Find(b) 
       return append([]byte{}, b...) //这样就OK了
   }
   

   另外，还有一种可能，就是切片中存的是指针，当缩小切片的范围时，范围外的指针仍然存在！同样会阻碍GC的进行！

   //bad demo
   var a[]*int{ ... }
   a = a[:len(a)-1] //注意：此时最后一个元素仍然存在，不会被GC！
   

   那需要怎么做呢？ 首先将不需要的元素置为nil，再切片就OK啦：

   //good demo
   var a[]*int{ ... }
   a[len(a)-1] = nil //
   a = a[:len(a)-1]
   

   如果切片存在的周期很短的话，可以不用刻意处理这个问题！

5. 在main.main函数执行之前所有代码都运行在同一个goroutine，也就是程序的主系统线程中。
   因此，如果某个init函数内部用go关键字启动了新的goroutine的话，新的goroutine只有在进入main.main函数之后才可能被执行到。

   package main
   
   import (
       "fmt"
       "time"
   )
   
   // main.main()执行之前，只有一个main goroutine，因此，哪怕init中有goroutine，也只能等到main.main()执行时才能执行
   func init() {
       fmt.Println("init in")
       go func() {
           fmt.Println("init goroutine in") //看看这行信息出现的时间
           time.Sleep(time.Second * 5)
           fmt.Println("init goroutine out")
       }()
       fmt.Println("init out")
   }
   
   func main() {
       fmt.Println("-----main")
   
       time.Sleep(time.Second * 10) 
   }
   

6. Go语言函数的递归调用深度逻辑上没有限制，函数调用的栈是不会出现溢出错误的（相对而言），因为Go语言运行时会根据需要动态地调整函数栈的大小。每个goroutine刚启动时只会分配很小的栈（4或8KB，具体依赖实现），根据需要动态调整栈的大小，栈最大可以达到GB级（依赖具体实现）。

   package main
   
   import "fmt"
   
   //golang 的栈不能超过 1000000000-byte limit
   func main() {
       defer func() {
           if e := recover(); e != nil {
               fmt.Println(e)
           }
   
       }()
   
       n := 500000000
       r := factorial(n)
       fmt.Printf("%v 的阶乘是：%v\n", n, r)
   }
   
   //factorial 计算阶乘 - 不考虑溢出
   func factorial(n int) int {
       if n == 0 {
           return 1
       }
       return n * factorial(n-1)
   }
   

   因为，Go语言函数的栈不会溢出，所以普通Go程序员已经很少需要关心栈的运行机制的。
   在Go语言规范中甚至故意没有讲到栈和堆的概念。
   我们无法知道函数参数或局部变量到底是保存在栈中还是堆中，我们只需要知道它们能够正常工作就可以了。

7. 因为不需要考虑堆、栈问题，所以完全可以这么写

   func tmp()*int{
       x := 10
       return &x //这是C/CPP中是完全不允许的，因为局部变量在栈上，函数执行完毕就会被销毁 - 但是golang足够智能，会自动在堆上创建 - 如果你非要关注堆、栈的话。
   }
   

   golang足够智能，会自行判断。

未完待续