入門Go言語仕様 / Go Specification Untyped Constants

Transcript

1. 入門Go言語仕様輪読会 Untyped Constants @DQNEO 2021-04-15

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

   • 公式Goコンパイラ、言語仕様書コントリビュート歴有り

3. 問題: 次の値の型は何でしょうか？ 123 "hello" true

4. 答え: なし 123 "hello" true ← 型なし ← 型なし ←

   型なし

5. 問題: 次の２文は何が違うでしょうか？ const x = 123 var x = 123

   注: const / var 違いの他に

6. 答え: 型が違う const x = 123 var x = 123

   var x int = 123 両辺とも型なし 両辺とも int =

7. 型なし？

8. Go言語の定数は • 型あり • 型なし のどちらか

9. これらは全部型なし定数 • 123 • 1.1 • "hello" • ‘a’ •

   true • 1.0+3.0i

10. 型なし定数を作ることも可能 const THREE = 3 const HELLO = "hello" 左辺で型を省き、右辺で型なし定数を使う

11. 型なし定数のおもしろ性質(1) ＿人人人人人人＿ ＞　型がない　＜ ￣Y^Y^Y^Y^Y^Y^￣

12. 型がないのでユーザ定義型に代入可能 type MyBool bool var b MyBool = true もし

    true が bool 型だったら、代入できないはず (代入可能性の解説はこちら ) https://play.golang.org/p/63VHrn7XQVY

13. const HELLO = "hello" type MyString string var s MyString

    = HELLO もし HELLO が string型だったら、代入できない 型がないのでユーザ定義型に代入可能 (代入可能性の解説はこちら )

14. 型がないのでいろんな型に代入可能 var y float32 = 97 var x int64 =

    'a' var z byte = 97.0 (※ ただし “representable” な場合に限る) どれも 右辺は 「左辺の型の97」扱い

15. 型なし定数のおもしろ性質(2) 「型を隠し持っている」

16. 型なし定数にも種類がある リテラル 種類 1 integer constant 1.0 floating-point constant 'a'

    rune constant "hello" string constant true boolean constant

17. 種類に応じて default type がある リテラル 種類 default type 1 integer

    constant int 1.0 floating-point constant float64 'a' rune constant rune(=int32) "hello" string constant string true boolean constant bool

18. var x = 1.0 型が必要です。 あなたの型を教えてください float64 です 聞かれたときだけ答える default

    type とは、 「型を要求されたとき」に使われる型

19. 型を要求される文脈の例 • var x = 123 • y := 1.0

    • var ifc interface{} = 1.0 • fmt.Printf("%v", 1.0)

20. • var x uint8 = 1.0 私は uint8型です。 私に従ってください わかりました

    default typeは、必ずしも使われるわけでは ない uint8として振る舞う default typeは使われない

21. 型なし定数のおもしろ性質(3) 「すごい数もOK」

22. 超巨大数を定義できる const HUGE = 92233720368547758070 ↑ int64の最大値より大きい

23. 定義できるが表示できない const HUGE = 92233720368547758070 fmt.Println(HUGE) ＿人人人人人人＿ ＞　コンパイルエラー　＜ ￣Y^Y^Y^Y^Y^Y^￣ constant

    92233720368547758070 overflows int64

24. int型変数に代入できない const HUGE = 92233720368547758070 var x = HUGE constant

    92233720368547758070 overflows int64 ＿人人人人人人＿ ＞　コンパイルエラー　＜ ￣Y^Y^Y^Y^Y^Y^￣

25. Go言語氏 「default type があるとは言ったが、 default type に収まるとは言ってない」

26. float型変数には代入できる const HUGE = 92233720368547758070 var x float64 = HUGE

    fmt.Printf("%v\n", x) => 9.223372036854776e+19 精度は落ちる (当然)

27. 巨大数同士の定数計算ができる const HUGE = 92233720368547758070 const X_HUGE = 922337203685477580700 var

    x uint8 = X_HUGE / HUGE 計算結果がuint8 に収まるのでOK => 10

28. 超細かい小数を定義できる const ROOT2 = 1.41421356237309504880168872420969807856 967187537694807317667974 float64 の精度を超えている

29. 二乗すると 2 になる const ROOT2 = 1.41421356237309504880168872420969807856 967187537694807317667974 fmt.Println(ROOT2 *

    ROOT2) // => 2 ＿人人人人人人＿ ＞　精度高すぎ　＜ ￣Y^Y^Y^Y^Y^Y^￣

30. 変数を経由すると精度が落ちる const ROOT2 = 1.41421356237309504880168872420969807856 967187537694807317667974 f := ROOT2 //

    ここで float64に詰め替えられる fmt.Println(f * f) // => 2.0000000000000004 https://play.golang.org/p/JMtw6IZjDtP

31. Goの言語思想 “they are just regular numbers” 型なし定数の数値は「ただの数」である const HUGE =

    92233720368547758070 const ROOT2 = 1.4142135623730950488016887242096980785696718753769 4807317667974 https://blog.golang.org/constants

32. Goの言語思想 “they live in a kind of ideal space of

    values” 型なし定数は、型の制約のない自由な理想空間 で生きている

33. Goの言語思想 1 1.000 1e3-99.0*10-9 '\x01' ‘a’ (= ‘0x97 ’ 97)

    '\u0001' 'b' - 'a' 1.0+3i-3.0i これらはどれも 型なし定数 1 と同等に扱える

34. おまけ この辺は例外的な仕様 • string(97) // => "a" • string(97.0) //

    コンパイルエラー

35. ご清聴 ありがとうございました