go 是瞬間發(fā)生的動作，since 則表示從以前到現在的一段持續(xù)時間，而瞬間動作不可能持續(xù)發(fā)生，只要把瞬間動作 go 否定為 not/never go
目前創(chuàng)新互聯已為近1000家的企業(yè)提供了網站建設、域名、雅安服務器托管、網站托管運營、企業(yè)網站設計、偃師網站維護等服務，公司將堅持客戶導向、應用為本的策略，正道將秉承"和諧、參與、激情"的文化，與客戶和合作伙伴齊心協(xié)力一起成長，共同發(fā)展。
、數組
與其他大多數語言類似，Go語言的數組也是一個元素類型相同的定長的序列。
（1）數組的創(chuàng)建。
數組有3種創(chuàng)建方式：[length]Type 、[N]Type{value1, value2, ... , valueN}、[...]Type{value1, value2, ... , valueN} 如下：
復制代碼代碼如下:
func test5() {
var iarray1 [5]int32
var iarray2 [5]int32 = [5]int32{1, 2, 3, 4, 5}
iarray3 := [5]int32{1, 2, 3, 4, 5}
iarray4 := [5]int32{6, 7, 8, 9, 10}
iarray5 := [...]int32{11, 12, 13, 14, 15}
iarray6 := [4][4]int32{{1}, {1, 2}, {1, 2, 3}}
fmt.Println(iarray1)
fmt.Println(iarray2)
fmt.Println(iarray3)
fmt.Println(iarray4)
fmt.Println(iarray5)
fmt.Println(iarray6)
}
結果：
[0 0 0 0 0]
[1 2 3 4 5]
[1 2 3 4 5]
[6 7 8 9 10]
[11 12 13 14 15]
[[1 0 0 0] [1 2 0 0] [1 2 3 0] [0 0 0 0]]
我們看數組 iarray1，只聲明，并未賦值，Go語言幫我們自動賦值為0。再看 iarray2 和 iarray3 ，我們可以看到，Go語言的聲明，可以表明類型，也可以不表明類型，var iarray3 = [5]int32{1, 2, 3, 4, 5} 也是完全沒問題的。
（2）數組的容量和長度是一樣的。cap() 函數和 len() 函數均輸出數組的容量（即長度）。如：
復制代碼代碼如下:
func test6() {
iarray4 := [5]int32{6, 7, 8, 9, 10}
fmt.Println(len(iarray4))
fmt.Println(cap(iarray4))
}
輸出都是5。
（3）使用：
復制代碼代碼如下:
func test7() {
iarray7 := [5]string{"aaa", `bb`, "可以啦", "叫我說什么好", "()"}
fmt.Println(iarray7)
for i := range iarray7 {
fmt.Println(iarray7[i])
}
}
二、切片
Go語言中，切片是長度可變、容量固定的相同的元素序列。Go語言的切片本質是一個數組。容量固定是因為數組的長度是固定的，切片的容量即隱藏數組的長度。長度可變指的是在數組長度的范圍內可變。
（1）切片的創(chuàng)建。
切片的創(chuàng)建有4種方式：
1）make ( []Type ,length, capacity )
2) make ( []Type, length)
3) []Type{}
4) []Type{value1 , value2 , ... , valueN }
從3)、4)可見，創(chuàng)建切片跟創(chuàng)建數組唯一的區(qū)別在于 Type 前的“ [] ”中是否有數字，為空，則代表切片，否則則代表數組。因為切片是長度可變的。如下是創(chuàng)建切片的示例：
復制代碼代碼如下:
func test8() {
slice1 := make([]int32, 5, 8)
slice2 := make([]int32, 9)
slice3 := []int32{}
slice4 := []int32{1, 2, 3, 4, 5}
fmt.Println(slice1)
fmt.Println(slice2)
fmt.Println(slice3)
fmt.Println(slice4)
}
輸出為：
[0 0 0 0 0]
[0 0 0 0 0 0 0 0 0]
[]
[1 2 3 4 5]
如上，創(chuàng)造了4個切片，3個空切片，一個有值的切片。
（2）切片與隱藏數組：
一個切片是一個隱藏數組的引用，并且對于該切片的切片也引用同一個數組。如下示例，創(chuàng)建了一個切片slice0，并根據這個切片創(chuàng)建了2個切片 slice1 和 slice2：
復制代碼代碼如下:
func test9() {
slice0 := []string{"a", "b", "c", "d", "e"}
slice1 := slice0[2 : len(slice0)-1]
slice2 := slice0[:3]
fmt.Println(slice0, slice1, slice2)
slice2[2] = "8"
fmt.Println(slice0, slice1, slice2)
}
輸出為：
[a b c d e] [c d] [a b c]
[a b 8 d e] [8 d] [a b 8]
可見，切片slice0 、 slice1 和 slice2是同一個底層數組的引用，所以slice2改變了，其他兩個都會變。
（3）遍歷、修改切片：
復制代碼代碼如下:
func test10() {
slice0 := []string{"a", "b", "c", "d", "e"}
fmt.Println("\n~~~~~~元素遍歷~~~~~~")
for _, ele := range slice0 {
fmt.Print(ele, " ")
ele = "7"
}
fmt.Println("\n~~~~~~索引遍歷~~~~~~")
for index := range slice0 {
fmt.Print(slice0[index], " ")
}
fmt.Println("\n~~~~~~元素索引共同使用~~~~~~")
for index, ele := range slice0 {
fmt.Print(ele, slice0[index], " ")
}
fmt.Println("\n~~~~~~修改~~~~~~")
for index := range slice0 {
slice0[index] = "9"
}
fmt.Println(slice0)
}
如上，前三種循環(huán)使用了不同的for range循環(huán)，當for后面，range前面有2個元素時，第一個元素代表索引，第二個元素代表元素值，使用 “_” 則表示忽略，因為go語言中，未使用的值會導致編譯錯誤。
只有一個元素時，該元素代表索引。
只有用索引才能修改元素。如在第一個遍歷中，賦值ele為7，結果沒有作用。因為在元素遍歷中，ele是值傳遞，ele是該切片元素的副本，修改它不會影響原本值，而在第四個遍歷——索引遍歷中，修改的是該切片元素引用的值，所以可以修改。
結果為：
~~~~~~元素遍歷~~~~~~
a b c d e
~~~~~~索引遍歷~~~~~~
a b c d e
~~~~~~元素索引共同使用~~~~~~
aa bb cc dd ee
~~~~~~修改~~~~~~
[9 9 9 9 9]
（4）、追加、復制切片：
復制代碼代碼如下:
func test11() {
slice := []int32{}
fmt.Printf("slice的長度為：%d,slice為：%v\n", len(slice), slice)
slice = append(slice, 12, 11, 10, 9)
fmt.Printf("追加后，slice的長度為：%d,slice為：%v\n", len(slice), slice)
slicecp := make([]int32, (len(slice)))
fmt.Printf("slicecp的長度為：%d,slicecp為：%v\n", len(slicecp), slicecp)
copy(slicecp, slice)
fmt.Printf("復制賦值后，slicecp的長度為：%d,slicecp為：%v\n", len(slicecp), slicecp)
}
追加、復制切片，用的是內置函數append和copy，copy函數返回的是最后所復制的元素的數量。
（5）、內置函數append
內置函數append可以向一個切片后追加一個或多個同類型的其他值。如果追加的元素數量超過了原切片容量，那么最后返回的是一個全新數組中的全新切片。如果沒有超過，那么最后返回的是原數組中的全新切片。無論如何，append對原切片無任何影響。如下示例：
復制代碼代碼如下:
func test12() {
slice := []int32{1, 2, 3, 4, 5, 6}
slice2 := slice[:2]
_ = append(slice2, 50, 60, 70, 80, 90)
fmt.Printf("slice為：%v\n", slice)
fmt.Printf("操作的切片：%v\n", slice2)
_ = append(slice2, 50, 60)
fmt.Printf("slice為：%v\n", slice)
fmt.Printf("操作的切片：%v\n", slice2)
}
如上，append方法用了2次，結果返回的結果完全不同，原因是第二次append方法追加的元素數量沒有超過 slice 的容量。而無論怎樣，原切片slice2都無影響。結果：
slice為：[1 2 3 4 5 6]
操作的切片：[1 2]
slice為：[1 2 50 60 5 6]
操作的切片：[1 2]
在Go語言中有一些調試技巧能幫助我們快速找到問題，有時候你想盡可能多的記錄異常但仍覺得不夠，搞清楚堆棧的意義有助于定位Bug或者記錄更完整的信息。
本文將討論堆棧跟蹤信息以及如何在堆棧中識別函數所傳遞的參數。
Functions
先從這段代碼開始：
Listing 1
01 package main
02
03 func main() {
04 ? ? slice := make([]string, 2, 4)
05 ? ? Example(slice, "hello", 10)
06 }
07
08 func Example(slice []string, str string, i int) {
09 ? ? panic("Want stack trace")
10 }
Example函數定義了3個參數，1個string類型的slice, 1個string和1個integer, 并且拋出了panic，運行這段代碼可以看到這樣的結果：
Listing 2
Panic: Want stack trace
goroutine 1 [running]:
main.Example(0x2080c3f50, 0x2, 0x4, 0x425c0, 0x5, 0xa)
/Users/bill/Spaces/Go/Projects/src/github.com/goinaction/code/
temp/main.go:9 +0x64
main.main()
/Users/bill/Spaces/Go/Projects/src/github.com/goinaction/code/
temp/main.go:5 +0x85
goroutine 2 [runnable]:
runtime.forcegchelper()
/Users/bill/go/src/runtime/proc.go:90
runtime.goexit()
/Users/bill/go/src/runtime/asm_amd64.s:2232 +0x1
goroutine 3 [runnable]:
runtime.bgsweep()
/Users/bill/go/src/runtime/mgc0.go:82
runtime.goexit()
/Users/bill/go/src/runtime/asm_amd64.s:2232 +0x1
堆棧信息中顯示了在panic拋出這個時間所有的goroutines狀態(tài)，發(fā)生的panic的goroutine會顯示在最上面。
Listing 3
01 goroutine 1 [running]:
02 main.Example(0x2080c3f50, 0x2, 0x4, 0x425c0, 0x5, 0xa)
/Users/bill/Spaces/Go/Projects/src/github.com/goinaction/code/
temp/main.go:9 +0x64
03 main.main()
/Users/bill/Spaces/Go/Projects/src/github.com/goinaction/code/
temp/main.go:5 +0x85
第1行顯示最先發(fā)出panic的是goroutine 1, 第二行顯示panic位于main.Example中, 并能定位到該行代碼，在本例中第9行引發(fā)了panic。
下面我們關注參數是如何傳遞的：
Listing 4
// Declaration
main.Example(slice []string, str string, i int)
// Call to Example by main.
slice := make([]string, 2, 4)
Example(slice, "hello", 10)
// Stack trace
main.Example(0x2080c3f50, 0x2, 0x4, 0x425c0, 0x5, 0xa)
這里展示了在main中帶參數調用Example函數時的堆棧信息，比較就能發(fā)現兩者的參數數量并不相同，Example定義了3個參數，堆棧中顯示了6個參數?，F在的關鍵問題是我們要弄清楚它們是如何匹配的。
第1個參數是string類型的slice，我們知道在Go語言中slice是引用類型，即slice變量結構會包含三個部分：指針、長度(Lengthe)、容量(Capacity)
Listing 5
// Slice parameter value
slice := make([]string, 2, 4)
// Slice header values
Pointer: ?0x2080c3f50
Length: ? 0x2
Capacity: 0x4
// Declaration
main.Example(slice []string, str string, i int)
// Stack trace
main.Example(0x2080c3f50, 0x2, 0x4, 0x425c0, 0x5, 0xa)
因此，前面3個參數會匹配slice， 如下圖所示：
Figure 1
figure provided by Georgi Knox
我們現在來看第二個參數，它是string類型，string類型也是引用類型，它包括兩部分：指針、長度。
Listing 6
// String parameter value
"hello"
// String header values
Pointer: 0x425c0
Length: ?0x5
// Declaration
main.Example(slice []string,?str string, i int)
// Stack trace
main.Example(0x2080c3f50, 0x2, 0x4,?0x425c0, 0x5, 0xa)
可以確定，堆棧信息中第4、5兩個參數對應代碼中的string參數，如下圖所示：
Figure 2
figure provided by Georgi Knox
最后一個參數integer是single word值。
Listing 7
// Integer parameter value
10
// Integer value
Base 16: 0xa
// Declaration
main.Example(slice []string, str string,?i int)
// Stack trace
main.Example(0x2080c3f50, 0x2, 0x4, 0x425c0, 0x5,?0xa)
現在我們可以匹配代碼中的參數到堆棧信息了。
Figure 3
figure provided by Georgi Knox
Methods
如果我們將Example作為結構體的方法會怎么樣呢?
Listing 8
01 package main
02
03 import "fmt"
04
05 type trace struct{}
06
07 func main() {
08 ? ? slice := make([]string, 2, 4)
09
10 ? ? var t trace
11 ? ? t.Example(slice, "hello", 10)
12 }
13
14 func (t *trace) Example(slice []string, str string, i int) {
15 ? ? fmt.Printf("Receiver Address: %p\n", t)
16 ? ? panic("Want stack trace")
17 }
如上所示修改代碼，將Example定義為trace的方法，并通過trace的實例t來調用Example。
再次運行程序，會發(fā)現堆棧信息有一點不同：
Listing 9
Receiver Address:?0x1553a8
panic: Want stack trace
01 goroutine 1 [running]:
02 main.(*trace).Example(0x1553a8, 0x2081b7f50, 0x2, 0x4, 0xdc1d0, 0x5, 0xa)
/Users/bill/Spaces/Go/Projects/src/github.com/goinaction/code/
temp/main.go:16 +0x116
03 main.main()
/Users/bill/Spaces/Go/Projects/src/github.com/goinaction/code/
temp/main.go:11 +0xae
首先注意第2行的方法調用使用了pointer receiver，在package名字和方法名之間多出了"*trace"字樣。另外，參數列表的第1個參數標明了結構體(t)地址。我們從堆棧信息中看到了內部實現細節(jié)。
Packing
如果有多個參數可以填充到一個single word, 則這些參數值會合并打包：
Listing 10
01 package main
02
03 func main() {
04 ? ? Example(true, false, true, 25)
05 }
06?
07 func Example(b1, b2, b3 bool, i uint8) {
08 ? ? panic("Want stack trace")
09 }
這個例子修改Example函數為4個參數：3個bool型和1個八位無符號整型。bool值也是用8個bit表示，所以在32位和64位架構下，4個參數可以合并為一個single word。
Listing 11
01 goroutine 1 [running]:
02 main.Example(0x19010001)
/Users/bill/Spaces/Go/Projects/src/github.com/goinaction/code/
temp/main.go:8 +0x64
03 main.main()
/Users/bill/Spaces/Go/Projects/src/github.com/goinaction/code/
temp/main.go:4 +0x32
這是本例的堆棧信息，看下圖的具體分析：
Listing 12
// Parameter values
true, false, true, 25
// Word value
Bits ? ?Binary ? ? ?Hex ? Value
00-07 ? 0000 0001 ??01? ??true
08-15 ? 0000 0000 ??00? ? false
16-23 ? 0000 0001 ??01? ? true
24-31 ? 0001 1001 ??19? ? 25
// Declaration
main.Example(b1, b2, b3 bool, i uint8)
// Stack trace
main.Example(0x19010001)
以上展示了參數值是如何匹配到4個參數的。當我們看到堆棧信息中包括十六進制值，需要知道這些值是如何傳遞的。
定義一個切片，然后讓切片去引用一個已經創(chuàng)建好的數組?；菊Z法如下：
索引1：切片引用的起始元素位
索引2：切片只引用該元素位之前的元素
例程如下：
在該方法中，我們未指定容量cap，這里的值為5是系統(tǒng)定義的。
在方法一中，可以用arr數組名來操控數組中的元素，也可以通過slice切片來操控數組中的元素。切片是直接引用數組，數組是事先存在的，程序員是可見的。
通過 make 來創(chuàng)建切片，基本語法如下：
make函數第三個參數cap即容量是可選的，如果一定要自己注明的話，要注意保證cap≥len。
用該方法可以 指定切片的大小(len)和容量(cap)
例程如下：
由于未賦值系統(tǒng)默認將元素值置為0，即：
數值類型數組：????默認值為 0
字符串數組：? ? ? ?默認值為 ""
bool數組：? ? ? ? ? ?默認值為 false
在方法二中，通過make方式創(chuàng)建的切片對應的數組是由make底層維護，對外不可見，即只能通過slice去訪問各個元素。
定義一個切片，直接就指定具體數組，使用原理類似于make的方式。
例程如下：
PHP的數組是數列Array，列表List，散列表/關聯數組/字典Hashtable的聚合體。
是一個非常高級的數據結構。也是一個優(yōu)秀的設計。
有一套數組功能函數支持php的數組。
C數組只是一個"固定長度、固定類型"的數列Array，實現簡單，功能原始。有數列的隨機操作快的長處，也有數列的增、刪低效的毛病
如果要比較，PHP的數組應該和C++的STL有一比，功能類似。
重慶分公司
重慶分公司
