Go Proposal Weekly Digest

このproposalは、go test が go.vet ファイルで指定されたアナライザ（静的解析器、リンターとも呼ばれます）を実行できるようにする開発中の機能を、フラグで有効化したときだけ動くようにするものです。対象の機能は別のproposal（#82464）で提案されています。そちらがまだ採否未定のため、既存の動作は変えずに、試したい人だけが試せる状態にすることが目的です。

go/types パッケージに、関数値をそのまま types.Importer インターフェースとして使えるアダプタ型 ImporterFunc を追加する提案です。net/http の http.HandlerFunc と同じ仕組みです。Issueのタイトルは ImportFunc ですが、本文で提案されている型名は ImporterFunc です。

go/types パッケージの型エラーを表す types.Error 構造体に、エラーの原因となった式の開始位置 Start と終了位置 End を公開フィールドとして追加する提案です。位置情報は内部ではすでに記録されているため、これを外から使えるようにするのが目的です。

go/ast の FieldList（関数の引数・戻り値、構造体のフィールド、型パラメータなどを表すノード）に、宣言されている変数を1つずつ列挙するイテレータメソッド Fields() を追加する提案です。名前付き・名前なしのどちらのフィールドも、同じループで同じように扱えるようにすることが狙いです。

go/types パッケージの TypeAndValue 型に、式が定数かどうかを判定する IsConstant() メソッドを追加する提案です。中身は tv.Value != nil と同じですが、名前で意図が読み取れるようにすることが目的です。

import "C" を使うcgoパッケージを、C コンパイラなしでビルドできるようにする提案です。Google の Go チーム（matloob、cherrymui）が出しました。対象は、ビルド済みの C ライブラリ（.so／.a）を呼ぶだけで、C のソースコードを持たないパッケージです。C の型や関数の情報は「バインディングファイル」として Go の構文で書き、リポジトリに置いておきます。C ABI（C の呼び出し規約）との橋渡しをするグルーコードは、Go と Go アセンブリで生成します。

対称鍵暗号（AEAD）の新しい標準パッケージ群 crypto/aead/... の提案です。今の crypto/cipher.AEAD は手順が多く、使い方を誤りやすい低レベル API です。これに代わり、ノンスの生成や連結を自動で行う高レベル関数 aead.Seal/aead.Open と、5 種類のアルゴリズムを実装するサブパッケージを追加します。

go/types の型エラー（types.Error）が内部に持っている「エラーの種類を表すコード」（MissingReturn や UnusedImport など）を公開 API にする提案です。目的は、ツールがエラーメッセージの文字列に頼らずにエラーの種類を判別できるようにすることです。

GOEXPERIMENT=simd の下で試験提供されてきた SIMD（1命令で複数データをまとめて処理する機能）API のうち大きな部分を、実験フラグなしで使える正式機能にする提案です。対象は、ベクトル長に依存しない移植性重視の simd パッケージと、アーキテクチャ固有の simd/archsimd パッケージの2つです。

キーの順序（比較関数）に基づくジェネリックな順序付きコンテナ sorted.Map と sorted.Set を、実験的パッケージ golang.org/x/exp/collection/sorted に追加する提案です。Java の TreeMap、C++ の std::map、Rust の BTreeMap に相当する機能です。

analysistest パッケージの // want コメントを拡張し、解析器（Analyzer）が出す診断の「関連情報（analysis.Diagnostic.Related）」もテストで検証できるようにする提案です。行に名前を付ける新しい // anchor コメントも追加されます。

golang.org/x/tools/go/ast/inspector の Cursor 型に Unparen と UnparenEnclosing の2つのメソッドを追加する提案です。どちらも AST（抽象構文木）上で括弧式 (...) を読み飛ばすためのもので、静的解析ツール（analyzer）を正しく書くときによく必要になる処理を標準で使えるようにします。

go/types パッケージに、型パラメータの型集合（type set）に含まれる型が共通して持つ underlying type（基底型）を返す関数 CommonUnderlying(Type) Type を公開APIとして追加する提案です。元は「Core type（コア型）」を求める CoreType 関数として提案されていましたが、改名されました。

golang.org/x/tools/go/analysis パッケージの型を、新しい標準ライブラリパッケージ go/analysis として公開する提案です。このパッケージは、go vet などのドライバツールとアナライザ（リンター）をつなぐインターフェースを定めています。公開後、x/tools 側の型はすべて標準ライブラリの型の型エイリアス（同じ型を指す別名）になります。

型パラメータの制約に「方向付きチャネル型」(chan<- E や <-chan E)が混ざっていると、要素型 E が推論できなくなる問題を解消する言語仕様の変更提案です。型推論の「loose unification(緩い単一化)」の段階でチャネルの方向を無視するようにします。