中級

スライスが元の配列を共有していて予期せぬ書き換えが起きる

スライスを別のスライスから切り出すと、多くの場合は同じ配列を参照したままになります。一方を書き換えると、共有している範囲がもう一方にも影響します。

なぜエラーが出ないのか

出力: [1 99 3 4 5]

（エラーなし）

Goは何も報告しません。コンパイルも実行も正常に終わるコードだからです

出力: [1 99 3 4 5]

実際の出力 — 期待した結果と食い違っている箇所

見つけ方

エラーが出ないので、出力を目で確かめるしかありません。この種の誤りが最も発見が遅れます

このエラーが出る典型パターン

 1  package main
 2  
 3  import "fmt"
 4  
 5  func main() {
 6  	original := []int{1, 2, 3, 4, 5}
 7  	sub := original[1:3]                    
                         ^
 8  	sub[0] = 99
 9  	fmt.Println(original)
10  }

 1  package main
 2  
 3  import "fmt"
 4  
 5  func main() {
 6  	original := []int{10, 20, 30, 40}
 7  	sub := original[0:2]                    
                         ^
 8  	sub[0] = 99
 9  	fmt.Println(original)
10  }

 1  package main
 2  
 3  import "fmt"
 4  
 5  func main() {
 6  	original := []int{5, 6, 7, 8, 9}
 7  	sub := original[2:4]                    
                         ^
 8  	sub[0] = 99
 9  	fmt.Println(original)
10  }

 1  package main
 2  
 3  import "fmt"
 4  
 5  func main() {
 6  	original := []int{1, 1, 1, 1}
 7  	sub := original[1:3]                    
                         ^
 8  	sub[0] = 99
 9  	fmt.Println(original)
10  }

 1  package main
 2  
 3  import "fmt"
 4  
 5  func main() {
 6  	original := []int{2, 4, 6, 8, 10}
 7  	sub := original[3:5]                    
                         ^
 8  	sub[0] = 99
 9  	fmt.Println(original)
10  }

よくある誤解

「スライスを切り出せば、元とは独立した新しいコピーになるはず」という思い込みは誤りです。スライス式は多くの場合コピーを作らず同じ配列を参照するため、独立させたいならcopy()で明示的に複製する必要があります。

まとめ

スライスが元の配列を共有していて予期せぬ書き換えが起きるは中級でつまずきやすい項目です。上の5パターンを実際に手で直すと、エラーメッセージのどこを読めばよいかが掴めます。

演習をはじめる

関連するエラー

• appendの戻り値を再代入し忘れると要素が反映されないappendは新しいスライスを返す関数で、元のスライス変数を直接書き換えません。
• len(s)がUTF-8のバイト数を返し文字数と一致しないGoの文字列はUTF-8のバイト列として保持されており、len(s)は文字数ではなくバイト数を返します。