Golang ジェネリックにおけるインターフェイス/実装の同時性

スライスに初期化された値を埋めるジェネリック関数を作成するタスクを考えてみましょう。これは簡単そうに見えますが、インターフェイスのスライスを利用して関数内で具体的な型を指定しようとすると課題が発生します。

Go 1.18 では、X と Y の両方をジェネリック関数 Fill 内の任意の型として制約すると、損失が生じます。インターフェースとその実装者との間の関係。これにより、関数内で Y のインスタンスをスライス[i]に割り当てることができなくなります。

これを克服するには、明示的なアサーションを使用できます:

func Fill[X, Y any](slice []X) {
    for i := range slice {
        slice[i] = any(*new(Y)).(X)
    }
}

ただし、このアプローチは、Y が X を実装していない場合にパニックになります。さらに、Y にポインター型を使用すると、基本型と nil ベースライン値に関する情報が失われます。

Toこれらの問題に対処するには、2 番目の型パラメーターの代わりにコンストラクター関数を使用することをお勧めします:

func main() {
    xs := make([]sync.Locker, 10)
    Fill(xs, func() sync.Locker { return &sync.Mutex{} })
}

func Fill[X any](slice []X, f func() X) {
    for i := range slice {
        slice[i] = f()
    }
}

このアプローチは、コンストラクター関数によって作成された初期化された値でスライスを効果的に埋め、問題に対するより堅牢で柔軟な解決策を提供します。