Day 046 — ジェネリクス応用（制約・型セット）: 独自の型制約インターフェースの設計

📚 背景知識（読んでから問題へ）

Day 022ではfunc Map[T, U any](s []T, f func(T) U) []Uのような、型パラメータの基本文法を扱いました。any（interface{}のエイリアス）は「どんな型でも受け入れる」制約であり、関数内部では受け取った値に対して代入・引き回し以外の操作（比較・加算など）はできません。今回のテーマは、その先にある「型のどんな性質を要求するか」を自分で設計するステップです。

Go 1.18で導入されたジェネリクスの核心的なアイデアは、制約として使うインターフェースは「メソッドの集合」ではなく「型の集合（type set）」を表す、という再定義です。

type Numeric interface {
	~int | ~int64 | ~float32 | ~float64
}

このNumericは「int型そのもの、またはintを基底型とするすべての型、あるいはint64型そのもの、または...」という型の集合を表します。ポイントは~（チルダ、"approximation element"）です。

type Meters float64 // 基底型はfloat64

var m Meters = 3.0

~を付けずにinterface { float64 }と書いた場合、この型集合にはfloat64という厳密にその型のみが含まれ、Meters（基底型はfloat64だが別の名前付き型）は含まれません。~float64と書くことで「基底型がfloat64であるすべての型」を型集合に含められます。実務で独自の数値型（type Yen int64、type Celsius float64など）を扱うジェネリック関数を書く場合、この~がないと自分で定義した型を渡せない、という落とし穴にすぐ遭遇します。

さらにGoの制約インターフェースは、型要素（type element）とメソッド要素（method element）を組み合わせることもできます。「特定の型集合に属し、かつ特定のメソッドを持つ」という複合的な制約を1つのインターフェースで表現できるのが、Javaの型消去（type erasure）ベースのジェネリクスや、単純な「メソッドを持っているか」だけを見るGoの通常のインターフェースとは異なる、type setというモデル独自の表現力です。

📝 問題

以下の5つの問いに答えてください。(2)(3)はgo run main.goでそのまま実行できる完全なコードを提示すること。（Go 1.21以降を前提とします。go versionで確認してください）

1. 「型集合（type set）」とは何か、そして~（チルダ）が型集合に与える意味の違いを、type Meters float64を例に説明してください。
2. 整数系・浮動小数点系のすべての基本型（~付き）を含む独自の制約Numericを定義し、Sum[T Numeric](nums []T) T（合計値を返す）を実装してください。intのスライスと、独自定義したtype Yen int64のスライスの両方で正しく動作することをmain関数で確認してください。
3. Numericを使ってMax[T Numeric](nums []T) T（最大値を返す。空スライスはpanicでよい）を実装してください。実装の中で比較演算子>がジェネリック関数の中でどのように扱われているか（Goの仕様上、型集合に含まれるすべての型が順序付け可能な組み込み型である場合にのみ< >などの演算子がジェネリック関数内で使える、という制約）に触れてください。
4. ~を付けずにtype StrictNumeric interface { int | float64 }と定義した場合、type Score intという独自型のスライスをSum[T StrictNumeric]のような関数に渡すとどうなるか、実際に何が起きるか（コンパイルエラーの内容）を説明してください（このケースは実際にコンパイルが通らないため、コメントアウトしたコードとエラー内容の記述で示してください）。
5. Go 1.21の標準ライブラリcmp.Ordered・組み込みmin/maxと、今回自作したNumeric/Maxを比較し、実務でどちらを使うべきか（あるいは自作の制約がなお必要になる場面はどこか）を設計判断として述べてください。

🔍 ヒント（段階的開示）

📋 コピーpackage main

import "fmt"

type Numeric interface {
	~int | ~int8 | ~int16 | ~int32 | ~int64 |
		~uint | ~uint8 | ~uint16 | ~uint32 | ~uint64 | ~uintptr |
		~float32 | ~float64
}

func Sum[T Numeric](nums []T) T {
	var total T
	for _, n := range nums {
		total += n
	}
	return total
}

type Yen int64

func main() {
	ints := []int{1, 2, 3}
	fmt.Println(Sum(ints))

	yens := []Yen{100, 200, 300}
	fmt.Println(Sum(yens))
}

✅ 模範解答

📋 コピーpackage main

import "fmt"

// Numeric はすべての整数系・浮動小数点系の組み込み型（およびそれらを基底型とする
// 独自の名前付き型）を表す型集合。~ を付けることで、type Yen int64 のような
// 独自定義型もこの制約を満たせるようになる。
type Numeric interface {
	~int | ~int8 | ~int16 | ~int32 | ~int64 |
		~uint | ~uint8 | ~uint16 | ~uint32 | ~uint64 | ~uintptr |
		~float32 | ~float64
}

// Sum は Numeric 制約を満たす任意の型のスライスの合計を返す。
func Sum[T Numeric](nums []T) T {
	var total T
	for _, n := range nums {
		total += n // T が Numeric に属することをコンパイラが保証しているため + が使える
	}
	return total
}

// Max は Numeric 制約を満たす任意の型のスライスから最大値を返す。
// 空スライスは呼び出し側の誤りとみなし panic する。
func Max[T Numeric](nums []T) T {
	if len(nums) == 0 {
		panic("Max: empty slice")
	}
	max := nums[0]
	for _, n := range nums[1:] {
		if n > max { // > も Numeric に含まれるすべての型が組み込みの順序付けをサポートするため使える
			max = n
		}
	}
	return max
}

// Yen は独自の通貨型。基底型は int64。
type Yen int64

// Celsius は独自の温度型。基底型は float64。
type Celsius float64

func main() {
	fmt.Println("--- Sum: 組み込み型 ---")
	ints := []int{1, 2, 3, 4, 5}
	fmt.Println("Sum(ints) =", Sum(ints))

	fmt.Println("\n--- Sum: 独自の名前付き型（~ がなければコンパイルできない） ---")
	yens := []Yen{1000, 2500, 300}
	fmt.Println("Sum(yens) =", Sum(yens))

	fmt.Println("\n--- Max: 独自の名前付き型 ---")
	temps := []Celsius{18.5, 22.0, 15.3, 30.1, 9.9}
	fmt.Println("Max(temps) =", Max(temps))

	fmt.Println("\n--- Max: 組み込み型 ---")
	scores := []int{72, 95, 60, 88}
	fmt.Println("Max(scores) =", Max(scores))
}

実行結果（実測。go1.21以降で確認済み）:

📋 コピー--- Sum: 組み込み型 ---
Sum(ints) = 15

--- Sum: 独自の名前付き型（~ がなければコンパイルできない） ---
Sum(yens) = 3800

--- Max: 独自の名前付き型 ---
Max(temps) = 30.1

--- Max: 組み込み型 ---
Max(scores) = 95

(4) ~を外すとコンパイルできない例:

📋 コピー// この定義は「型要素のみからなるインターフェース」で、型パラメータの制約としてのみ使用可能。
type StrictNumeric interface {
	int | float64 // ~ を付けていない = int, float64 という「型そのもの」しか型集合に含まない
}

func StrictSum[T StrictNumeric](nums []T) T {
	var total T
	for _, n := range nums {
		total += n
	}
	return total
}

type Score int // 基底型は int だが、Score という別の名前付き型

func main() {
	scores := []Score{80, 90, 70}
	fmt.Println(StrictSum(scores)) // ← ここでコンパイルエラー
}

このコードをgo buildすると、以下のようなエラーになります（Goのバージョンによって文言は多少異なります）。

📋 コピー./main.go:XX:20: Score does not implement StrictNumeric (possibly missing ~ for int in constraint StrictNumeric)

コンパイラのエラーメッセージ自体が「~を付け忘れていませんか」と示唆してくれる点は、Goのツールが誤りに気づきやすいようにする設計の表れです。Scoreの基底型は確かにintですが、StrictNumericの型集合にはintという型そのものしか含まれておらず、Scoreという別名の型はその集合の要素ではないため、型パラメータTをScoreとして実体化する際の制約チェックに失敗します。

🪜 Step-by-Step 解説

💡 設計思想・なぜこう書くのか

🌐 他言語との比較

🏆 実務での使いどころ

• 金額計算ユーティリティ: Yen, USDのようなドメイン固有の数値型（type Yen int64など、単位の取り違えをコンパイラに検出させるための独自型）を横断して使えるSum・Average関数を1つの実装で提供できる
• ジェネリックなキャッシュ・リポジトリ層: type ID interface { ~int | ~int64 | ~string }のような制約で、複数のエンティティ型（数値IDのものも文字列IDのものも）に対応する汎用リポジトリのキーの型を制約できる
• 数値集計・統計処理ライブラリ: 標準ライブラリのcmp.Orderedだけでは表現できない「加算可能」「ゼロ値が意味を持つ」といった要件を、独自のNumeric系制約として社内共通ライブラリに切り出す

⚠️ よくある誤解・ミス

🚀 次のステップ

• 発展: Numeric制約に~complex64 | ~complex128を追加した場合、Max関数の>演算子がどうなるか実際に試してみましょう（複素数は順序付けできないため、コンパイルエラーになります）。制約に含まれる型のうち一部でも特定の演算子をサポートしない型が混ざると、コンパイラがどう反応するかを体感できます
• 次回予告: gRPC/Protocol Buffers実装 — サービス定義から生成したコードを使い、実際にクライアント・サーバー間の通信を実装する問題を扱います

🎯 自己評価

自分の回答

気づき・メモ