[[256890]]

（以下內(nèi)容是我的碩士論文的摘錄，幾乎是整個(gè) 2.1 章節(jié)，向具有 CS 背景的人快速介紹 Go）

Go 是一門用于并發(fā)編程的命令式編程語言，它主要由創(chuàng)造者 Google 進(jìn)行開發(fā)，最初主要由 Robert Griesemer、Rob Pike 和 Ken Thompson 開發(fā)。這門語言的設(shè)計(jì)起始于 2007 年，并在 2009 年推出最初版本；而***個(gè)穩(wěn)定版本是 2012 年發(fā)布的 1.0 版本。¹

Go 有 C 風(fēng)格的語法（沒有預(yù)處理器）、垃圾回收機(jī)制，而且類似它在貝爾實(shí)驗(yàn)室里被開發(fā)出來的前輩們：Newsqueak（Rob Pike）、Alef（Phil Winterbottom）和 Inferno（Pike、Ritchie 等人），使用所謂的 Go 協(xié)程goroutines和信道channels（一種基于 Hoare 的“通信順序進(jìn)程”理論的協(xié)程）提供內(nèi)建的并發(fā)支持。²

Go 程序以包的形式組織。包本質(zhì)是一個(gè)包含 Go 文件的文件夾。包內(nèi)的所有文件共享相同的命名空間，而包內(nèi)的符號(hào)有兩種可見性：以大寫字母開頭的符號(hào)對(duì)于其他包是可見，而其他符號(hào)則是該包私有的：

func PublicFunction() {
    fmt.Println("Hello world")
}
 
func privateFunction() {
    fmt.Println("Hello package")
}

類型

Go 有一個(gè)相當(dāng)簡(jiǎn)單的類型系統(tǒng)：沒有子類型（但有類型轉(zhuǎn)換），沒有泛型，沒有多態(tài)函數(shù)，只有一些基本的類型：

1. 基本類型：int、int64、int8、uint、float32、float64 等
2. struct
3. interface：一組方法的集合
4. map[K, V]：一個(gè)從鍵類型到值類型的映射
5. [number]Type：一些 Type 類型的元素組成的數(shù)組
6. []Type：某種類型的切片（具有長度和功能的數(shù)組的指針）
7. chan Type：一個(gè)線程安全的隊(duì)列
8. 指針 *T 指向其他類型
9. 函數(shù)

10. 具名類型：可能具有關(guān)聯(lián)方法的其他類型的別名（LCTT 譯注：這里的別名并非指 Go 1.9 中的新特性“類型別名”）：

      type T struct { foo int }
      type T *T
      type T OtherNamedType

    具名類型完全不同于它們的底層類型，所以你不能讓它們互相賦值，但一些操作符，例如 +，能夠處理同一底層數(shù)值類型的具名類型對(duì)象們（所以你可以在上面的示例中把兩個(gè) T 加起來）。

映射、切片和信道是類似于引用的類型——它們實(shí)際上是包含指針的結(jié)構(gòu)。包括數(shù)組（具有固定長度并可被拷貝）在內(nèi)的其他類型則是值傳遞（拷貝）。

類型轉(zhuǎn)換

類型轉(zhuǎn)換類似于 C 或其他語言中的類型轉(zhuǎn)換。它們寫成這樣子：

TypeName(value)

常量

Go 有“無類型”字面量和常量。

1 // 無類型整數(shù)字面量
const foo = 1 // 無類型整數(shù)常量
const foo int = 1 // int 類型常量

無類型值可以分為以下幾類：UntypedBool、UntypedInt、UntypedRune、UntypedFloat、UntypedComplex、UntypedString 以及 UntypedNil（Go 稱它們?yōu)榛A(chǔ)類型，其他基礎(chǔ)種類可用于具體類型，如 uint8）。一個(gè)無類型值可以賦值給一個(gè)從基礎(chǔ)類型中派生的具名類型；例如：

type someType int
 
const untyped = 2 // UntypedInt
const bar someType = untyped // OK: untyped 可以被賦值給 someType
const typed int = 2 // int
const bar2 someType = typed // error: int 不能被賦值給 someType

接口和對(duì)象

正如上面所說的，接口是一組方法的集合。Go 本身不是一種面向?qū)ο蟮恼Z言，但它支持將方法關(guān)聯(lián)到具名類型上：當(dāng)聲明一個(gè)函數(shù)時(shí)，可以提供一個(gè)接收者。接收者是函數(shù)的一個(gè)額外參數(shù)，可以在函數(shù)之前傳遞并參與函數(shù)查找，就像這樣：

type SomeType struct { ... }
type SomeType struct { ... }
 
func (s *SomeType) MyMethod() {
}
 
func main() {
    var s SomeType
    s.MyMethod()
}

如果對(duì)象實(shí)現(xiàn)了所有方法，那么它就實(shí)現(xiàn)了接口；例如，*SomeType（注意指針）實(shí)現(xiàn)了下面的接口 MyMethoder，因此 *SomeType 類型的值就能作為 MyMethoder 類型的值使用。最基本的接口類型是 interface{}，它是一個(gè)帶空方法集的接口 —— 任何對(duì)象都滿足該接口。

type MyMethoder interface {
    MyMethod()
}

合法的接收者類型是有些限制的；例如，具名類型可以是指針類型（例如，type MyIntPointer *int），但這種類型不是合法的接收者類型。

控制流

Go 提供了三個(gè)主要的控制了語句：if、switch 和 for。這些語句同其他 C 風(fēng)格語言內(nèi)的語句非常類似，但有一些不同：

• 條件語句沒有括號(hào)，所以條件語句是 if a == b {} 而不是 if (a == b) {}。大括號(hào)是必須的。
• 所有的語句都可以有初始化，比如這個(gè) if result, err := someFunction(); err == nil { // use result }
• switch 語句在分支里可以使用任何表達(dá)式
• switch 語句可以處理空的表達(dá)式（等于 true）
• 默認(rèn)情況下，Go 不會(huì)從一個(gè)分支進(jìn)入下一個(gè)分支（不需要 break 語句），在程序塊的末尾使用 fallthrough 則會(huì)進(jìn)入下一個(gè)分支。
• 循環(huán)語句 for 不僅能循環(huán)值域：for key, val := range map { do something }

Go 協(xié)程

關(guān)鍵詞 go 會(huì)產(chǎn)生一個(gè)新的 Go 協(xié)程goroutine，這是一個(gè)可以并行執(zhí)行的函數(shù)。它可以用于任何函數(shù)調(diào)用，甚至一個(gè)匿名函數(shù)：

func main() {
    ...
    go func() {
        ...
    }()
 
    go some_function(some_argument)
}

信道

Go 協(xié)程通常和信道channels結(jié)合，用來提供一種通信順序進(jìn)程的擴(kuò)展。信道是一個(gè)并發(fā)安全的隊(duì)列，而且可以選擇是否緩沖數(shù)據(jù)：

var unbuffered = make(chan int) // 直到數(shù)據(jù)被讀取時(shí)完成數(shù)據(jù)塊發(fā)送
var buffered = make(chan int, 5) // 最多有 5 個(gè)未讀取的數(shù)據(jù)塊

運(yùn)算符 <- 用于和單個(gè)信道進(jìn)行通信。

valueReadFromChannel := <- channel
otherChannel <- valueToSend

語句 select 允許多個(gè)信道進(jìn)行通信：

select {
    case incoming := <- inboundChannel:
    // 一條新消息
    case outgoingChannel <- outgoing:
    // 可以發(fā)送消息
}

defer 聲明

Go 提供語句 defer 允許函數(shù)退出時(shí)調(diào)用執(zhí)行預(yù)定的函數(shù)。它可以用于進(jìn)行資源釋放操作，例如：

func myFunc(someFile io.ReadCloser) {
    defer someFile.close()
    /* 文件相關(guān)操作 */
}

當(dāng)然，它允許使用匿名函數(shù)作為被調(diào)函數(shù)，而且編寫被調(diào)函數(shù)時(shí)可以像平常一樣使用任何變量。

錯(cuò)誤處理

Go 沒有提供異常類或者結(jié)構(gòu)化的錯(cuò)誤處理。然而，它通過第二個(gè)及后續(xù)的返回值來返回錯(cuò)誤從而處理錯(cuò)誤：

func Read(p []byte) (n int, err error)
 
// 內(nèi)建類型：
type error interface {
    Error() string
}

必須在代碼中檢查錯(cuò)誤或者賦值給 _：

n0, _ := Read(Buffer) // 忽略錯(cuò)誤
n, err := Read(buffer)
if err != nil {
    return err
}

有兩個(gè)函數(shù)可以快速跳出和恢復(fù)調(diào)用棧：panic() 和 recover()。當(dāng) panic() 被調(diào)用時(shí)，調(diào)用棧開始彈出，同時(shí)每個(gè) defer 函數(shù)都會(huì)正常運(yùn)行。當(dāng)一個(gè) defer 函數(shù)調(diào)用 recover()時(shí)，調(diào)用棧停止彈出，同時(shí)返回函數(shù) panic() 給出的值。如果我們讓調(diào)用棧正常彈出而不是由于調(diào)用 panic() 函數(shù)，recover() 將只返回 nil。在下面的例子中，defer 函數(shù)將捕獲 panic() 拋出的任何 error 類型的值并儲(chǔ)存在錯(cuò)誤返回值中。第三方庫中有時(shí)會(huì)使用這個(gè)方法增強(qiáng)遞歸代碼的可讀性，如解析器，同時(shí)保持公有函數(shù)仍使用普通錯(cuò)誤返回值。

func Function() (err error) {
    defer func() {
        s := recover()
        switch s := s.(type) {  // type switch
            case error:
                err = s         // s has type error now
            default:
                panic(s)
        }
    }
}

數(shù)組和切片

正如前邊說的，數(shù)組是值類型，而切片是指向數(shù)組的指針。切片可以由現(xiàn)有的數(shù)組切片產(chǎn)生，也可以使用 make() 創(chuàng)建切片，這會(huì)創(chuàng)建一個(gè)匿名數(shù)組以保存元素。

slice1 := make([]int, 2, 5) // 分配 5 個(gè)元素，其中 2 個(gè)初始化為0
slice2 := array[:] // 整個(gè)數(shù)組的切片
slice3 := array[1:] // 除了首元素的切片

除了上述例子，還有更多可行的切片運(yùn)算組合，但需要明了直觀。

使用 append() 函數(shù)，切片可以作為一個(gè)變長數(shù)組使用。

slice = append(slice, value1, value2)
slice = append(slice, arrayOrSlice...)

切片也可以用于函數(shù)的變長參數(shù)。

映射

映射maps是簡(jiǎn)單的鍵值對(duì)儲(chǔ)存容器，并支持索引和分配。但它們不是線程安全的。

someValue := someMap[someKey]
someValue, ok := someMap[someKey] // 如果鍵值不在 someMap 中，變量 ok 會(huì)賦值為 `false`
someMap[someKey] = someValue