Go1.22から(プレビューはGo1.21から)ループ変数のメモリ共有問題が解消されたことは皆様よくご存知かと思います。 cf. Fixing For Loops in Go 1.22
それではもう1歩踏み込んで、ループ変数がイテレーション毎に異なるインスタンスになるのはどのような時でしょうか？以下2つの出力が異なる理由をどう説明できるでしょうか？
for i := range 3 {
fmt.Print(&i) // [0x14000112018, 0x14000112030, 0x14000112038] // 異なるアドレス
}
for i := range 3 {
print(&i) // [0x1400010af18, 0x1400010af18, 0x1400010af18] // 同じアドレス
}
新しいループとそれを取り巻くツールの実装は、既存コードでバグを生み出さない・パフォーマンスを落とさない工夫がされています。
本セッションでは、loopvarパッケージのコードリーディングを通して、これら変更の背後にある内部動作を解説します。 さらに、デザインドキュメントやコミュニティでの議論、周辺ツールを併せて確認することで、セマンティクス変更への理解をより深めたいと思います。
また、Go1.22から不要になったループ変数のコピーを検出する自作linter copyloopvar をgolangci-lintにコントリビュートした話もお伝えします。 このlinterが何をどのように検知するかを紹介する中で、Goにおける静的解析ツールの作成方法も解説します。 linterの自作やOSS貢献に一歩踏み出す際、本セッションがご参考になれば幸いです。
qualiarts
tnagao7
ivargrimstad
1024jp
kohecchi
seike460
syumai
izumin5210
thehaigo
javiergs
marokanatani
harunatsujita
azuki
tanoku
bkeepers
geoffreycrofte
lemiorhan
lara
iamctodd
marktimemedia
colly
honnibal
palkan
phodgson
jeffersonlam
