プロンプトとコンテキスト
あるGoチームが複数のモジュールを保守しています。その公開ライブラリはGo 1.26でビルドできる状態を維持する必要がある一方、実験的モジュールではGo 1.27リリースノートに記載されたジェネリックメソッドを評価したいと考えています。チームは、インターフェースの互換性、ツールチェーンの要件、リリースパイプラインを変更することなく、型関連のジェネリックな操作をメソッドの名前空間に配置することを望んでいます。言語の境界、実験の設計、ビルドマトリックス、および終了条件を説明してください。
Goの公式ページでは、1.27のノートがドラフト（下書き）であると明記されており、リリースはまだ利用できず、2026年8月のリリースが予定されていると記載されています。そこには、メソッドが独自の型パラメータを宣言できると記述されている一方で、インターフェースメソッドは型パラメータを宣言できず、ジェネリックメソッドによって実装することもできないと明記されています。これらは安定した言語の約束ではなく、リリース前の制約として扱ってください。
面接官が評価している点
面接官は、型、関数、メソッドに対する型パラメータを区別できるか、そして一見よりジェネリックに見えるメソッドがインターフェースを自動的に満たすわけではないことを理解しているかをテストしています。優れた回答では、最小限の実験、コンパイラおよびgo.modのマトリックス、パブリックAPIの隔離、ロールバック、およびドラフトの変更記録を提案します。
確認すべき質問
- 目的は呼び出し側の表現力、型推論、それとも内部実装の再利用ですか？
- 実験的コードが、安定版モジュール、ジェネレーター、プラグイン、または外部の利用者によってインポートされる可能性はありますか？
- パブリックAPIに必要な最小Goバージョン、インターフェースサーフェス、およびリリース周期はどのようなものですか？
- どのコンパイラ、アナライザー、IDE、CIプラットフォームを検証する必要がありますか？
- ドラフトの名前が変更されたり、撤回されたり、セマンティクスが変更されたりした場合、安定版モジュールを変更することなく実験を削除できますか？
30秒の回答
「Go 1.27をドラフトとして位置付け、Go 1.26のパブリックAPIを変更することなく、実験を隔離されたモジュールとCIジョブに配置します。ジェネリックメソッドは独自の型パラメータを宣言できますが、インターフェースメソッドは宣言できず、ジェネリックメソッドでインターフェースメソッドを実装することもできません。私はこれらの境界を具象インターフェースとジェネリック関数を用いて検証します。実験では可読性、型推論、コンパイル時間、ツールの動作を測定し、ドラフトの構文を安定版の利用者に公開することはありません。コンパイラ、インターフェース適合性、または生成コードに不整合が生じた場合は実験を終了し、安定版の実装を維持します。」
ステップバイステップの詳細な回答
1. バージョンの事実と実験の目標を確認する
進行中のノートを仕様として扱うのではなく、公式ページの日付、ドラフトステータス、予定されているリリースを記録します。パッケージレベルのヘルパーの削減、呼び出し元での明確な推論、内部データ構造の表現力向上など、目標を測定可能な仮説に変換します。「ジェネリックメソッドのほうが見た目が良い」は合格基準にはなりません。
2. 3つの型パラメータの境界を分離する
型はその型パラメータを宣言でき、関数は呼び出し元で推論されるパラメータを宣言でき、ドラフトのジェネリックメソッド機能によりメソッドが独自のパラメータを宣言できるようになります。インターフェースメソッドは依然として型パラメータを宣言できず、具象型がジェネリックメソッドを提供しているからといって、インターフェースがそれを自動的に獲得するわけではありません。失敗がツールのバグではなく言語のルールであることを理解できるように、コンパイルが成功する例と意図的に失敗する例の両方を示します。
type Box[T any] struct {
value T
}
// Go 1.27 draft syntax; do not publish from a stable Go 1.26 module.
func (b Box[T]) Convert[U any](fn func(T) U) U {
return fn(b.value)
}
type Converter interface {
// Interface methods cannot declare their own type parameters.
Convert(/* generic method is not allowed here */)
}このメソッド構文は、ドラフトの議論を明確にするためだけに示されています。実際の実験では、リリースされたコンパイラとそのリリースノートを使用する必要があります。コメントアウトされたインターフェースはコンパイル可能なパブリックAPIではありません。
3. ドラフトコードを別モジュールに隔離する
実験を専用のディレクトリとgo.modに配置し、ツールチェーンを固定して、安定版モジュールがそれに依存しないようにします。パブリックライブラリはGo 1.26でのビルドを維持します。実験用モジュールはドラフトコンパイラを使用する場合がありますが、その成果物が安定版パッケージ、生成されたテンプレート、またはモジュール間インターフェースに入り込んではなりません。実験の削除は、利用者のコードを書き直すことなく、モジュールとCIジョブを削除するだけで済むようにする必要があります。
4. コンパイラとツールのマトリックスを構築する
安定版のGo 1.26コンパイラ、ドラフトに使用されるツールチェーン、go vet、静的解析ツール、IDE言語サーバー、およびターゲットプラットフォームを網羅します。型推論、診断、コンパイル時間、キャッシュの動作、クロスコンパイル、ドキュメント、ジェネレーターを確認します。フォーマッター、アナライザー、ジェネレーターが完全なサポートを欠いている状態でも、ジェネリックメソッドがコンパイルを通ってしまうことがあります。
5. 推測ではなくインターフェースと関数をテストする
具象メソッド呼び出し、パッケージレベルのジェネリック関数、インターフェースへの代入、メソッド値（method values）、メソッド式（method expressions）、リフレクションなど、各ケースについてコンパイル成功および意図的な失敗の期待結果を記録します。テストによって、呼び出し側の複雑さが実際に低下するかどうかを証明する必要があります。インターフェースに依然としてアダプターが必要な場合、その機能は結合度を下げることなく構文を移動させただけかもしれません。
6. 終了およびリリースゲートを設定する
ドラフトのセマンティクスが変更されたり、コンパイラがクラッシュしたり、ツールがコードを処理できなかったり、パブリックAPIに最小バージョンの変更が漏れたり、ベンチマークで再現可能なメリットが見られない場合は実験を中止します。安定版の実装、機能スイッチ、比較ベースラインを維持してください。最終リリースと移行レビューの前には、メインモジュールのgoディレクティブやパブリックAPIを変更しないでください。コンパイラバージョン、コミットハッシュ、既知の制限事項を記録します。
質の高い模範解答
まずGo 1.27のページがまだドラフトであることを確認し、ジェネリックメソッドの実験を独立したモジュールとCIジョブに配置します。メソッドは型パラメータを宣言できる一方で、インターフェースメソッドは宣言できず、ジェネリックメソッドによって実装することもできないという点を回答で述べる必要があります。具象呼び出し、パッケージレベルのジェネリック関数、インターフェース代入、メソッド値、およびツールをテストします。安定版ライブラリはGo 1.26でのビルドを継続し、ドラフト構文がパブリックAPI、生成コード、リリース成果物に混入しないようにします。最終リリース、コンパイラおよびツールのサポート、再現可能なベンチマーク、互換性レビューが完了した後にのみ移行を検討します。それ以外の場合は実験を終了し、安定版の実装を維持します。
よくある間違い
- ドラフトのリリースノートを安定した仕様として扱う → セマンティクスや構文が変更される可能性がある → ステータスを記録し、実験を隔離する。
- インターフェースメソッドが型パラメータを宣言できると仮定する → ドキュメント化された境界に違反する → 具象インターフェースとジェネリック関数を別々にテストする。
- Go 1.26モジュールを実験に依存させる → 最小ツールチェーン要件が知らず知らずのうちに引き上げられる → 安定版モジュールと実験用モジュールを一方向で隔離し続ける。
- コンパイラの成功のみを確認する → vet、IDE、ジェネレーター、クロスコンパイルが失敗する可能性がある → 完全なツールマトリックスを実行する。
- 新しい構文のために安定版の実装を削除する → ドラフトが撤回された場合にロールバックできなくなる → 比較用の実装、スイッチ、終了ゲートを維持する。
フォローアップの質問と回答
ジェネリックメソッドとジェネリック関数の本質的な違いは何ですか？
ジェネリック関数は、パッケージレベルの関数で型パラメータを宣言します。ジェネリックメソッドは、レシーバー型のメソッド上で独自の型パラメータを宣言します。メソッドの名前空間のほうが呼び出し側の意図にうまく合致する場合がありますが、インターフェースのルールが自動的に変わるわけではありません。
なぜインターフェースメソッドはジェネリックメソッドにそのまま追従できないのですか？
インターフェースの充足（satisfaction）には、安定的かつ比較可能なメソッドセットが必要です。公式ドラフトでは、インターフェースメソッドは型パラメータを宣言できず、ジェネリックメソッドによって実装することもできないとされているため、その境界には具象メソッド、アダプター、またはパッケージレベルのジェネリック関数を使用する必要があります。
実験が安定版モジュールに漏洩していないことをどのように証明しますか？
Go 1.26モジュールを個別にビルドし、その依存関係グラフ、生成されたパッケージ、リリース成果物を検査し、CIで実験パスのインポートを禁止し、公開シンボルとバージョンディレクティブを監査します。
コンパイラが通るだけで十分ですか？
いいえ。ドラフト版ではツールチェーンの他の部分の準備が整う前にコンパイラに機能が導入されることがあるため、gofmt、vet、アナライザー、IDEサポート、ジェネレーター、クロスコンパイル、ドキュメント、ベンチマークを検証する必要があります。
本番プロジェクトはいつ移行できますか？
最終リリース後、言語とツールの動作が安定し、インターフェースおよびビルドマトリックスに合格し、再現可能なメリットが得られ、ロールバックパスが確保され、利用者への周知と改定されたバージョンポリシーが確認された後、小規模な移行から開始します。