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 (6)
Go1.18 Genericsを試す
- 1. Go 1.18 Genericsを試す OCT 28 2021 Asuka y ... ...
- 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とは何か + 共通のコードパターンを共通化することができる． + コード量の削減，記述の簡略化が可能になる．
- 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の機能を試すことができる!! 試してみよう!
- 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.