Upgrade to Pro — share decks privately, control downloads, hide ads and more …

入門Go言語仕様 Underlying Type / Go Language Underlying Type

7b606c5039f083d13e2d2320ce6ddcfa?s=47 DQNEO
February 18, 2021

入門Go言語仕様 Underlying Type / Go Language Underlying Type

Go言語の “Underlying Type” の仕組みをわかりやすく解説します。
Go言語の設計原則や歴史にもせまります。

#gospecreading

7b606c5039f083d13e2d2320ce6ddcfa?s=128

DQNEO

February 18, 2021
Tweet

Transcript

  1. 入門Go言語仕様輪読会 “Underlying Type” @DQNEO 2021-02-18 20:10

  2. 自己紹介 • @DQNEO (ドキュネオ) • Goコンパイラ babygo の作者です ◦ https://github.com/DQNEO/babygo

    • 公式Goコンパイラ コントリビュート歴有り • Go言語仕様書 コントリビュート歴有り(←New)
  3. 全ての型には “Underlying Type” がある

  4. underlyingの意味 lying or situated under something --- Oxford’s Languages

  5. underlying type = 背後霊 私 霊

  6. “Underlying Type”がなぜ重要なのか • Assignability (代入可能性) の条件に使われている • Generics で重要な役割をになう ◦

    設計ドラフトで “underlying type” が11回登場 https://go.googlesource.com/proposal/+/refs/heads/ master/design/go2draft-type-parameters.md
  7. 例 type MyInt int MyInt の underlying type は int

  8. イメージ 背後霊 MyInt int type MyInt int

  9. 全ての型には “Underlying Type” がある = 全ての型には 背後霊型がある

  10. MyInt int では int の underlying type は? type MyInt

    int ?
  11. int int int の underlying type は int

  12. ルール1: predeclared な boolean, numeric, string の underlyng type は

    自分自身 ルール2: 型リテラルの underlyng type は自分自身 ルール3: 型定義すると、左側と右側で underlyng type を共有する 3つのルール
  13. predeclaredな boolean,string,numeric のunderlying typeは自分自身 ルール1 • bool • string •

    int int8 int16 int32 int64 uint uint8 uint16 uint32 uint64 uintptr complex64 complex128 float32 float64
  14. 複合的な型 type User struct { id int name string }

    User struct { id int name string } 背後霊
  15. struct{...}の underlying type は? struct { id int name string

    }
  16. struct { id int name string } struct { id

    int name string } struct{...}の underlying typeは自分自身
  17. 型リテラルの underlying typeは 自分自身 ルール2 例: *int struct{...} []string map[int]bool

    interface{...} ※前半発表のNobishiiさん の資料もご参照ください。
  18. type MyInt int MyInt int 派生型から派生させると? type MyMyInt MyInt MyMyInt

    誰?
  19. int type MyInt int MyInt int 派生型から派生させると? type MyMyInt MyInt

    MyMyInt えっ?
  20. 型定義をすると、 左側と右側が underlying typeを共有する ルール3 type B A 左 右

    ※前半発表のNobishiiさんの資料も ご参照ください
  21. 背後霊を共有する type B A B A Aの背後霊

  22. type MyInt int MyInt int int 背後霊を共有する

  23. type MyMyInt MyInt MyMyInt MyInt int 背後霊を共有する

  24. type User struct{ id… } User struct{id...} struct{id...} 背後霊を共有する

  25. type AdminUser User AdminUser User struct{id...} 背後霊を共有する

  26. type MyInt int type MyMyInt MyInt type MyMyMyInt MyMyInt MyInt

    int int フラットな組織 MyMyInt MyMyMyInt
  27. func (x MyInt) method() { } MyInt int int Method

    の継承 MyMyInt MyMyMyInt method なし method なし method なし method あり method なし
  28. Method の継承 A defined type may have methods associated with

    it. It does not inherit any methods bound to the given type, but the method set of an interface type or of elements of a composite type remains unchanged: • interface型 : 継承される • 構造体型の要素のメソッド: 継承される • それ以外の型: 継承されない
  29. 型のヒエラルキー (段階的階層)がない

  30. Go言語誕生の背景 https://talks.golang.org/2009/go_talk-20091030.pdf

  31. https://talks.golang.org/2009/go_talk-20091030.pdf Go言語の設計原則

  32. ルール1: predeclared boolean, numeric, string の underlyng type は自分自身 ルール2:

    型リテラルの underlyng type は自分自身 ルール3: 型定義すると、左側と右側で underlyng type を共有する まとめ
  33. None
  34. クイズ1 type ( B1 string B2 B1 ) string, B1,

    B2 の それぞれの underlying type は? → 答えは言語仕様書に
  35. クイズ2 type ( B1 string B2 B1 B3 []B1 B4

    B3 ) [ ]B1, B3, B4 のそれぞれの underlying type は? → 答えは言語仕様書に
  36. ご清聴 ありがとうございました