Go 言語の for ループはどれほど悲惨なのでしょうか?-Golang-php.cn

Go 言語の for ループはどれほど悲惨なのでしょうか?

藏色散人

リリース： 2022-11-07 16:48:13

転載

2618 人が閲覧しました

この記事は、Go for ループに関するインタビューの質問を紹介するために golang チュートリアルコラムによって書かれたものです。for ループについてどれだけ知っているかわかりません。トラップ？以下では、for 関連の問題について詳しく説明します。必要な友人の役に立てば幸いです。

Go の面接での質問やリークが for ループに関連しているものがどれだけあるのかわかりません。今日、週末に詳しく調べたところ、ループ変数のセマンティクスを再定義していることがわかりました。

有名な筋金入りの大物ラス・コックス氏は、この問題を研究しており、10年の経験から現在のセマンティクスのコストが非常に高いことがわかっていると述べました。

質問

ケース 1: アドレス文字を取得する

Go 言語では、 write for ステートメントを使用すると、実行結果と推測結果が一致しないことがあります。たとえば、以下の最初のケースのコード:

var all []*Itemfor _, item := range items {
	all = append(all, &item)
}

ログイン後にコピー

このコードに何か問題がありますか?変数allのitem変数には何が格納されるのでしょうか？各ループの項目値でしょうか？

実際には、for ループ中は毎回同じ項目が変数に格納されます。これが最後のループの項目値です。

これはGoのインタビューでよく出てくる質問ですが、Goroutineと組み合わせるとさらに面白いのですが、やはり出力の順序が狂うなどの問題がまだあります。

この問題を解決するには、次のようにプログラムを書き直す必要があります。

var all []*Itemfor _, item := range items {
	item := item
	all = append(all, &item)
}

ログイン後にコピー

item 変数を再宣言するには、for ループの item 変数を格納してから追加します。。

ケース 2: クロージャ関数

以下は 2 番目のケースのコードです:

var prints []func()for _, v := range []int{1, 2, 3} {
	prints = append(prints, func() { fmt.Println(v) })
}for _, print := range prints {	print()
}

ログイン後にコピー

このプログラムとは? の出力& アドレス文字がないと、1、2、3 が出力されますか?

出力結果は 3, 3, 3 です。どうしてこれなの？

この問題の重要なポイントの 1 つはクロージャ関数です。実際、すべてのクロージャは同じ v を出力します。 for ループの終了後、v の最終値は 3 に設定され、それだけであるため、出力は 3 になります。

望ましい効果を達成したい場合は、やはりユニバーサル再割り当てを使用する必要があります。書き換えられたコードは次のとおりです。

for _, v := range []int{1, 2, 3} {
		v := v
		prints = append(prints, func() { fmt.Println(v) })
	}

ログイン後にコピー

v := v ステートメントを追加すると、プログラムの出力結果は 1、2、3 になります。自分が作成した Go プロジェクトを注意深く調べてください。それらはすべてあなたにとって馴染みのあるものですか?この変身方法で勝てました。

特にGoroutineの書き方では、多くの学生がここでひっくり返る可能性が高くなります。

解決策

アイデアの修正

実際、Go コアチームは社内および社内でコミュニティ長い間議論した後、for ループの構文を再定義したいと考えています。達成すべき目標は次のとおりです。 ループのたびに ではなく、反復ごとにループを変数にします。

解決策は次のとおりです。各反復変数 x の各 ループ本体の先頭に暗黙的な再代入 を追加します。つまり、x := x です。これにより、上記のプログラムに隠された落とし穴。これは、手動で追加することを除いて、現在行っていることと同じですが、Go チームが行っていることは、コンパイラーで暗黙的にそれを処理することです。