Go1.18 Genericsを試す

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

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

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

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を定
義でき，利用時に型
を指定できる．

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

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]が採用さ
れた．

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

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しな
いと利用できなかい．

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

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

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の機能を試すことができる!!
試してみよう!

Genericsデモ

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

XX. Genericsを試したい

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

// --- package p1 ---
type S struct{}
// --- 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デモ
package p3がp1.S
の型を推論できな
い．JITを使えばで
きるけど，Goはそん
なことをやりたくな
い．

// この形式は構文エラーにはならないが，サポートされない．
// 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デモ
Interfaceや型定義
に型パラメータを持
たせる記述は可能．

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

Go 1.18 release in early 2022.

Go1.18 Genericsを試す

More Related Content

What's hot (20)

Similar to Go1.18 Genericsを試す (10)

More from asuka y (6)

Go1.18 Genericsを試す