Go 由于不支持泛型而臭名昭著，但最近，泛型已接近成為現(xiàn)實(shí)。Go 團(tuán)隊(duì)實(shí)施了一個(gè)看起來(lái)比較穩(wěn)定的設(shè)計(jì)草案，并且正以源到源翻譯器原型的形式獲得關(guān)注。本文講述的是泛型的最新設(shè)計(jì)，以及如何自己嘗試泛型。
創(chuàng)新互聯(lián)建站從2013年開(kāi)始，是專業(yè)互聯(lián)網(wǎng)技術(shù)服務(wù)公司，擁有項(xiàng)目成都網(wǎng)站設(shè)計(jì)、網(wǎng)站建設(shè)、外貿(mào)網(wǎng)站建設(shè)網(wǎng)站策劃，項(xiàng)目實(shí)施與項(xiàng)目整合能力。我們以讓每一個(gè)夢(mèng)想脫穎而出為使命，1280元蒼南做網(wǎng)站,已為上家服務(wù),為蒼南各地企業(yè)和個(gè)人服務(wù),聯(lián)系電話:028-86922220
例子
FIFO Stack
假設(shè)你要?jiǎng)?chuàng)建一個(gè)先進(jìn)先出堆棧。沒(méi)有泛型，你可能會(huì)這樣實(shí)現(xiàn)：
type?Stack?[]interface{}func?(s?Stack)?Peek()?interface{}?{
return?s[len(s)-1]
}
func?(s?*Stack)?Pop()?{
*s?=?(*s)[:
len(*s)-1]
}
func?(s?*Stack)?Push(value?interface{})?{
*s?=?
append(*s,?value)
}
但是，這里存在一個(gè)問(wèn)題：每當(dāng)你 Peek 項(xiàng)時(shí)，都必須使用類型斷言將其從 interface{} 轉(zhuǎn)換為你需要的類型。如果你的堆棧是 *MyObject 的堆棧，則意味著很多 s.Peek().(*MyObject)這樣的代碼。這不僅讓人眼花繚亂，而且還可能引發(fā)錯(cuò)誤。比如忘記 * 怎么辦？或者如果您輸入錯(cuò)誤的類型怎么辦？s.Push(MyObject{})` 可以順利編譯，而且你可能不會(huì)發(fā)現(xiàn)到自己的錯(cuò)誤，直到它影響到你的整個(gè)服務(wù)為止。
通常，使用 interface{} 是相對(duì)危險(xiǎn)的。使用更多受限制的類型總是更安全，因?yàn)榭梢栽诰幾g時(shí)而不是運(yùn)行時(shí)發(fā)現(xiàn)問(wèn)題。
泛型通過(guò)允許類型具有類型參數(shù)來(lái)解決此問(wèn)題：
type?Stack(type?T)?[]Tfunc?(s?Stack(T))?Peek()?T?{
return?s[len(s)-1]
}
func?(s?*Stack(T))?Pop()?{
*s?=?(*s)[:
len(*s)-1]
}
func?(s?*Stack(T))?Push(value?T)?{
*s?=?
append(*s,?value)
}
這會(huì)向 Stack 添加一個(gè)類型參數(shù)，從而完全不需要 interface{}。現(xiàn)在，當(dāng)你使用 Peek() 時(shí)，返回的值已經(jīng)是原始類型，并且沒(méi)有機(jī)會(huì)返回錯(cuò)誤的值類型。這種方式更安全，更容易使用。（譯注：就是看起來(lái)更丑陋，^-^）
此外，泛型代碼通常更易于編譯器優(yōu)化，從而獲得更好的性能（以二進(jìn)制大小為代價(jià)）。如果我們對(duì)上面的非泛型代碼和泛型代碼進(jìn)行基準(zhǔn)測(cè)試，我們可以看到區(qū)別：
type?MyObject?struct?{
X?
int
}
var?sink?MyObjectfunc?BenchmarkGo1(b?*testing.B)?{
for?i?:=?0;?i??b.N;?i++?{
var?s?Stack
s.Push(MyObject{})
s.Push(MyObject{})
s.Pop()
sink?=?s.Peek().(MyObject)
}
}
func?BenchmarkGo2(b?*testing.B)?{
for?i?:=?0;?i??b.N;?i++?{
var?s?Stack(MyObject)
s.Push(MyObject{})
s.Push(MyObject{})
s.Pop()
sink?=?s.Peek()
}
}
結(jié)果：
BenchmarkGo1BenchmarkGo1-16?????12837528?????????87.0?ns/op???????48?B/op????????2?allocs/opBenchmarkGo2BenchmarkGo2-16?????28406479?????????41.9?ns/op???????24?B/op????????2?allocs/op
在這種情況下，我們分配更少的內(nèi)存，同時(shí)泛型的速度是非泛型的兩倍。
合約（Contracts）
上面的堆棧示例適用于任何類型。但是，在許多情況下，你需要編寫僅適用于具有某些特征的類型的代碼。例如，你可能希望堆棧要求類型實(shí)現(xiàn) String() 函數(shù)
沒(méi)有語(yǔ)言是垃圾，語(yǔ)言是工具，關(guān)鍵在于使用者。
1：go與c語(yǔ)言相比，go有垃圾回收，不會(huì)造成內(nèi)存泄露問(wèn)題，go的語(yǔ)法簡(jiǎn)潔優(yōu)美，同樣的c++100行代碼go大概50行可以做到，go的目標(biāo)是能做C++能做的事，雖然目前可能不太實(shí)際
2：go的并行機(jī)制并不是一般的線程，通過(guò)channel和goroutine來(lái)實(shí)現(xiàn)，比線程還要輕量級(jí)很多，所以go適合高并發(fā)的服務(wù)器端
3：go是系統(tǒng)級(jí)別的語(yǔ)言，相當(dāng)于c語(yǔ)言，java c#都是算比較高級(jí)的語(yǔ)言，這個(gè)不太好比，效率的話目前確實(shí)是要高一些，而且不需要外部依賴，所以go還是很強(qiáng)大的
import "workname/packetfolder"
導(dǎo)入多個(gè)包
方法調(diào)用 包名.函數(shù)//不是函數(shù)或結(jié)構(gòu)體所處文件或文件夾名
packagename.Func()
前面加個(gè)點(diǎn)表示省略調(diào)用，那么調(diào)用該模塊里面的函數(shù)，可以不用寫模塊名稱了:
當(dāng)導(dǎo)入一個(gè)包時(shí)，該包下的文件里所有init()函數(shù)都會(huì)被執(zhí)行，然而，有些時(shí)候我們并不需要把整個(gè)包都導(dǎo)入進(jìn)來(lái)，僅僅是是希望它執(zhí)行init()函數(shù)而已。下劃線的作用僅僅是為了調(diào)用init()函數(shù)，所以無(wú)法通過(guò)包名來(lái)調(diào)用包中的其他函數(shù)
import _ package
變量聲明必須要使用否則會(huì)報(bào)錯(cuò)。
全局變量運(yùn)行聲明但不使用。
func 函數(shù)名 (參數(shù)1，參數(shù)2，...) (返回值a 類型a, 返回值b 類型b，...)
func 函數(shù)名 (參數(shù)1，參數(shù)2，...) (返回值類型1, 返回值類型2，...)
func (this *結(jié)構(gòu)體名) 函數(shù)名(參數(shù) string) (返回值類型1, 返回值類型2){}
使用大小來(lái)區(qū)分函數(shù)可見(jiàn)性
大寫是public類型
小寫是private類型
func prifunc int{}
func pubfunc int{}
聲明靜態(tài)變量
const value int
定義變量
var value int
聲明一般類型、接口和結(jié)構(gòu)體
聲明函數(shù)
func function () int{}
go里面所有的空值對(duì)應(yīng)如下
通道類型
內(nèi)建函數(shù) new 用來(lái)分配內(nèi)存，它的第一個(gè)參數(shù)是一個(gè)類型，不是一個(gè)值，它的返回值是一個(gè)指向新分配類型零值的指針
func new(Type) *Type
[這位博主有非常詳細(xì)的分析]
Go 語(yǔ)言支持并發(fā)，我們只需要通過(guò) go 關(guān)鍵字來(lái)開(kāi)啟 goroutine 即可。
goroutine 是輕量級(jí)線程，goroutine 的調(diào)度是由 Golang 運(yùn)行時(shí)進(jìn)行管理的。
同一個(gè)程序中的所有 goroutine 共享同一個(gè)地址空間。
語(yǔ)法格式如下:
通道（channel）是用來(lái)傳遞數(shù)據(jù)的一個(gè)數(shù)據(jù)結(jié)構(gòu)。
通道的聲明
通道可用于兩個(gè) goroutine 之間通過(guò)傳遞一個(gè)指定類型的值來(lái)同步運(yùn)行和通訊。操作符 - 用于指定通道的方向，發(fā)送或接收。如果未指定方向，則為雙向通道。
[這里有比較詳細(xì)的用例]
go里面的空接口可以指代任何類型(無(wú)論是變量還是函數(shù))
聲明空接口
go里面的的強(qiáng)制類型轉(zhuǎn)換語(yǔ)法為:
int(data)
如果是接口類型的強(qiáng)制轉(zhuǎn)成其他類型的語(yǔ)法為:
go里面的強(qiáng)制轉(zhuǎn)換是將值復(fù)制過(guò)去,所以在數(shù)據(jù)量的時(shí)候有比較高的運(yùn)行代價(jià)
如果你想進(jìn)步就不能固步自封，一般來(lái)說(shuō)到了架構(gòu)這一級(jí)的時(shí)候，會(huì)根據(jù)客戶的實(shí)際情況選擇最合適的開(kāi)發(fā)語(yǔ)言。而不是看自己熟悉的語(yǔ)言能不能開(kāi)發(fā)對(duì)應(yīng)的項(xiàng)目。
go和java的最大區(qū)別是，go不是一個(gè)面向?qū)ο蟮某绦颉Ｋ詆o更像c而不是c++。
當(dāng)然你可以指責(zé)一個(gè)新語(yǔ)言功能弱，性能差。但語(yǔ)法方面來(lái)說(shuō)，一般一個(gè)被推出的語(yǔ)言基本上都是有相當(dāng)經(jīng)驗(yàn)的人來(lái)檢查過(guò)的。
重慶分公司
重慶分公司
