Unmarshal でのジェネリックの使用 (Go 1.18)

Go 1.18 でジェネリックを利用する場合 (さまざまなレポート タイプを保持するコンテナの作成など)、型の制約が発生する可能性があります。次の設定を考えてみましょう。

• 構造体で表される複数のレポート タイプ
• ジェネリック型パラメーターを持つ ReportContainer ラッパー Reportable、Reportable インターフェイスの実装に制約されます
• 識別子ReportType は、アンマーシャリング中に具体的なレポート タイプを決定します

タイプ制約に関する問題が発生する可能性があります。戻り値の型により、型アサーションに対応するための GetBody() 関数の「フリーテキスト セマンティクス」が発生します。

課題と解決策

この問題は、Go が型アサーションをサポートしていないことに起因しています。構造体の場合であり、ジェネリック型へのポインターは許可されません。これに対処するには、LocationID、Provider、ReportType、および Body の Getters を実装するインターフェイスを作成できます。ただし、この解決策では型安全性を犠牲にする必要があります。

より安全なアプローチには、パラメトリック多態性を放棄し、JSON アンマーシャリング中に識別子の値に基づく具体的な switch ステートメントを利用することが含まれます。これにより、各レポート タイプに正しい具象タイプが使用されるようになります。

代替アプローチ

動的 JSON 解析の場合、汎用アンマーシャル関数を使用できます。

func unmarshalAny[T any](bytes []byte) (*T, error) {
    out := new(T)
    if err := json.Unmarshal(bytes, out); err != nil {
        return nil, err
    }
    return out, nil
}

この関数は柔軟性を提供しますが、その実装が最小限の場合、アンマーシャリング ロジックを直接インライン化するのと同じアクションを実行するだけであることに注意することが重要です。したがって、この関数の使用は、追加のロジックを導入する場合にのみ正当化されます。

要約すると、具象型および JSON アンマーシャリングを使用する場合は、ジェネリックスの必要性を慎重に検討してください。必要に応じて、型の安全性を損なうことなくスイッチベースのソリューションを選択し、機能を不必要に複製する汎用関数を使用する場合には注意してください。