Go语言编程

1. 顺序编程

有限的类型推导
- var k = "hello" or k := "hello"
- 不会对函数返回值类型进行推导
不定参数 `args …int` 可以认为是数组切片类型 `args []int`
range用来遍历数组, 切片, 以及字典.
数组和切片
- 切片是数组的封装，为数组操作提供更多接口
- 切片更像是数组指针，保存对底层数组的引用
- len表示切片当前长度，cap表示切片最大容量
指针仅限于引用，不可以运算，智能解引用((&s).X 和 s.X)
映射 `_, ok ` m[key]= 判断是否存在; delete 删除映射
取消while, 只保留for.
- for <init>; <loop>; <pred> { … }
- for <loop> { … }
- for { … }
多重赋值, 多值返回, 匿名函数与闭包
错误处理 error
RAII解决方案 defer
异常传播 panic + recover
- panic(value). 触发异常并携带value
- if r := recover() ; r != nil 捕获可能的异常并处理.
new用来分配对象内存，make只用于创建切片，映射和信道并且不返回指针
每个源文件内部 `init()` 函数会在初始化时候调用

值语义 vs. 引用语义
- 大部分cases都是值语义
- 看起来像引用语义的有
  1. 数组切片
  2. map
  3. channel
  4. interface
- 这些"引用语义"类型内部实现都是维护指针
方法和函数差别不大 `func (v Vertex) Abs()` 和 `func Abs(v Vertex)`
方法 `func (a A)` 自动会实现 `func (a *A)`
- 智能解引用
- 通常使用指针作为接受者，好处有下面两点：
- 可以修改结构里面的字段
- 如果是大型结构体可以避免拷贝
初始化 new(A), A{a:1, b:2}, A{1,2}
匿名组合
- 类型和接口都可以通过匿名组合来实现继承
- 隐式地实现接口
非侵入式接口
- 对象实例可以赋值给接口
- 接口之间可以赋值
- 在内部接口值可以看做包含值和具体类型的元组(value, type).
类型/接口查询
- 值是否实现某个接口 `v.(IReader)` 或是什么类型 `v.(type)`
- t, ok := i.(T) 如果成功，ok=True, t则为对应类型T
- i.(type) 取得底层类型

goroutine go协程 see libtask
- 使用CPU数量 runtime.GOMAXPROCS()
- 主动yield runtime.GoSched()
并发通信
- 基于消息传递 channel `chan type`
  - 单向写入channel `chan<- type`
  - 单向读出channel `<-chan type`
  - 通过make(chan type [,bufsize])来创建. 信道可以是有缓冲的
- 基于内存共享 sync.* 同步机制
select 有效轮询各个channels状态
- select本身没有提供timeout机制
- workaround办法是启动另外一个检测超时的goroutine