類型斷言就是將接口類型的值(x),裝換成類型(T),成功則返回 T 的實(shí)例。格式為:
成都創(chuàng)新互聯(lián)堅(jiān)持“要么做到,要么別承諾”的工作理念,服務(wù)領(lǐng)域包括:成都網(wǎng)站建設(shè)、成都網(wǎng)站制作、企業(yè)官網(wǎng)、英文網(wǎng)站、手機(jī)端網(wǎng)站、網(wǎng)站推廣等服務(wù),滿足客戶于互聯(lián)網(wǎng)時(shí)代的綿陽(yáng)網(wǎng)站設(shè)計(jì)、移動(dòng)媒體設(shè)計(jì)的需求,幫助企業(yè)找到有效的互聯(lián)網(wǎng)解決方案。努力成為您成熟可靠的網(wǎng)絡(luò)建設(shè)合作伙伴!
x.(T) // 不安全,會(huì)造成panic,程序中斷
v := x.(T) // 不安全,會(huì)造成panic,程序中斷
v, ok: = x.(T) // 推薦寫(xiě)法
1
2
3
1
2
3
類型斷言的必要條件就是x是接口類型,非接口類型的x不能做類型斷言:
var i int=10
v:=i.(int) //錯(cuò)誤 i不是接口類型,無(wú)法使用接口斷言
1
2
1
2
T可以是非接口類型,如果想斷言合法,則T應(yīng)該實(shí)現(xiàn)x的接口
T也可以是接口,則x的動(dòng)態(tài)類型也應(yīng)該實(shí)現(xiàn)接口T
var x interface{}=7 //x的動(dòng)態(tài)類型為int,值為7
i:=x.(int) // i的類型為int ,值為7
type I interface {m()}
var y I
s:=y.(string) //非法: string 沒(méi)有實(shí)現(xiàn)接口 I (missing method m)
r:=y.(io.Reader) //y如果實(shí)現(xiàn)了接口io.Reader和I的情況下, r的類型則為io.Reader
1
2
3
4
5
6
7
8
1
2
3
4
5
6
7
8
類型斷言如果非法,運(yùn)行時(shí)就會(huì)出現(xiàn)錯(cuò)誤,為了
這是它的優(yōu)點(diǎn),因?yàn)榫幾g器在編譯時(shí)不去確定你傳的到底是什么類型,你傳一個(gè)string,它能接收,你傳一個(gè)對(duì)象struct,它也能接收,它只有一個(gè)要求,實(shí)現(xiàn)我要求實(shí)現(xiàn)的方法!
既然interface是不限定類型,是通用類型,這是一種開(kāi)放表現(xiàn),這種開(kāi)放怎么實(shí)現(xiàn)的呢?方法就是不去檢驗(yàn)?zāi)愕念愋停热徊粰z驗(yàn)?zāi)且膊蝗ビ涗浤愕念愋停。。。∽⒁鈏nterface不記錄你的類型,所以不管你是string,struct,int,我都不管,我都不記錄,我只記錄你的地址,結(jié)果是編譯器在編譯時(shí)也不知道你是什么類型,你有什么字段!
但是現(xiàn)在有一個(gè)問(wèn)題,編譯器也沒(méi)辦法確定一個(gè)interface以前是什么類型!(編譯時(shí))這就是因果關(guān)系:為了達(dá)到通用,interface不做確定工作,結(jié)果就是interface也不知道以前的類型。
一個(gè)類型轉(zhuǎn)接口的過(guò)程,就是放棄自我類型的過(guò)程,變成了沒(méi)有類型。
這樣做有什么好處呢,很顯然是:通用,如果把一個(gè)函數(shù)的傳入?yún)?shù)設(shè)置為空接口(interface{}),那么任何類型當(dāng)做參數(shù)都能夠調(diào)用該接口,最好的例子就是:
它就是一個(gè)很標(biāo)準(zhǔn)的例子,println傳入?yún)?shù)可以是任何類型,都能打印出它的值。
當(dāng)然你可以說(shuō)你記得,因?yàn)槭悄惆阉D(zhuǎn)換成interface,你理所當(dāng)然的記得,可編譯器不知道啊,interface不包含類型,也就是說(shuō)你沒(méi)有讓它去記錄,所以它不知道。
針對(duì)這個(gè)問(wèn)題,go語(yǔ)言給了一個(gè)解決方案,斷言,當(dāng)將一個(gè)interface轉(zhuǎn)換成它原來(lái)類型的時(shí)候,在它后面指明它的原來(lái)類型,這樣編譯器就知道該按照什么類型去解析了。(其實(shí)說(shuō)白了,這就是通過(guò)人的記憶,編譯器不知道是什么類型,你告訴編譯器就可以了)
斷言其實(shí)是先獲取interface的動(dòng)態(tài)類型,然后與你指定的類型做判斷,如果一致,將它轉(zhuǎn)換成你指定的類型。如果不知道動(dòng)態(tài)類型,可以看這篇文章:
從報(bào)錯(cuò)可以看出, 不能直接轉(zhuǎn)換,需要對(duì)接口先進(jìn)行斷言
通常情況下,一個(gè)變量在確定類型的情況下編譯器知道他有哪些功能(注意,這里是針對(duì)編譯時(shí)),比如一個(gè)int類型,編譯器在編譯時(shí)知道能對(duì)他加減int,不能加減float,如果你這么做我就給你報(bào)錯(cuò)。一個(gè)struct包含哪些字段,不包含哪些字段,我定義一個(gè)user結(jié)構(gòu)體,里面只有name和age兩個(gè)字段,那么你只能取我這兩字段的值,你如果取height,我就給你報(bào)錯(cuò)。
這些都是正常情況下的,但是對(duì)于一個(gè)接口呢,編譯器會(huì)變成瞎子!在編譯的時(shí)候它不知道你原來(lái)是什么類型,所以它也沒(méi)法確定你包含什么字段,同樣是之前那個(gè)user結(jié)構(gòu)體,當(dāng)把它轉(zhuǎn)換成接口以后,編譯器就對(duì)它的類型一無(wú)所知了,你獲取name字段,這有接口有沒(méi)有呢?編譯器不知道!你請(qǐng)求height字段,這個(gè)泛型有沒(méi)有呢?編譯器仍然不知道。所以你編譯時(shí)不能修改接口里的數(shù)據(jù),既然編譯時(shí) 不能修改,那就只能在運(yùn)行時(shí)修改了。
這個(gè)時(shí)候就該反射登場(chǎng)了,它能夠在運(yùn)行時(shí)修改接口的數(shù)據(jù),通過(guò)追根溯源,獲取接口底層的實(shí)際數(shù)據(jù)和類型,讓你能夠?qū)涌诘脑磾?shù)據(jù)進(jìn)行操作。
換一種大白話的說(shuō)法,反射就是刨根問(wèn)底,獲取這個(gè)接口究竟是怎么產(chǎn)生的,因?yàn)槟呐乱粋€(gè)類型轉(zhuǎn)變成接口時(shí)放棄了自己的類型,但是它的本質(zhì)不會(huì)變的,就像趙本山的小品里所說(shuō):小樣,別以為你脫掉馬甲我就不認(rèn)識(shí)你了!對(duì),它的底層里仍然存儲(chǔ)了它的數(shù)據(jù)類型,只是藏的比較深,一般手段拿不到,但我們?nèi)匀荒軌蛲ㄟ^(guò)反射(這個(gè)包根問(wèn)底的工具)來(lái)確定你究竟包含哪些字段和值,確定你究竟是蛇還是脫了馬甲的烏龜!
要判斷數(shù)據(jù)類型,可以用Go的空接口: 建一個(gè)函數(shù)t 設(shè)置參數(shù)i 的類型為空接口,空接口可以接受任何數(shù)據(jù)類型 func t(i interface{}) { //函數(shù)t 有一個(gè)參數(shù)i switch i.(type) { //多選語(yǔ)句switch case string: //是字符時(shí)做的事情 case int: //是整...
Go 由于不支持泛型而臭名昭著,但最近,泛型已接近成為現(xiàn)實(shí)。Go 團(tuán)隊(duì)實(shí)施了一個(gè)看起來(lái)比較穩(wěn)定的設(shè)計(jì)草案,并且正以源到源翻譯器原型的形式獲得關(guān)注。本文講述的是泛型的最新設(shè)計(jì),以及如何自己嘗試泛型。
例子
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)
上面的堆棧示例適用于任何類型。但是,在許多情況下,你需要編寫(xiě)僅適用于具有某些特征的類型的代碼。例如,你可能希望堆棧要求類型實(shí)現(xiàn) String() 函數(shù)
基本設(shè)計(jì)思路:
類型轉(zhuǎn)換、類型斷言、動(dòng)態(tài)派發(fā)。iface,eface。
反射對(duì)象具有的方法:
編譯優(yōu)化:
內(nèi)部實(shí)現(xiàn):
實(shí)現(xiàn) Context 接口有以下幾個(gè)類型(空實(shí)現(xiàn)就忽略了):
互斥鎖的控制邏輯:
設(shè)計(jì)思路:
(以上為寫(xiě)被讀阻塞,下面是讀被寫(xiě)阻塞)
總結(jié),讀寫(xiě)鎖的設(shè)計(jì)還是非常巧妙的:
設(shè)計(jì)思路:
WaitGroup 有三個(gè)暴露的函數(shù):
部件:
設(shè)計(jì)思路:
結(jié)構(gòu):
Once 只暴露了一個(gè)方法:
實(shí)現(xiàn):
三個(gè)關(guān)鍵點(diǎn):
細(xì)節(jié):
讓多協(xié)程任務(wù)的開(kāi)始執(zhí)行時(shí)間可控(按順序或歸一)。(Context 是控制結(jié)束時(shí)間)
設(shè)計(jì)思路: 通過(guò)一個(gè)鎖和內(nèi)置的 notifyList 隊(duì)列實(shí)現(xiàn),Wait() 會(huì)生成票據(jù),并將等待協(xié)程信息加入鏈表中,等待控制協(xié)程中發(fā)送信號(hào)通知一個(gè)(Signal())或所有(Boardcast())等待者(內(nèi)部實(shí)現(xiàn)是通過(guò)票據(jù)通知的)來(lái)控制協(xié)程解除阻塞。
暴露四個(gè)函數(shù):
實(shí)現(xiàn)細(xì)節(jié):
部件:
包: golang.org/x/sync/errgroup
作用:開(kāi)啟 func() error 函數(shù)簽名的協(xié)程,在同 Group 下協(xié)程并發(fā)執(zhí)行過(guò)程并收集首次 err 錯(cuò)誤。通過(guò) Context 的傳入,還可以控制在首次 err 出現(xiàn)時(shí)就終止組內(nèi)各協(xié)程。
設(shè)計(jì)思路:
結(jié)構(gòu):
暴露的方法:
實(shí)現(xiàn)細(xì)節(jié):
注意問(wèn)題:
包: "golang.org/x/sync/semaphore"
作用:排隊(duì)借資源(如錢(qián),有借有還)的一種場(chǎng)景。此包相當(dāng)于對(duì)底層信號(hào)量的一種暴露。
設(shè)計(jì)思路:有一定數(shù)量的資源 Weight,每一個(gè) waiter 攜帶一個(gè) channel 和要借的數(shù)量 n。通過(guò)隊(duì)列排隊(duì)執(zhí)行借貸。
結(jié)構(gòu):
暴露方法:
細(xì)節(jié):
部件:
細(xì)節(jié):
包: "golang.org/x/sync/singleflight"
作用:防擊穿。瞬時(shí)的相同請(qǐng)求只調(diào)用一次,response 被所有相同請(qǐng)求共享。
設(shè)計(jì)思路:按請(qǐng)求的 key 分組(一個(gè) *call 是一個(gè)組,用 map 映射存儲(chǔ)組),每個(gè)組只進(jìn)行一次訪問(wèn),組內(nèi)每個(gè)協(xié)程會(huì)獲得對(duì)應(yīng)結(jié)果的一個(gè)拷貝。
結(jié)構(gòu):
邏輯:
細(xì)節(jié):
部件:
如有錯(cuò)誤,請(qǐng)批評(píng)指正。
新聞標(biāo)題:go語(yǔ)言類型斷言解析,go 接口斷言
轉(zhuǎn)載來(lái)源:http://vcdvsql.cn/article42/hspphc.html
成都網(wǎng)站建設(shè)公司_創(chuàng)新互聯(lián),為您提供面包屑導(dǎo)航、自適應(yīng)網(wǎng)站、動(dòng)態(tài)網(wǎng)站、網(wǎng)站制作、網(wǎng)站收錄、ChatGPT
聲明:本網(wǎng)站發(fā)布的內(nèi)容(圖片、視頻和文字)以用戶投稿、用戶轉(zhuǎn)載內(nèi)容為主,如果涉及侵權(quán)請(qǐng)盡快告知,我們將會(huì)在第一時(shí)間刪除。文章觀點(diǎn)不代表本網(wǎng)站立場(chǎng),如需處理請(qǐng)聯(lián)系客服。電話:028-86922220;郵箱:631063699@qq.com。內(nèi)容未經(jīng)允許不得轉(zhuǎn)載,或轉(zhuǎn)載時(shí)需注明來(lái)源: 創(chuàng)新互聯(lián)