1. 導入：なぜジェネリクスが必要なのか
Goで開発をしていると、「中身の型は違うけれど、処理の内容は全く同じ関数」を作りたい場面によく遭遇します。例えば、int型のスライスの合計値を出す関数と、float64型のスライスの合計値を出す関数などです。これまでは、interface{}を使って実装したり、同じような関数を複数定義したりしていました。しかし、ジェネリクスを使えば、特定の型に依存せず汎用的なコードを安全かつ効率的に書くことができます。
2. 基礎知識：型パラメータと型制約とは
ジェネリクスとは、関数や構造体を定義する際に「型」をパラメータとして受け取れるようにする仕組みです。
・型パラメータ：関数名の後の[]で囲まれた部分。任意の型（例: T）を一時的に代入する変数のようなものです。
・型制約：Tが「どんな型であれば良いか」を制限するもの。例えば「比較可能な型（==が使える）」ならcomparable、「何でもOK」ならany（interface{}のエイリアス）を指定します。
3. 実装/解決策：汎用的な関数の作り方
ジェネリクスを使う際は、まず「この関数でやりたいことは何か」を考えます。例えば、「スライスの中から特定の要素を見つける」という処理なら、型制約には「比較ができること」を意味するcomparableが必要です。これにより、実行時の型チェック（型アサーション）を減らし、コンパイル時に型安全性を担保できます。
4. サンプルプログラム
以下のコードは、任意の型のスライスから、指定した値が含まれているかを判定する関数です。
package main
import "fmt"
// Tは型パラメータ。comparable制約により、比較演算子 == が使える型に限定
func Contains[T comparable](slice []T, target T) bool {
for _, v := range slice {
// Tがcomparableなので == で比較できる
if v == target {
return true
}
}
return false
}
func main() {
// int型のスライスで実行
nums := []int{1, 2, 3, 4, 5}
fmt.Println(Contains(nums, 3)) // 出力: true
// string型のスライスで実行
words := []string{"apple", "banana", "cherry"}
fmt.Println(Contains(words, "grape")) // 出力: false
}
5. 応用・注意点：現場で役立つポイント
ジェネリクスは非常に便利ですが、注意点もあります。
・複雑さの回避：すべてをジェネリクスにしようとするとコードが難読化します。「本当に汎用化が必要か」を一度検討しましょう。
・バイナリサイズ：Goのジェネリクスは、コンパイル時に型ごとにコードを生成する（Monomorphization）という手法をとります。そのため、使いすぎると生成されるバイナリサイズが大きくなる傾向があります。
・パフォーマンス：リフレクションを使用する場合と比べて実行速度は非常に高速です。パフォーマンスが重要な箇所では積極的に活用しましょう。
まずはシンプルな関数からジェネリクスを取り入れて、より柔軟なGoコードを書く練習をしてみてくださいね。
コメント