2019-12-04

全然わからない。俺たちは雰囲気でSliceを使っている

この記事は Go7 Advent Calendar 2019 4日目の記事です。 Go7 Advent Calendar 2019 - QiitaAdvent Calendar for Gophers Go1 https://qiita.com/advent-calendar/2019/go Go2 https://qiita.com/advent-calendar/2019/go2 Go3 https://qiita.com/advent-calendar/2019/go3 Go4 https://qiita.com/advent-calendar/2019/go4 Go5 https://qii...https://qiita.com/advent-calendar/2019/go7

Arrayは固定長で扱いづらいから可変長のSliceを使う。 そのくらいにしか考えていませんでしたが、Effective go とかいろいろ読むうちに整理されたのでそれぞれの違いと操作について書き残しておきます。

SliceとArrayの関係

最初に結論を言うと SliceArray のポインタをフィールドに持つ構造体です。

具体的には 以下のように定義されています (slice.go)

type slice struct { array unsafe.Pointer len int cap int }

Slice は内部に持ったArrayを len フィールドの長さに切り出すことで 可変であるように振る舞います。

では capacity フィールドは何なんでしょうか。

たとえば、こんな感じにキャパシティを超えて追加してみると、エラーになるわけでもなく普通にできてしまいます。

キャパシティとは一体..

続いて Slice length and capacity - A Tour of Go を見てみましょう。

The capacity of a slice is the number of elements in the underlying array, counting from the first element in the slice.

(スライスの容量とは根底となる配列をスライスの先頭から数えた要素数である)

なるほど、 len はスライスの長さ(論理的な長さ)で、 capacity は 配列の長さ(物理的な長さ)ということのようです。 ただしスライスが配列の途中から切り出されている場合、スライスを切り出したインデックスが起点となります。(スライス操作については後述)

スライスの要素数が配列を下回っている場合は配列をそのまま利用できますが、スライスの要素数が配列を超える場合は配列自体を作り直す必要があるというわけです。 これをアロケーションといいます。

アロケーションの発生を抑えてパフォーマンスを向上させるためには、スライスの初期化時にキャパシティをある程度確保することも検討しましょう。 とはいえふつうのWebアプリを作るくらいではほとんど影響ないレベルです。DBのIOのほうが圧倒的に遅いしね。

また、スライスは参照型なので関数に渡してもコピーが発生しません。一方、配列は値型なので参照渡ししなければコピーが作られてしまい非効率です。通常はスライスを利用することが推奨されており、 配列を直接操作することはあまり多くなさそうです。

スライス操作

作る

スライスを作るにはいくつか方法があります。

初期化

初期値を与えつつ、スライスを作る場合は以下のように [] 内に長さを指定せずに要素を指定します。 この場合、キャパシティは指定した要素数と同じになります。

make 関数

make 関数を使ってスライスを作ることができます。

make 関数は「型」「初期サイズ」「キャパシティ」を与えてスライスを作れます。

初期サイズに 1以上 を指定した場合、すべての要素がその型のゼロ値で初期化されます。

配列を切り出す

配列を切り出すことで、スライスを作ることができます。

info
  • この切り出し処理自体も スライス と言います。 この場合のスライスは動詞で使われていることに注意してください。
  • ここでは区別するために、切り出し処理についてはスライシングと言います。

要素を指定した配列を作成したあと、スライシングすることで任意の要素とキャパシティを持つスライスを作ることができます。(他のより1ステップ多いですが..)

append 関数

スライスに要素を追加するには append 関数を使います。

第2引数以降にスライスの要素に合った型の値を指定します。

キャパシティを超えるとアロケーションが発生し別のスライスが返ってくるため、 左辺もスライスで受ける必要があります。

第2引数以降は可変長なので、複数の値を追加できます。

スライスの後ろに ... をつけることでスライスを引数に展開できるため、スライス同士を結合することもできます。

スライシング

先程も少し使いましたが、配列やスライスを切り出す処理も スライス と言います。

スライスのインデックスに : 区切りで 始端のインデックス, 終端のインデックス, キャパシティ が指定することで新たなスライスが切り出されます。

なお、それぞれの値は省略できます。

  • 始端を省略した場合: 最初から
  • 終端を省略した場合: 最後まで
  • キャパシティを省略した場合: 現在のキャパシティをそのまま使う。省略する場合、最後の : も省略できる。

スライシングすることで、スライスの縮小を行うことができます。 キャパシティを指定しない場合、スライスの長さだけを変えキャパシティはそのまま引き継ぎます。

Python ではスライスすると別のリストが得られますが、 Golang ではスライスしても同じスライス(配列)を参照するため、切り出したそれぞれのスライスを編集すると元のスライスにも変更が伝わります。

存在チェック

スライスの要素の存在チェックをするための関数がデフォルトで存在しないので、 必要に応じて自分で定義する必要があります。

例えば、JSのように該当インデックスを返す関数は以下のように定義できます。

もしジェネリクスがあったらビルトインで作られてたのかな。

間違いがあったら指摘ください(定期)

なんか今(12/4)みたらアドベントカレンダーの枠、全部埋まってました。すごい。 空いてたら別の日にも入れようと思ってたので少し残念。

参考

SliceTricks · golang/go WikiThe Go programming language. Contribute to golang/go development by creating an account on GitHub.https://github.com/golang/go Go Slices: usage and internals - go.devhttps://blog.golang.org/go-slices-usage-and-internals Golang slice and append | Hacker Noonhttps://hackernoon.com/golang-slice-and-append-e18498cf924a Golang Slices Tutorial with examples - golangprograms.comhttps://www.golangprograms.com/go-language/slices-in-golang-programming.html