盧偉冰長(zhǎng)文解析K60至尊版 對(duì)Redmi有著里程碑式的意義
在今天的Redmi后性能時(shí)代戰(zhàn)略發(fā)布會(huì)結(jié)束之后，Redmi總經(jīng)理盧偉冰又帶來了一篇長(zhǎng)文，詳解了為什么 Redmi 要開啟后性能時(shí)代？為什么選擇和 MediaTek、Pixelworks 深度合作？以及后性
泛型編程在許多編程語言中都是一項(xiàng)非常強(qiáng)大的特性，它可以使程序更加通用、具有更高的重用性。然而，Go語言在很長(zhǎng)一段時(shí)間內(nèi)一直沒有提供泛型功能。在過去的一些版本中，Go語言開發(fā)者試圖引入泛型，但最終都因?yàn)楦鞣N原因被取消或擱置了。直到Go 1.18版本，終于引入了泛型功能。在本文中，將會(huì)介紹這項(xiàng)新特性及其使用方法。
泛型是一種編程語言的特性，它可以將類型參數(shù)化，并以類型參數(shù)形式傳遞到不同的算法和數(shù)據(jù)結(jié)構(gòu)中。泛型使得程序可以更加通用、安全且具有更高的重用性。不同的類型參數(shù)可以通過參數(shù)化類型類型來表示。例如，在Java中，可以使用ArrayList<Integer>來表示包含整數(shù)的動(dòng)態(tài)數(shù)組，其中Integer是類型參數(shù)的類型。
在Go語言中，泛型的類型參數(shù)可以是任何類型，包括基本類型、引用類型、結(jié)構(gòu)體和接口等。這些類型參數(shù)可以用在函數(shù)、方法、結(jié)構(gòu)體、接口、通道和映射等語法結(jié)構(gòu)中。
當(dāng)談到泛型編程時(shí)，我們需要了解兩個(gè)重要的概念：類型形參和類型實(shí)參。
使用類型形參和類型實(shí)參的一個(gè)典型例子是在泛型函數(shù)中定義類型形參，然后調(diào)用該函數(shù)時(shí)提供類型實(shí)參的類型。例如：
package mainimport "fmt"http:// 定義泛型函數(shù)func PrintType[T any](x T) { fmt.Printf("Type: %T/n", x)}func main() { // 調(diào)用泛型函數(shù)，類型實(shí)參為 int PrintType[int](42) // 調(diào)用泛型函數(shù)，類型實(shí)參為 string PrintType[string]("hello")}輸出結(jié)果：Type: intType: string在上面的示例中，我們定義了一個(gè)名為 PrintType 的泛型函數(shù)，并使用 [T any] 聲明了一個(gè)類型形參。然后，在調(diào)用該函數(shù)時(shí)，我們使用類型實(shí)參來具體化類型形參，例如使用 int 和 string。這樣，在函數(shù)內(nèi)部，我們就可以使用具體的類型信息來打印數(shù)據(jù)的類型。
類型形參和類型實(shí)參的使用為我們提供了更大的靈活性和通用性，使得我們可以編寫可處理多種類型的泛型代碼。
通過上面的代碼，我們對(duì)Go的泛型編程有了最初步也是最重要的認(rèn)識(shí)——類型形參 和類型實(shí)參。而Go 1.18也是通過這種方式實(shí)現(xiàn)的泛型，但是單純的形參實(shí)參是遠(yuǎn)遠(yuǎn)不能實(shí)現(xiàn)泛型編程的，所以Go還引入了非常多全新的概念：
type MySlice[T int|float32|float64 ] []Tvar mySlice MySlice[int]上面這段代碼定義了一個(gè)具有類型約束的泛型類型MySlice，T為類型參，必須是int、float32或float64之一，表示只能用這個(gè)明確的類型代替T。MySlice[T]表示一個(gè)元素類型為T切片類型。T 就是類型形參(Type parameter)，類似一個(gè)占位符int|float32|float64 就是類型約束(Type constraint)，中間的 | 就是或的意思，表示類型形參 T 只接收 int 或 float32 或 float64 這三種類型的實(shí)參中括號(hào)里的 T int|float32|float64 這一整串因?yàn)槎x了所有的類型形參(在這個(gè)例子里只有一個(gè)類型形參T），所以我們稱其為 類型形參列表(Type parameter list)在使用MySlice時(shí)，如MySlice[int]表示元素類型為int切片類型，int 就是類型實(shí)參(Type argument)上面只是個(gè)最簡(jiǎn)單的例子，實(shí)際上類型形參的數(shù)量可以遠(yuǎn)遠(yuǎn)不止一個(gè)，如下：// CostMap類型定義了兩個(gè)類型形參 KEY 和 VALUE。分別為兩個(gè)形參指定了不同的類型約束// 這個(gè)泛型類型的名字叫：CostMap[KEY, VALUE]type CostMap[KEY int | string, VALUE float32 | float64] map[KEY]VALUE // 用類型實(shí)參 string 和 flaot64 替換了類型形參 KEY 、 VALUE，// 泛型類型被實(shí)例化為具體的類型：CostMap[string, float64]var a CostMap[string, float64] = map[string]float64{ "dept1_cost": 8913.34, "dept2_cost": 4295.64,}用上面的例子重新復(fù)習(xí)下各種概念：
用如下一張圖就能簡(jiǎn)單說清楚：
圖片
在Go語言中，泛型的實(shí)現(xiàn)方式是使用類型參數(shù)化函數(shù)和類型參數(shù)化結(jié)構(gòu)體。類型參數(shù)化函數(shù)是一種函數(shù)，接受類型參數(shù)作為輸入，并根據(jù)這些類型參數(shù)返回不同的結(jié)果。類型參數(shù)化結(jié)構(gòu)體是一種結(jié)構(gòu)體，其中一些或全部成員字段由類型參數(shù)確定。
以下是一個(gè)用于從切片中查找元素并返回其索引的類型參數(shù)化函數(shù)的代碼示例：
func Find[T comparable](slice []T, value T) int { for i, v := range slice { if v == value { return i } } return -1}這個(gè)函數(shù)接收一個(gè)任意類型的切片和一個(gè)具有相同類型的值，并返回第一次出現(xiàn)該值的索引。類型參數(shù)T必須是“comparable”類型，也就是說，它必須是可比較的類型，這是Go泛型的一個(gè)限制。
以下是一個(gè)用于實(shí)現(xiàn)一個(gè)類型安全的棧的類型參數(shù)化結(jié)構(gòu)體代碼示例：
type Stack[T any] struct { data []T}func (s *Stack[T]) Push(v T) { s.data = append(s.data, v)}func (s *Stack[T]) Pop() (t T, err error) { if len(s.data) == 0 { return t, errors.New("stack is empty") } res := s.data[len(s.data)-1] s.data = s.data[:len(s.data)-1] return res, nil}func main() { var stack Stack[int] stack.Push(1) stack.Push(2) stack.Push(3) item, err := stack.Pop()if err != nil { fmt.Println("Error:", err) } else { fmt.Println("Pop item:", item) } item, err = stack.Pop()if err != nil { fmt.Println("Error:", err) } else { fmt.Println("Pop item:", item) }}這個(gè)結(jié)構(gòu)體表示棧，其中T是元素類型，并且在Push和Pop函數(shù)中使用。注意，這里的類型參數(shù)T沒有任何限制，因此可以傳遞任何類型。var stack Stack[int] 在初始化實(shí)例時(shí)，就把類型設(shè)置好了。
以上是一些示例代碼，展示了Go泛型的使用。在復(fù)雜的程序中，泛型的使用可以使代碼更加通用、易于閱讀、安全且具有更高的重用性。
Go語言的泛型實(shí)現(xiàn)與其他編程語言（如Java、C++、C#等）的泛型實(shí)現(xiàn)有一些不同的地方。以下是它們?cè)谝恍┓矫娴膶?duì)比：
總的來說，Go泛型的實(shí)現(xiàn)方式比較簡(jiǎn)單、靈活，但在性能方面有些損失。但同時(shí)，Go語言也在持續(xù)地改進(jìn)其泛型實(shí)現(xiàn)，以提高其性能，并加入更多的功能特性。
以下代碼是Go中用泛型實(shí)現(xiàn)Set無序集合，包含了添加，刪除，是否存在，轉(zhuǎn)成列表等方法。
type Set[T comparable] struct { m map[T]struct{}}func (s *Set[T]) Add(t T) { s.m[t] = struct{}{}}func (s *Set[T]) Remove(t T) { delete(s.m, t)}func (s *Set[T]) Exist(t T) bool { _, ok := s.m[t] return ok}func (s *Set[T]) List() []T { t := make([]T, len(s.m)) var i int for k := range s.m { t[i] = k i++ } return t}func (s *Set[T]) ForEach(f func(T)) { for k, _ := range s.m { f(k) }}Go泛型的出現(xiàn)，使得我們可以更加通用、安全且具有更高的重用性。它的出現(xiàn)具有以下優(yōu)勢(shì)：
在Golang中，泛型功能的引入提高了Go的通用性、可讀性和安全性。使用類型參數(shù)化的方式，我們可以編寫出可以處理任何類型的代碼。盡管Go泛型的實(shí)現(xiàn)方式略有不同于其他語言，但仍然可以為程序員提供實(shí)用的工具和功能，使代碼更加通用、安全、易讀和易于維護(hù)。
本文鏈接：http://www.www897cc.com/showinfo-26-10439-0.htmlGo語言進(jìn)化之路：泛型的崛起與復(fù)用的新篇章
聲明：本網(wǎng)頁(yè)內(nèi)容旨在傳播知識(shí)，若有侵權(quán)等問題請(qǐng)及時(shí)與本網(wǎng)聯(lián)系，我們將在第一時(shí)間刪除處理。郵件：2376512515@qq.com
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)