一加Ace2 Pro真機(jī)揭曉 鈦空灰配色質(zhì)感拉滿
終于，在經(jīng)過(guò)了幾波預(yù)熱之后，一加Ace2 Pro的外觀真機(jī)圖在網(wǎng)上出現(xiàn)了。還是博主數(shù)碼閑聊站曝光的，這次的外觀設(shè)計(jì)還是延續(xù)了一加11的方案，只是細(xì)節(jié)上有了調(diào)整，例如新加入了鈦空灰
在 Go 中，類型斷言用于提取和測(cè)試接口值的動(dòng)態(tài)類型。通過(guò)斷言，您可以確定接口值是否持有特定的底層具體類型，如果持有，則獲取該值。下面是一個(gè)如何在 Go 中使用類型斷言的示例：
package mainimport "fmt"func main() { var x interface{} x = 42 // x holds an int // Type assertion to check if x holds an int and get its value. if val, ok := x.(int); ok { fmt.Printf("x is an int: %d/n", val) } else { fmt.Println("x is not an int") } // Attempting to access x as a string (which it isn't). if val, ok := x.(string); ok { fmt.Printf("x is a string: %s/n", val) } else { fmt.Println("x is not a string") }}在這段代碼中，我們使用類型斷言來(lái)檢查 x 是否持有 int 并打印其值。然后，我們嘗試將其斷言為字符串，但會(huì)失敗。
在 Go 中處理接口時(shí)，類型斷言是常用的方法，它允許你安全地訪問(wèn)接口值中的具體值，同時(shí)檢查它們的兼容性。
靜態(tài)轉(zhuǎn)換是指在編譯過(guò)程中添加接口檢查，以確保類型實(shí)現(xiàn)了特定的接口。下面是一個(gè)例子：
package mainimport "fmt"type Shape interface { Area() float64}type Circle struct { Radius float64}func (c Circle) Area() float64 { return 3.14 * c.Radius * c.Radius}type Rectangle struct { Width float64 Height float64}func (r Rectangle) Area() float64 { return r.Width * r.Height}func main() { var s Shape c := Circle{Radius: 5} r := Rectangle{Width: 3, Height: 4} // 靜態(tài)轉(zhuǎn)換，用于檢查 Circle 是否實(shí)現(xiàn)了 Shape 接口。 var _ Shape = c // 靜態(tài)轉(zhuǎn)換，用于檢查 Rectangle 是否實(shí)現(xiàn)了 Shape 接口。 var _ Shape = r s = c fmt.Printf("Circle Area: %f/n", s.Area()) s = r fmt.Printf("Rectangle Area: %f/n", s.Area())}在這個(gè)例子中：
靜態(tài)轉(zhuǎn)換通過(guò)檢查類型是否滿足接口，增加了一層編譯時(shí)安全性，避免了因缺少方法實(shí)現(xiàn)而導(dǎo)致的運(yùn)行時(shí)錯(cuò)誤。
s = c 和 s = r 這兩行用來(lái)演示 Go 中接口滿足和動(dòng)態(tài)多態(tài)性的概念。讓我來(lái)分析一下發(fā)生了什么：
(1) 接口滿足性檢查
在這幾行之前，我們使用靜態(tài)轉(zhuǎn)換（var _ Shape = c 和 var _ Shape = r）來(lái)檢查 Circle 和 Rectangle 類型是否實(shí)現(xiàn)了 Shape 接口。這兩行主要是在說(shuō)："嘿，編譯器，請(qǐng)?jiān)诰幾g時(shí)檢查這些類型是否滿足 Shape 接口"。
(2) 動(dòng)態(tài)多態(tài)性
經(jīng)過(guò)這些檢查后，我們將 Circle 和 Rectangle 的實(shí)例賦值給 s 變量，而 s 變量的類型是 Shape。這就是動(dòng)態(tài)多態(tài)性發(fā)揮作用的地方。
當(dāng)我們說(shuō) s = c 時(shí)，我們是說(shuō)Shape 類型的 s 變量現(xiàn)在可以持有對(duì) Circle 實(shí)例的引用。這是因?yàn)?nbsp;Circle 實(shí)現(xiàn)了 Shape 接口。
同樣，當(dāng)我們說(shuō) s = r 時(shí)，我們是在將 Rectangle 實(shí)例的引用賦值給 s，這也是因?yàn)?nbsp;Rectangle 實(shí)現(xiàn)了 Shape 接口。
(3) 動(dòng)態(tài)調(diào)度
盡管 s 是 Shape 類型，但實(shí)際調(diào)用的方法實(shí)現(xiàn)取決于它的具體類型（Circle或Rectangle）。這就是所謂的動(dòng)態(tài)調(diào)度或延遲綁定。
許多遵守契約接口的實(shí)現(xiàn)通常是在有明確的靜態(tài)轉(zhuǎn)換的情況下使用的，編譯器會(huì)標(biāo)記出這類問(wèn)題。例如，在一個(gè)接受 io.Reader.File 的函數(shù)中使用 *os.File 時(shí)，編譯器會(huì)對(duì)其進(jìn)行檢查。
然而，當(dāng)編譯器無(wú)法識(shí)別明顯的靜態(tài)轉(zhuǎn)換時(shí)，對(duì)實(shí)現(xiàn)所做的更改可能會(huì)違反契約，但不會(huì)阻止應(yīng)用程序的編譯。這些問(wèn)題可能只有在應(yīng)用程序執(zhí)行時(shí)才會(huì)出現(xiàn)。為解決這一難題，一種解決方案是加入接口檢查，編譯器可以檢測(cè)到，但不會(huì)包含在最終構(gòu)建的應(yīng)用程序中：
var _ TheContractInterface = (*TheContractImplementation)(nil)在這種情況下，我們創(chuàng)建一個(gè) TheContractImplementation 值，并將其分配給 _，其類型為 TheContractInterface。這樣就引入了靜態(tài)轉(zhuǎn)換，確保在編譯時(shí)就能發(fā)現(xiàn)我們的實(shí)現(xiàn)中存在的任何問(wèn)題，而不是在部署后才被用戶發(fā)現(xiàn)。
值得注意的是，分配的值永遠(yuǎn)不會(huì)被使用，也不會(huì)出現(xiàn)在我們應(yīng)用程序的編譯輸出中。通過(guò)采用接口檢查和為滿足特定接口而定制的實(shí)現(xiàn)，可以在應(yīng)用程序中沒(méi)有其他靜態(tài)轉(zhuǎn)換的情況下防止出現(xiàn)潛在問(wèn)題。
本文鏈接：http://www.tebozhan.com/showinfo-26-15600-0.htmlGo 中的類型斷言與靜態(tài)轉(zhuǎn)換
聲明：本網(wǎng)頁(yè)內(nèi)容旨在傳播知識(shí)，若有侵權(quán)等問(wèn)題請(qǐng)及時(shí)與本網(wǎng)聯(lián)系，我們將在第一時(shí)間刪除處理。郵件：2376512515@qq.com
上一篇： Python自動(dòng)查重：原理、方法與實(shí)踐
下一篇： Go中的流量限制：有效控制流量
Copyright ? 2016-2023 天津谷騏科技有限公司 版權(quán)所有 sitemap.xml
違法及侵權(quán)請(qǐng)聯(lián)系：2376512515@qq.com 津ICP備18001702號(hào)
津公網(wǎng)安備 12010102000574號(hào)