以下であげる疑問で、
一つでも分からない点があったら
この記事は少しでも役に立つと思います。
Goで私がつまずいた点も含め、
一から順に解説をしてあります。
まずは簡単なものから順に、
リストアップしてます。
「初学者向き」
- スライスと配列の違い
- スライスの作成法
- スライスとメモリ
- スライスの初期化方法
- スライスへの代入
- スライスのコピー:copy()
- append()の使い方
「脱」初学者向き
- コピーしたスライスのコピー元を変更したら、コピー先も変更は反映されるのか
- copy()と「=」はどう違うのか
- nilスライスとは
- Non-nilスライスとempty
- append()とメモリ
- append()の応用
- スライスを含む構造体
スライスは以下の構成をとっています。
参照する配列のアドレスと
その長さ、容量、
これら３つをまとめたものです。
図で表すとこんな感じです。
参照：https://blog.golang.org/slices-intro
ただ「配列のポインタ」
というわけではありません。
長さや容量の要素も含めたものを言います。
「長さ」という要素をもつため、
スライスとは「可変長配列」
という表現も出来ます。
なおスライスを宣言すると、
ポインタと長さそして容量
これら３つを宣言したことになります。
スライスを宣言しただけでは使えないので、
スライスの参照先である配列も
しっかりと定義しする必要があります。
宣言したスライスは、
後からでも配列の長さを変えられる
という故に "可変長" (スライス)です。
c言語でいうとことの "配列" は、
固定長配列であり、
スライスではなくGo言語でも
単に配列という表現を使っています。
はじめてスライスの説明を聞く方だと、
頭がこんがらがってくる可能性があるので、
根本的に理解するためにも、
メモリの動向も把握していると良いでしょう。
では、代入の基本的なところから
メモリの話まで見ていきましょう！
以下のパッケージを
importしておきます。
|
1 2 3 4 5 6 7 |
package main import ( "fmt" "reflect" "unsafe" ) |
なお、スライスにそれぞれ
"s ＋ 数字" で割り当てています。
(例えば、s1, s2, s3のように)
伝えたいことが変わるたびに
新しくスライスを作成しています。
よって記事全体を通して、
スライスは通し番号になっています。
スライスの作成法と代入法
まずはこれから、
実際のプログラムでスライスを使うには、
どのように準備をしたら良いのか話します
まずはスライス作成についてです。
細かく分けて３つの状態があります。
slice1 : nilスライス
slice2 : Non-nil & empty スライス
slice3：Non-nil & Non-empty スライス
※この表現が正しいかわかりませんが、
当記事では上記のように表現しています。
Slice1:
nilとは実態がないことです。
スライスを宣言しただけの状態です。
なのでスライス自身のアドレスは、
メモリに確保されますが、
参照先である配列は存在しません。
上の実行をご覧いただく通り、
配列のアドレスはどこもさしておりません。
slice2:
Non-nilとはnilではなく、
実態は一応あるスライスです。
参照先である配列のアドレスは
存在しますが、値は入っておりません(空)。
slice3:
実態もあり、空でもないスライスです。
値は０が格納さています。
以下がソースになります。
ソースにも説明を加えてありますので、
一度ご覧になってみて下さい。
|
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 |
func main(){ /*------------スライス作成のあれこれ------------*/ /* 1.nilのスライス(実態なし, 未初期化) */ fmt.Println("\n------------------------------slice1------------------------------") //スライスの宣言をしただけの状態 var s1 []int //これだけでは不十分。まだスライスは使えない。 //実態を作るにはmake()を使うか、宣言と同時に実態も作る(後述) //スライスの中身を出力 fmt.Printf("%d %d %d\n", s1, len(s1), cap(s1)) //nilがどうかの判定 if s1 == nil { fmt.Println("NIL = True") }else {fmt.Println("NIL = False")} //スライスのアドレス出力 fmt.Printf("Slice Address: %p\n", &s1) //スライスが参照する配列のアドレスを出力。 shdr1 := (*reflect.SliceHeader)(unsafe.Pointer(&s1)) fmt.Printf("Contens: [Data:0x%0.10x Len:%d Cap:%d]\n", shdr1.Data, shdr1.Len, shdr1.Cap) //fmt.Printf("Contents: %+v\n", *(*reflect.SliceHeader)(unsafe.Pointer(&s3))) /* 2.実態はあるが、箱がない */ fmt.Println("\n------------------------------slice2------------------------------") //以下のように書くことで、宣言と実態作成を１行で行う。 s2 := []int{} //スライスの参照先配列の箱はまだ空。箱を作成するにはmake()を使う(後述) //スライスの中身を出力 fmt.Printf("%d %d %d\n", s2, len(s2), cap(s2)) //nilがどうかの判定 if s2 == nil { fmt.Println("NIL = True") }else {fmt.Println("NIL = False")} //スライスのアドレス出力 fmt.Printf("Slice Address: %p\n", &s2) //スライスが参照する配列のアドレスを出力。 shdr2 := (*reflect.SliceHeader)(unsafe.Pointer(&s2)) fmt.Printf("Contens: [Data:0x%0.10x Len:%d Cap:%d]\n", shdr2.Data, shdr2.Len, shdr2.Cap) //fmt.Printf("Memory: %p %+v\n", &s2, *(*reflect.SliceHeader)(unsafe.Pointer(&s2))) /* 3.実態も箱もある */ fmt.Println("\n------------------------------slice3------------------------------") //箱を作るために組み込み関数のmake()を使う s3 := []int{} s3 = make([]int, 3, 3) //箱を作っただけで値は０, syntax := make([]type, len, cap) //宣言の時点で箱に入れる値が分かっているなら、 //s3:=[]int{値} とすることで宣言・箱作成・代入まで行える //ex. s3:=[]int{1, 2, 3, 4, 5} //スライスの中身を出力 fmt.Printf("%d %d %d\n", s3, len(s3), cap(s3)) //nilがどうかの判定 if s3 == nil { fmt.Println("NIL = True") }else {fmt.Println("NIL = False")} //スライスのアドレス出力 fmt.Printf("Slice Address: %p\n", &s3) //スライスが参照する配列のアドレスを出力。 shdr3 := (*reflect.SliceHeader)(unsafe.Pointer(&s3)) fmt.Printf("Contens: [Data:0x%0.10x Len:%d Cap:%d]\n", shdr3.Data, shdr3.Len, shdr3.Cap) //fmt.Printf("Contents: %+v\n", *(*reflect.SliceHeader)(unsafe.Pointer(&s3))) |
以上でスライスの用意が終わったので、
次はスライスの値を操作していきます。
スライスが参照する配列への代入法
スライスに代入していきます。
厳密には「スライスが参照する配列に」
ということです。
数パターンの書き方をご紹介します。
|
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 |
/*------------スライスへの代入のあれこれ------------*/ fmt.Println("\n------------------------------slice4------------------------------") //一番長くなる書き方 var s4 []int s4 = make([]int, 3, 3) //Len(s4)=3, cap(s4)=3 //代入するときに、s4 = (1,2,3)のような形はエラー。配列も同様 s4[0] = 1 s4[1] = 2 s4[2] = 3 //s4[3] = 4 → 要素一個一個への代入なので、len以上はエラーになる fmt.Println(s4) //出力：[1 2 3] fmt.Println("\n------------------------------slice5------------------------------") //スライス作成時に代入する値が決まっているなら、下記の書き方の方が便利。 //一行目に実態を作成し、二行目で代入を行う。 s5 := []string{} s5 = []string{"Hello World!", "HELLO WORLD!", "hello world!"} fmt.Println(s5) //出力：[Hello World! HELLO WORLD! hello world!] fmt.Println("\n------------------------------slice6------------------------------") s6 := []int{} s6 = []int{1,2,3} s6 = []int{1,2,3,4} //Lenに関係なく代入のし直しも可能。 //s6[4] = 5 → これはエラー fmt.Println(s6) //出力:[1 2 3 4] fmt.Println("\n------------------------------slice7------------------------------") //一行で書くことも可能 s7 := []int{1,2,3} fmt.Println(s7) //出力：[1 2 3] |
スライスに代入するには、
配列のアドレスが存在する必要があります。
厳密に定義するなら、
Non-nilである必要があります。
nil状態のスライスに代入すると
例えば以下のエラーが起こります。
スライスの長さは気にしなくても、
代入程度であれば、出来ます。
一度に代入する場合は、make()で、
事前に初期化してなくてもOKです。
長さや容量は、コンパイラが数えて
自動でスライスに格納してくれます。
要素一個一個に代入していく場合は、
Len(長さ)以上の要素には代入出来ません。
なのでこの場合は事前に、make()で
必要な要素を用意しておく必要があります。
後で紹介するコピーする際には、
スライスの長さも必要になってきますので、
事前にmake()しておく必要があります。
前述した通りs5, 6 のように
一度に代入してもちゃんと動作します。
場合によりますが基本的には、
一度に代入出来る方が便利ですよね。
それじゃ要素一個一個に代入するのは
「バカみたいじゃん！？」
と思わるかもしれませんが、
一度に代入する方法にも罠があります。
普通にスライスを使う分には、
気にする必要がありませんが、
実は配列のアドレスが変わります。
つまり配列が作り直されることになります。
要素一個に代入する場合は、
配列があるアドレスは変わりません。
※スライスのアドレスではなく、
スライスが参照する配列のことです。
メモリの話が絡んできて、
少し長くなってしまうので、
詳しいことは他の記事にてまとめます。
記事の最後の方にも、
メモリとスライスに関して、
もう一度触れています。
さて話し戻しまして、
slice5, 6 とslice7は似ています。
事前にスライスだけを
作成しておく場合はs5, 6を
作成と同時に代入まで行う場合は、
s7の書き方が普通だと思います。
なおC言語において、
配列に文字列を代入すると
最後の要素にはNULLが入り
要素数は文字数＋１になります。
しかしGo言語は文字数のままです。
それではスライスの値を
もう少し操作してみましょう。
スライスのコピー方法とTips
コピーをするには、
組み込み関数であるcopy()を使います。
以下のソースでは、
コピー元のスライスとして、
s8 := []int{1, 2, 3}を用意します。
コピー先として、
s9, s10, s11を用意します。
それぞれ３つの状態に分けます。
s9 : nilスライス
s10 : Non-nil & empty スライス
s11：Non-nil & Non-empty スライス
どのスライスであれば、
コピーできるのか見ていきます。
ソースです。
|
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 |
/*------------スライスコピーのあれこれ------------*/ /* １.スライスのコピー */ //基本的には、組み込み関数であるcopy(dst, src)を使う。 //s8:コピー元 s8 := []int{1,2,3} //以下３種類のスライスにコピーを試みる //s9：niiスライス, s10：Non-nil&未初期スライス, s11：Non-nil&初期化済みスライス var s9 []int copy(s9, s8) fmt.Println(s9) //出力：[] ※nilスライスにコピーはできない。ただしコンパイルは通る。 s10 := []int{} copy(s10, s8) fmt.Println(s10) //出力：[] ※Non-nil&未初期化スライスにコピーはできない。ただしコンパイルは通る。 s11 := []int{} s11 = make([]int, len(s8), cap(s8)) copy(s11, s8) fmt.Println(s11) //出力：[1 2 3] //結論：コピーするには事前に箱まで用意してあげる必要がある。 |
実行結果はソース内にも
記載してありますが、
以下のようになります。
つまりこのことから分かるのが、
スライスを別のスライスに
コピーしたいと思ったら事前に、
make()にてスライスが参照する
配列の箱を用意する必要があります。
もう少しコピーについて
踏み込んでいきます。
もしスライスをコピーするときに、
copy()ではなく「＝」を使ったら
何がおこるのでしょうか。
わざわざcopy()関数が用意されているため
イコールとは違うはずです。
コピー先に新たに s12 を作ります。
まずは出来るかどうかの結果から！
|
1 2 3 4 5 6 7 |
/* ２.コピーするときのTips */ //イコール「=」を使ったらどうなるのか //実は「＝」を使ってもコピーは可能 var s12 []int s12 = make([]int, len(s8), cap(s8)) s12 = s8 fmt.Println(s12) //出力：[1 2 3] ※コピーできた！ |
ということでcopy()を使わずとも、
スライスのコピーは出来ました。
それではcopy()と「=」とでは、
何が違うのでしょうか。
メモリも絡めて見てみましょう。
s8：コピー元
s11：copy()を使ったコピー
s12：「=」を使ったコピー
|
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 |
//copy と ＝ は何が違うのか //先に結論：スライスが参照する配列が同じかどうか //copyはクローンを作成する(参照配列は同じ要素が入るがアドレスは異なる) //「=」はスライスが参照する配列のアドレスが同じ。 fmt.Printf("S8 Address: %p\n", &s8) shdr8 := (*reflect.SliceHeader)(unsafe.Pointer(&s8)) fmt.Printf("S8 Contens: [Data:0x%0.10x Len:%d Cap:%d]\n", shdr8.Data, shdr8.Len, shdr8.Cap) fmt.Printf("S11 Address: %p\n", &s11) shdr11 := (*reflect.SliceHeader)(unsafe.Pointer(&s11)) fmt.Printf("S11 Contens: [Data:0x%0.10x Len:%d Cap:%d]\n", shdr11.Data, shdr11.Len, shdr11.Cap) fmt.Printf("S12 Address: %p\n", &s12) shdr12 := (*reflect.SliceHeader)(unsafe.Pointer(&s12)) fmt.Printf("S12 Contens: [Data:0x%0.10x Len:%d Cap:%d]\n", shdr12.Data, shdr12.Len, shdr12.Cap) //この違いが意味するのは、コピー元に変更があれば、コピー先も自動で変わる |
それぞれのメモリ情報は
以下のようになります。
一行目のアドレスは、
スライス自体のアドレスですので、
もちろん全て異なります。
２行目はスライスが示す
配列の情報です。
データは配列のアドレスを示してします。
s8 と s12 が同じアドレスだと分かります。
つまり「=」でコピーすると、
参照先アドレスが同じになります。
これが意味するのは、
コピー元の配列の値が変われば、
コピー先であるs12の値も変わります。
もちろん逆もしかりです。
|
1 2 3 |
s8[0] = 3 fmt.Println(s11) //出力：[1 2 3] fmt.Println(s12) //出力：[3 2 3] |
s8[0] = 3として値を変えてみます。
s11は変わりませんが、
s12は変わってしまいます。
これがcopy()と「=」の違いです。
もう少しコピーについて
サクッとみていきましょう。
コピー先の要素数が足らなくて、
要素数が異なっていても
コピーはしっかり出来ます。
|
1 2 3 4 5 |
//要素数が異なる(コピー先の箱が足らない)場合 var s13 []int s13 = make([]int, len(s8)-1, cap(s8)-1) //コピー先の要素数を１個少なくしておく copy(s13, s8) fmt.Println(s13) //出力：[1 2] ※コピーしきれないところは落ちる |
要素が足らないところは、
脱落するだけです。
コピー元のデータを一部だけ
コピーしたい場合についてみてみましょう。
|
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 |
//コピー元のデータを一部だけコピーしたい場合 var s14 []int s14 = make([]int, len(s8), cap(s8)) copy(s14, s8[:2]) //[:2]は要素番号２未満。つまりs8[0], s8[1] fmt.Println(s14) //出力：[1 2 0] s14 = make([]int, len(s14), cap(s14)) //再初期化 copy(s14, s8[1:]) //[1:]は要素番号１以上。つまりs8[1], s8[2] fmt.Println(s14) //出力：[2 3 0] s14 = make([]int, len(s14), cap(s14)) //再初期化 copy(s14, s8[1:2]) //[1:2]は要素番号１以上２未満。 fmt.Println(s14) //出力：[2 0 0] |
[数字:数字]のようにすることで、
任意な要素列を取り出すことが出来ます。
先は、コピー元の要素を指定しました。
逆に、コピー先の要素を指定すると
どうなるのでしょうか。
|
1 2 3 4 5 6 7 8 9 10 |
//コピー先を指定したい場合 var s15 []int s15 = make([]int, len(s8), cap(s8)) copy(s15[:2], s8) fmt.Println(s15) //出力：[1 2 0] s15 = make([]int, len(s8), cap(s8)) copy(s15[2:], s8) fmt.Println(s15) //出力：[0 0 1] //ちなみに[:]は、すべての要素をさす。 |
コピー先を指定した場合は、
任意の位置からコピーできます。
続いて要素の追加をしていきましょう。
組み込みのappend()関数を使います。
メモリの話も絡めてお話します。
またちょっとした応用もご紹介しています。
append()関数は最後の要素に
新しく要素を追加する関数です。
|
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 |
/* ２.要素の追加 */ var s16 []int s16 = make([]int, len(s8), cap(s8)) copy(s16, s8) shdr16 := (*reflect.SliceHeader)(unsafe.Pointer(&s16)) fmt.Printf("S16 Contens: [Data:0x%0.10x Len:%d Cap:%d]\n", shdr16.Data, shdr16.Len, shdr16.Cap) s16 = append(s16, 4) //新しく要素を追加する。 fmt.Println(s16) //出力：[1 2 3 4] fmt.Printf("S16 Contens: [Data:0x%0.10x Len:%d Cap:%d]\n", shdr16.Data, shdr16.Len, shdr16.Cap) s16 = append(s16, 5, 6, 7) fmt.Println(s16) //出力：[1 2 3 4 5 6 7] fmt.Printf("S16 Contens: [Data:0x%0.10x Len:%d Cap:%d]\n", shdr16.Data, shdr16.Len, shdr16.Cap) //appendの応用 //要素をカットする場合 var s17 []int s17 = make([]int, len(s8), cap(s8)) copy(s17, s8) //s17 = [1,2,3] s17 = append(s17[1:], 4) fmt.Println(s17) //出力：[2 3 4] //他にも応用の仕方はあるが他の記事にてご紹介。 |
構文は、append(スライス, 数字, ...)です。
一度に複数の値も追加出来ます。
出力結果はこのようになります。
これを見てみると、
make()で初期化をしていないのに、
append()したらスライスの参照先の
配列のアドレスが変わっています。
もちろん長さが変わるのと、
容量であるcapも変わります。
続いてappend()の応用を
少しご紹介します。
copy()のところで説明した
[数字：数字]を使うことで、
様々な操作に応用できます。
上のソースで紹介しているのは、
要素のカットです。
s17 = append(s17[1:], 4)
このように書くことで、
要素番号１以上を抜き取って、
その最後に４を追加する
という意味になります。
したがって出力結果は、
[2 3 4] になります。
他にも応用に仕方がありますが、
長くなってしまいますので、
またの機会に紹介したいと思います。
それでは最後に、
「スライスと構造体」「スライスと配列」
について説明します。
スライスを含む構造体
まずは例えば以下のように、
構造体を宣言します。
代入のやり方には、
例えばこのような書き方があります。
|
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 |
/*------------スライスを含む構造体のあれこれ------------*/ //初期化してからでないとスライスへの代入はできない。 //代入法の例１ ss1 := SliceStruct{ Interger: 0, Slice: []int{1,2,3}, } //これと同義。ss1 := SliceStruct{Interger: 0, Slice: []int{1,2,3}} fmt.Println(ss1) //出力：{0 [1 2 3]} //代入法の例２ var ss2 SliceStruct ss2.Interger = 0 ss2.Slice = make([]int, 3, 3) ss2.Slice[0] = 1 ss2.Slice[1] = 2 ss2.Slice[2] = 3 fmt.Println(ss2) //出力：{0 [1 2 3]} |
構造体でもスライスへの代入方法は
大体同じ感じですが、
初期化してからでないと
スライスメンバへの代入は出来ないです。
配列をスライスに結び付ける
配列とスライスは、
親密な関係にあります。
配列として宣言したものは、
後にスライスに渡すことが出来ます。
|
1 2 3 4 |
//スライスと配列 array := [8]int{1,2,3,4,5,6,7,8} slice := array[3:5] //要素３以上５未満 fmt.Println(slice) //出力：[4 5] |
こんな感じです。
スライス名と配列の要素を
そのまま等式で結ぶだけです。
以上です。
最後まで読んでいただきありがとうございました。