Go 的類型系統(tǒng)基於結(jié)構(gòu)體、接口和組合，而非類和繼承，其核心特點包括：1. 通過type 聲明新類型，增強(qiáng)類型安全，需顯式轉(zhuǎn)換不同底層類型；2. 使用結(jié)構(gòu)體嵌套實現(xiàn)組合，替代繼承，降低耦合；3. 為任意命名類型定義方法，值接收者操作副本，指針接收者可修改原值；4. 接口通過隱式實現(xiàn)支持多態(tài)，只要類型實現(xiàn)對應(yīng)方法即可被賦值給接口；5. 空接口any 可表示任意類型，通過類型斷言或類型switch 恢復(fù)具體類型；6. Go 1.18 引入泛型，支持編寫類型安全的通用代碼。該系統(tǒng)通過顯式轉(zhuǎn)換、組合、隱式接口和泛型，確保類型安全、代碼復(fù)用和靈活性，最終促使開發(fā)者寫出清晰、解耦且易於測試的程序。

Go 的類型系統(tǒng)設(shè)計簡潔、清晰，強(qiáng)調(diào)安全性和可讀性，同時避免了傳統(tǒng)面向?qū)ο笳Z言中復(fù)雜的繼承體系。理解Go 的類型系統(tǒng)，是掌握Go 編程的關(guān)鍵一步。它不是基於類和繼承的，而是圍繞結(jié)構(gòu)體、接口和組合構(gòu)建的。

1. 基本類型與類型聲明

Go 有常見的基本類型，比如int 、 string 、 bool 、 float64等。除此之外，你可以通過type關(guān)鍵字定義新的類型：

 type UserID int
type Email string

雖然UserID底層是int ，但它是一個不同的類型。你不能直接將int賦值給UserID變量，必須顯式轉(zhuǎn)換：

 var uid UserID = 42 // 錯誤：不能隱式轉(zhuǎn)換var uid UserID = UserID(42) // 正確：顯式轉(zhuǎn)換

這種機(jī)制增強(qiáng)了類型安全，避免了不同類型之間的誤用（比如把用戶ID 和訂單ID 混淆）。

2. 結(jié)構(gòu)體與組合

Go 不支持繼承，而是通過結(jié)構(gòu)體嵌套（組合）實現(xiàn)代碼復(fù)用：

 type Person struct {
    Name string
    Age int
}

type Employee struct {
    Person // 匿名字段，實現(xiàn)“繼承”效果Salary float64
}

這時Employee會“繼承” Person的字段和方法：

 e := Employee{
    Person: Person{Name: "Alice", Age: 30},
    Salary: 50000,
}
fmt.Println(e.Name) // 直接訪問嵌套字段

這叫組合優(yōu)於繼承——你不是在說“Employee is a Person”，而是在說“Employee has a Person”，語義更清晰，耦合更低。

3. 方法與接收者

Go 允許為任何命名類型定義方法（只要定義在同一個包中）：

 func (p Person) Greet() {
    fmt.Printf("Hi, I'm %s\n", p.Name)
}

func (p *Person) SetName(name string) {
    p.Name = name
}

注意接收者類型：

• 值接收者（ Person ）：方法操作的是副本。
• 指針接收者（ *Person ）：方法可以修改原值。

通常，如果結(jié)構(gòu)體較大或方法需要修改字段，使用指針接收者。

4. 接口：行為的抽象

Go 的接口是隱式實現(xiàn)的，這是它最強(qiáng)大的特性之一。

定義一個接口：

 type Speaker interface {
    Speak() string
}

只要一個類型實現(xiàn)了Speak()方法，它就自動實現(xiàn)了Speaker接口：

 func (p Person) Speak() string {
    return fmt.Sprintf("Hello, I'm %s", p.Name)
}

var s Speaker = Person{"Bob", 25} // 無需顯式聲明實現(xiàn)

這種“鴨子類型”（duck typing）機(jī)制讓代碼更靈活：你不需要提前規(guī)劃類型之間的關(guān)係，只要行為匹配，就能用。

5. 空接口與類型斷言

interface{} （在Go 1.18 前）或any （Go 1.18 ）可以表示任何類型：

 var x any = "hello"
x = 42
x = true

要從any恢復(fù)具體類型，需要類型斷言：

 str, ok := x.(string)
if ok {
    fmt.Println("It's a string:", str)
}

或者用switch做類型判斷：

 switch v := x.(type) {
case string:
    fmt.Println("String:", v)
case int:
    fmt.Println("Int:", v)
default:
    fmt.Println("Unknown type")
}

6. 泛型（Go 1.18 ）

Go 在1.18 引入了泛型，支持編寫類型安全的通用代碼：

 func Map[T, U any](slice []T, f func(T) U) []U {
    result := make([]U, len(slice))
    for i, v := range slice {
        result[i] = f(v)
    }
    return result
}

現(xiàn)在你可以安全地對任意類型切片做映射操作，而無需類型斷言或重複代碼。

基本上就這些。 Go 的類型系統(tǒng)不復(fù)雜，但非常實用：

• 類型安全靠顯式轉(zhuǎn)換和類型聲明保障
• 復(fù)用靠組合而不是繼承
• 多態(tài)靠接口的隱式實現(xiàn)
• 通用代碼靠泛型支持

它鼓勵你寫出清晰、解耦、易於測試的代碼，而不是陷入類型層級的泥潭。

以上是了解GO的類型系統(tǒng)的詳細(xì)內(nèi)容。更多資訊請關(guān)注PHP中文網(wǎng)其他相關(guān)文章！