Go1.18 Genericsを試す

1. Go 1.18 Genericsを試す OCT 28 2021 Asuka y ... ...

2. GOGOGOGOGOGOGOGOGOGO Genericsとは何か 01 GoにおけるGenerics これまでのGo これからのGo 02 03 04

3. Genericsとは何か 01

4. ジェネリックプログラミング特定のデータ型に依存しないアルゴリズムを記述するためのプログラミングスタイル

5. Generics 01. Genericsとは何か // 定義 abstract class Iterable<E> { Iterable<T> map<T>(T toElement(E e)) => MappedIterable<E, T>(this, toElement); } // 利用 void main() { final s = <int>[1, 2, 3]; s.map<String>((final n) => "${2 * n}"); } よくある文法任意の型E, Tを定義でき，利用時に型を指定できる．

6. メリット 01. Genericsとは何か + 共通のコードパターンを共通化することができる． + コード量の削減，記述の簡略化が可能になる．

7. GoにおけるGenerics 02

8. Generics 02. GoにおけるGenerics // 定義 func Map[E, T any](s []E, f func(E) T) []T { r := make([]T2, len(s)) for i, v := range s { r[i] = f(v) } return r } /* Goの特徴として，型名を変数名の後ろに書く． GenericsはGo2で実装されると噂されていたが，Go1で実装されることが決定した． */ 今年1月にAcceptされた．山括弧<T>ではなく角括弧[T]が採用された．

9. A. 比較演算子の<, >と紛らわしい a, b = b, a a, b = w < x, y > (z) Q. なぜ角括弧[T]なのか

10. これまでのGo 03

11. var x interface{} Switch x.(type) { case string: ... } Interfaceによる実装 03. これまでのGo Sort(x interface{}, less func(i, j int) bool) { ... 空Interfaceによって型を抽象化することで任意の型を扱うことはできる．空InterfaceとはJavaなどのObject Classに当たる存在．空Interface{}を扱う側はCastしないと利用できなかい．

12. go generate ...コマンドを用いて共通のコードをGenerateする． > ls -l wire.go Wire_gen.go ... コードの自動生成 03. これまでのGo //go:generate stringer -type=Pill Type Pill int ツールの扱いであったり，色々と煩雑になりやすい．汎用性は高いが，膨大な自動生成ファイルができたり，生成ツールのメンテナンスなどが必要になる．

13. // Genericsが欲しくなる // 意外と早い & GenericsがなくてもアプリはInterfaceでなんとかなる場合が多いひたすらコードを実装する．最初はこれで良い．とにかく書く 03. これまでのGo 脳内に派閥が形成される．ライブラリ作成を始めた時に苦しみを覚える．

14. これからのGo 04

15. Go 1.18ではこう書ける!! // 定義 func Print[T any](s []T) { for _, v := range s { fmt.Println(v) } } // 利用 func main() { Print([]int{1, 2, 3}) } 04. これからのGo Go 1.17ではBuildフラグで1.18の機能を試すことができる!! 試してみよう!

16. Genericsデモ 04. これからのGo

18. 03 Genericsを試したい Genericsを試したい XX. Genericsを試したい XX

19. Genericsを試したい XX. Genericsを試したい

25. // この形式は構文エラーにはならないが，サポートされない． func (S) Identity[T any](v T) T { return v } Genericsデモ 04. これからのGo No parameterized methods レシーバメソッドには型パラメータを付けられない．

26. // --- package p1 --- type S struct{} func (S) Identity[T any](v T) T { return v } // --- package p2 --- type HasIdentity interface { Identity[T any](T) T } // --- package p3 --- func CheckIdentity(v interface{}) { if vi, ok := v.(p2.HasIdentity); ok { if got := vi.Identity[int](0); got != 0 { // --- package p4 --- func CheckSIdentity() { p3.CheckIdentity(p1.S{}) Genericsデモ 04. これからのGo package p3がp1.S の型を推論できない．JITを使えばできるけど，Goはそんなことをやりたくない． No parameterized methods

29. // この形式は構文エラーにはならないが，サポートされない． func (S) Identity[T any](v T) T { return v } // Interfaceは許される type Identify[T any] interface { Identity(v T) T } // レシーバメソッドに型パラメータを持たない場合は許される type Slice[T any] []T func (s Slice[T]) Identity(v T) T { return v } Genericsデモ 04. これからのGo No parameterized methods Interfaceや型定義に型パラメータを持たせる記述は可能．

32. // 並べられるという制約を定義 type Ordered interface { // 型を列挙できる // 「~int」は「int」を基底に持つ型を内包できる ~int | ~uint | string } func Smallest[T Orderd] (x, y T) T { if x < y { return x } return y } Genericsデモ 04. これからのGo Constraint elements Interfaceに制約を持たせる文法が追加された．

35. Go 1.18 release in early 2022.

Go1.18 Genericsを試す

Go1.18 Genericsを試す

Recomendados

Más contenido relacionado

La actualidad más candente

La actualidad más candente(20)

Similar a Go1.18 Genericsを試す

Similar a Go1.18 Genericsを試す(12)

Más de asuka y

Más de asuka y(6)

Go1.18 Genericsを試す