国产探花免费观看_亚洲丰满少妇自慰呻吟_97日韩有码在线_资源在线日韩欧美_一区二区精品毛片,辰东完美世界有声小说,欢乐颂第一季,yy玄幻小说排行榜完本

首頁 > 編程 > Golang > 正文

Golang 內存模型詳解(一)

2020-04-01 19:25:51
字體:
來源:轉載
供稿:網友
這篇文章主要介紹了Golang 內存模型詳解(一),本文講解了Go內存模型interface、,需要的朋友可以參考下
 

開始之前

首先,這是一篇菜B寫的文章,可能會有理解錯誤的地方,發現錯誤請斧正,謝謝。

為了治療我的懶癌早期,我一次就不寫得太多了,這個系列想寫很久了,每次都是開了個頭就沒有再寫。這次爭取把寫完,弄成一個系列。

此 nil 不等彼 nil

先聲明,這個標題有標題黨的嫌疑。

Go 的類型系統是比較奇葩的,nil 的含義跟其它語言有些差別,這里舉個例子(可以直接進入 http://play.golang.org/p/ezFhXX0dnB 運行查看結果):

 

復制代碼代碼如下:

package main
import "fmt"
type A struct {
}
func main() {
    var a *A = nil
    var ai interface{} = a
    var ei interface{} = nil
    fmt.Printf("ai == nil: %v/n", ai == nil)
    fmt.Printf("ai == ei: %v/n", ai == ei)
    fmt.Printf("ei == a: %v/n", a == ei)
    fmt.Printf("ei == nil: %v/n", ei == nil)
}
// -> 輸出
// ai == nil: false
// ai == ei: false
// ei == a: false
// ei == nil: true

 

這里 ai != nil,對于沒有用過 Go 的人來說比較費解,對我來說,這個算得上一門語言設計有歧義的地方(Golang FAQ 有對于此問題的描述,可以參考一下:http://golang.org/doc/faq#nil_error)。

簡單的說就是 nil 代表 “zero value”(空值),對于不同類型,它具體所代表的值不同。比如上面的 a 為“*A 類型的空值”,而 ai 為“interface{} 類型的空值”。造成理解失誤的最大問題在于,struct pointer 到 interface 有隱式轉換(var ai interface{] = a,這里有個隱式轉換),至于為什么對于 Go 這種在其它轉換方面要求嚴格,而對于 interface 要除外呢,for convenience 吧,呵呵……

碰到了這個坑,我就開始好奇了,Go 的類型系統到底是什么樣的?

Go 內存模型 - interface

概述

為了讀懂下面的內容,你需要:

了解 C、Go 語言

Go 1.3 源代碼 (https://go.googlecode.com/archive/go1.3.zip)

PS: 由于 Go 用到了 Plan9 C 這個小眾的C編譯器的擴展,比如在函數簽名中使用 · 字符以區分 package/function(比如runtime·panic),這對理解不會產生什么影響。

PSS: 對于 Go runtime,可以參考src/pkg/reflect(reflect包)中的的代碼,對類型系統的實現的理解有幫助。

Go 語言的類型定義可以在 src/pkg/runtime/ 目錄下找到,主要由以下幾個文件構成:

1.runtime.h
2.type.h

對于 interface 類型,主要看下面幾個結構體定義:

1.InterfaceType
2.Itab
3.Iface
4.Eface

它們的C語言定義如下 (可以在 runtime.h 中找到):

InterfaceType:

代表了總的 interface 類型,其中:

1.Type: 類型描述,所有的類型都有這個類型描述(比如 array, map, slice)
2.mhdr 以及 m: interface 接口方法列表

 

復制代碼代碼如下:

struct InterfaceType
{
    Type;
    Slice mhdr;
    IMethod m[];
};

 

Itab:

類似于虛函數表,該表不會被GC回收,其中:

1.inter: 指向具體的 interface 類型
2.type: 具體實現類型, 也即 receiver type
3.link: 指向下一個函數表,因為 interface 可以 embed 多個 interface,因此實現為一個鏈表形式
4.bad: <略>
5.unsued: <略>
6.fun: 函數列表,每個元素是一個指向具體函數實現的指針

 

復制代碼代碼如下:

struct  Itab
{
    InterfaceType*  inter;
    Type*   type;
    Itab*   link;
    int32   bad;
    int32   unused;
    void    (*fun[])(void);
};

 

Iface:

該類型為一般的 interface 類型所對應的數據結構,其中:

1.tab: 參見 Itab 的說明,尤其是 Itab::link
2.data: 指向具體數據(比如指向struct,當然,如果一個數據不超過一個字長,那么這個data就可以直接存放,不需要指針再做以及跳轉)

 

復制代碼代碼如下:

struct Iface
{
    Itab*   tab;
    void*   data;
};

 

Eface:

該類型為 interface{} (empty interface) 所對應的數據結構,其中:

1.type: 具體實現類型, 也即 receiver type
2.data: 同 Iface

 

復制代碼代碼如下:

struct Eface
{
    Type*   type;
    void*   data;
};

 

他們的依賴關系如下圖所示:

Golang 內存模型詳解(一)

先到這里,下一篇將會舉例子說明給一個 interface{} 類型的變量賦值后,其具體的內存結構是怎么樣的。

打了幾個小時,真費時間,爭取這個系列不坑 (逃


發表評論 共有條評論
用戶名: 密碼:
驗證碼: 匿名發表
主站蜘蛛池模板: 辉县市| 进贤县| 丰原市| 高平市| 昭通市| 德昌县| 沙坪坝区| 达州市| 高密市| 乌鲁木齐县| 阳东县| 金塔县| 新闻| 龙胜| 哈密市| 新龙县| 鄂伦春自治旗| 垫江县| 隆德县| 当涂县| 航空| 满洲里市| 丰都县| 宁乡县| 元氏县| 松潘县| 金沙县| 米脂县| 保德县| 鄂尔多斯市| 潜江市| 华容县| 青川县| 舟曲县| 罗定市| 玉龙| 鞍山市| 慈溪市| 祁阳县| 龙里县| 江油市|