![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を定
義でき，利用時に型
を指定できる．](https://image.slidesharecdn.com/go1-211028141953/85/Go1-18-Generics-5-320.jpg)
 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]が採用さ
れた．](https://image.slidesharecdn.com/go1-211028141953/85/Go1-18-Generics-8-320.jpg)
![A. 比較演算子の<, >と紛らわしい
a, b = b, a
a, b = w < x, y > (z)
Q. なぜ角括弧[T]なのか](https://image.slidesharecdn.com/go1-211028141953/85/Go1-18-Generics-9-320.jpg)
 {
for _, v := range s {
fmt.Println(v)
}
}
// 利用
func main() {
Print([]int{1, 2, 3})
}
04. これからのGo
Go 1.17ではBuildフラグで1.18の機能を試すことができる!!
試してみよう!](https://image.slidesharecdn.com/go1-211028141953/85/Go1-18-Generics-15-320.jpg)
 T { return v }
Genericsデモ
04. これからのGo
No parameterized methods
レシーバメソッドに
は型パラメータを付
けられない．](https://image.slidesharecdn.com/go1-211028141953/85/Go1-18-Generics-25-320.jpg)
 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](https://image.slidesharecdn.com/go1-211028141953/85/Go1-18-Generics-26-320.jpg)
 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や型定義
に型パラメータを持
たせる記述は可能．](https://image.slidesharecdn.com/go1-211028141953/85/Go1-18-Generics-29-320.jpg)
![// 並べられるという制約を定義
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に制約を
持たせる文法が追
加された．](https://image.slidesharecdn.com/go1-211028141953/85/Go1-18-Generics-32-320.jpg)
More Related Content
What's hot (20)
Similar to Go1.18 Genericsを試す (10)
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.