快捷導(dǎo)航

一文帶你感受Go語言空結(jié)構(gòu)體的魔力

更新時(shí)間：2023年05月23日 09:17:07 作者：Go技術(shù)干貨

在?Go?語言中，有一種特殊的用法可能讓許多人感到困惑，那就是空結(jié)構(gòu)體，本文將對Go空結(jié)構(gòu)體進(jìn)行詳解，準(zhǔn)備一杯你最喜歡的飲料或茶，隨著本文一探究竟吧

前言

在 Go 語言中，有一種特殊的用法可能讓許多人感到困惑，那就是空結(jié)構(gòu)體 struct{}。在本文中，我將對 Go 空結(jié)構(gòu)體進(jìn)行詳解，準(zhǔn)備好了嗎？準(zhǔn)備一杯你最喜歡的飲料或茶，隨著本文一探究竟吧。

什么是空結(jié)構(gòu)體

不包含任何字段的結(jié)構(gòu)體，就是空結(jié)構(gòu)體。它有以下兩種定義方式：

匿名空結(jié)構(gòu)體

var e sruct{}

命名空結(jié)構(gòu)體

type EmptyStruct struct{}
var e EmptyStruct

空結(jié)構(gòu)體的特點(diǎn)

空結(jié)構(gòu)體主要有以下幾個(gè)特點(diǎn)：

零內(nèi)存占用
地址相同
無狀態(tài)

零內(nèi)存占用

空結(jié)構(gòu)體不占用任何內(nèi)存空間，這使得空結(jié)構(gòu)體在內(nèi)存優(yōu)化方面非常有用，我們來通過例子看看是否真的是零內(nèi)存占用：

package main

import (
   "fmt"
   "unsafe"
)

func main() {
   var a int
   var b string
   var e struct{}
   fmt.Println(unsafe.Sizeof(a)) // 4
   fmt.Println(unsafe.Sizeof(b)) // 8
   fmt.Println(unsafe.Sizeof(e)) // 0
}

通過打印結(jié)果對比可知，空結(jié)構(gòu)體內(nèi)存占用為 0。

地址相同

無論創(chuàng)建多少個(gè)空結(jié)構(gòu)體，它們所指向的地址都相同的。

package main

import (
   "fmt"
)

func main() {
   var e struct{}
   var e2 struct{}
   fmt.Printf("%p\n", &e)  // 0x90b418
   fmt.Printf("%p\n", &e2) // 0x90b418
   fmt.Println(&e == &e2)    // true
}

無狀態(tài)

由于空結(jié)構(gòu)體不包含任何字段，因此它不能有狀態(tài)。這使得空結(jié)構(gòu)體在表示無狀態(tài)的對象或情況時(shí)非常有用。

為什么是零內(nèi)存和地址相同

要理解為什么空結(jié)構(gòu)體在內(nèi)存上是零大?。銉?nèi)存）并且多個(gè)空結(jié)構(gòu)體的地址是相同的，需要深入研究 Go 的源碼。

/go/src/runtime/malloc.go

// base address for all 0-byte allocations
var zerobase uintptr
func mallocgc(size uintptr, typ *_type, needzero bool) unsafe.Pointer {
    ······
    if size == 0 {
       return unsafe.Pointer(&zerobase)
    }
    ······

根據(jù) malloc.go 源碼的部分內(nèi)容，當(dāng)要分配的對象大小 size 為 0 時(shí)，會(huì)返回指向 zerobase 的指針。zerobase 是一個(gè)用于分配零字節(jié)對象的基準(zhǔn)地址，它不占用任何實(shí)際的內(nèi)存空間。

空結(jié)構(gòu)體的使用場景

空結(jié)構(gòu)體主要有以下三種使用場景：

實(shí)現(xiàn) Set 集合類型
用于通道信號(hào)
作為方法接收器

實(shí)現(xiàn) Set 集合類型

在 Go 語言中，雖然沒有內(nèi)置 Set 集合類型，但是我們可以利用 map 類型來實(shí)現(xiàn)一個(gè) Set 集合。由于 map 的 key 具有唯一性，我們可以將元素存儲(chǔ)為 key，而 value 沒有實(shí)際作用，為了節(jié)省內(nèi)存，我們可以使用空結(jié)構(gòu)體作為 value 的值。

package main
import"fmt"
type Set[K comparable] map[K]struct{}
func (s Set[K]) Add(val K) {
   s[val] = struct{}{}
}
func (s Set[K]) Remove(val K) {
   delete(s, val)
}
func (s Set[K]) Contains(val K) bool {
   _, ok := s[val]
   return ok
}
func main() {
   set := Set[string]{}
   set.Add("陳明勇")
   fmt.Println(set.Contains("陳明勇")) // true
   set.Remove("陳明勇")
   fmt.Println(set.Contains("陳明勇")) // false
}

用于通道信號(hào)

空結(jié)構(gòu)體常用于 Goroutine 之間的信號(hào)傳遞，尤其是不關(guān)心通道中傳遞的具體數(shù)據(jù)，只需要一個(gè)觸發(fā)信號(hào)時(shí)。例如，我們可以使用空結(jié)構(gòu)體通道來通知一個(gè) Goroutine 停止工作：

package main  
import (  
   "fmt"
   "time"
)  
func main() {  
   quit := make(chanstruct{})  
   gofunc() {  
      // 模擬工作  
      fmt.Println("工作中...")  
      time.Sleep(3 * time.Second)  
      // 關(guān)閉退出信號(hào)  
      close(quit)
   }()  
   // 阻塞，等待退出信號(hào)被關(guān)閉  
   <-quit  
   fmt.Println("已收到退出信號(hào)，退出中...")  
}

在這個(gè)例子中，創(chuàng)建了一個(gè)通道 quit，并在一個(gè)單獨(dú)的 Goroutine 中模擬執(zhí)行工作。在完成工作后，關(guān)閉了 quit 通道，表示退出信號(hào)。主函數(shù)在 <-quit 處阻塞，直到收到退出信號(hào)，然后打印一條消息并退出程序。

由于通道使用的類型是空結(jié)構(gòu)體，因此不會(huì)帶來額外的內(nèi)存開銷。

在 Go 標(biāo)準(zhǔn)庫中，context 包中的 Context 接口的 Done() 方法返回一個(gè)通道信號(hào)，用于通知相關(guān)操作的完成狀態(tài)。這個(gè)通道信號(hào)的返回值就是使用了空結(jié)構(gòu)體。

type Context interface {
    Deadline() (deadline time.Time, ok bool)
    Done() <-chanstruct{}
    Err() error
    Value(key any) any
}

作為方法接收器

有時(shí)候我們需要?jiǎng)?chuàng)建一組方法集的實(shí)現(xiàn)（一般來說是實(shí)現(xiàn)一個(gè)接口），但并不需要在這個(gè)實(shí)現(xiàn)中存儲(chǔ)任何數(shù)據(jù)，這種情況下，我們可以使用空結(jié)構(gòu)體來實(shí)現(xiàn)：

type Person interface {
   SayHello()
   Sleep()
}
type CMY struct{}
func (c CMY) SayHello() {
   fmt.Println("你好，我叫陳明勇。")
}
func (c CMY) Sleep() {
   fmt.Println("陳明勇睡覺中...")
}

這個(gè)例子定義了一個(gè)接口 Person 和一個(gè)結(jié)構(gòu)體 CMY ，并為 CMY 實(shí)現(xiàn)了 Person 接口，定義了一組方法（SayHello 和 Sleep）。

由于 CMY 結(jié)構(gòu)體為空結(jié)構(gòu)體，因此不會(huì)帶來額外的內(nèi)存開銷。