在 go 语言中，类型系统规定了变量的值，类型安全和维护性。go 语言采用基于结构的类型系统，允许定义自定义类型（struct）和类型别名。值类型通过关键字 var 宣告，而指针类型在类型名前加星号。接口定义方法集合，实现接口的类型必须实现所有方法。

探索 Go 语言的类型系统

简介

类型系统是任何编程语言的核心特性，它规定了值的结构、操作和行为。Go 语言采用基于结构的类型系统，强调类型安全和可维护性。

类型宣告

在 Go 语言中，可以使用以下语法宣告类型：

type <类型名> <基础类型>

例如，以下代码宣告了一个名为 Person 的类型，其中包含 Name 和 Age 两个字段：

type Person struct {
    Name string
    Age  int
}

值类型和指针类型

Go 语言中的每个值都属于特定的类型，称为其值类型。可以通过使用关键字 var 宣告变量并指定其值类型。

var person Person

Go 语言还支持指针类型，指向另一个类型的变量。可以通过在类型名前加一个星号（*）来创建指针类型。

var personPtr *Person

类型别名和基础类型

类型别名允许为现有的类型创建别名。基础类型是不能再被分解的内置类型，例如 int、float64 和 string。

以下代码创建了 FullName 类型的别名，其基础类型是 string：

type FullName = string

接口

接口是一个类型，定义了一组方法。任何类型只要实现了接口中的所有方法，就可以称为实现该接口。

以下代码定义了一个 Animal 接口，其中包含一个 Speak 方法：

type Animal interface {
    Speak()
}

实战案例

以下是一个使用 Go 类型系统的简短示例：

package main

type Person struct {
    Name string
    Age  int
}

func main() {
    person1 := Person{"John", 30}  // 值类型
    person2 := &Person{"Jane", 35} // 指针类型

    fmt.Println(person1.Name)
    fmt.Println(*person2.Name)
}

此代码创建了两个 Person 类型的值：person1 是一个值类型，而 person2 是一个指向类型为 Person 的变量的指针。