GoのUnderlying typeについて

2023/11/04 に行われた会津大学 学祭LTの資料です

イベントページはこちら
https://zli.connpass.com/event/298894/

Transcript

1. GoのUnderlying typeとは？ どんなもの？なに？ 彼女はいるの？調べてみました！ 2023/11/04 学祭LT matumoto
2. • 学年：28期 • 趣味： ◦ マイクラ ◦ PokemonSleep ◦ VTuber ▪ 叶 ▪ やしきず • Twitter：@matumoto_1234 • ひとこと：マイクラに生活を破壊された matumoto 松本 響輝 自己紹介
3. Goの文法おさらい
4. Goの型エイリアス • type B = A でAを元にエイリアスを宣言できる
5. Goの型定義 • type B A でAを元に型を定義できる
6. 型定義した型へのメソッド
7. 関数とジェネリクス • 関数に型パラメータを取らせることができる
8. ジェネリクスの型制約 • 型パラメータに対して、型制約をかけることができる • 下のPrint関数の型引数にはintかstringしか渡せない
9. 型制約のapproximation element • ~Tという文法で型Tを元にした型として、型制約の要素に使える
10. 型制約のapproximation element • MyIntなどintを元にした型を渡すことができる
11. 本題
12. Underlying typeとは？ • 代入可能性やジェネリクスにおいての重要な概念 • すべての型はunderlying typeをちょうど一つ持つ
13. underlying の意味 •
14. 例 • MyIntのunderlying typeはint
15. 例 • intのunderlying typeはint
16. 4つのルールによって決まる
17. クイズ
18. クイズ • MyMyStringのunderlying typeは？
19. 正解 • 型定義はunderlying typeを共有するので、正解はstring
20. クイズ • struct{ x int }のunderlying typeは？
21. 正解 • 型リテラルのunderlying typeはそれ自身
22. クイズ • MyIntsのunderlying typeは？
23. 正解 • 型宣言はunderlying typeを共有するので、MyIntsのunderlying typeは[]MyIntの underlying type • 型リテラル[]MyIntのunderlying typeはそれ自身 • よって、MyIntsのunderlying typeは[]MyInt
24. いかがでしたか？？？ ありがとうございました