個人的には、そのまま、reflect.DeepEqual
を使うのが良いと思います。
問題は、「空配列」が何か、ということです。ご存知のとおり、Goにはスライスとarrayというよく似た別のものがあります。この2つは型のレベルで等しくありません。a
とb
がdeeply equalでない理由がこれです1。
reflect.DeepEqual
のgodocには次のように書かれています。
Slice values are deeply equal when all of the following are true: they are both nil or both non-nil, they have the same length, and either they point to the same initial entry of the same underlying array (that is, &x[0] == &y[0]) or their corresponding elements (up to length) are deeply equal. Note that a non-nil empty slice and a nil slice (for example, []byte{} and []byte(nil)) are not deeply equal.
変数a
とc
の違いは、nilかどうかです1。ドキュメントに書かれているように、non-nilな空のスライスa
は、nilスライスc
とdeeply equalではありません。したがってreflect.DeepEqual(a, c)
はfalseを返します。
最後に、変数d
は、[]int 型のnilです1。したがってc
とdeeply equalになります。
つまり、a
からd
までの変数の中で、空の(non-nilな)スライスはa
だけ、空の(non-nilな)arrayはb
だけということになります。
今回の場合、テストに用いたいということですので、nilかnilでないか、スライスかarrayかは、大きな違いになると思います。したがって、そのままreflect.DeepEqual
を使って、厳密にどれになるのかを検査するのが良いのではないかと思います。
ちなみにa
からd
までのすべてをOKとしたいのであれば、(スライスかarrayしか返ってこないと分かっているときは) len(変数) == 0
かどうかを調べれば良いです2。interface{}な値について調べたいのであれば、たとえば型switchを併用する方法があると思います( https://play.golang.org/p/WAHpZC3jKE )。metropolisさんのコメントも参考になるかと思います。
また、[]int 型ではなく []byte 型に限った話をすると、 bytes.Equal
(godoc)という便利なものがあります。この関数ではnilと空スライスが同一視されます。残念ながら現状(go1.7では)アセンブリで実装されているため、他の型に対してこの関数の実装と同じ方法を使うのは簡単ではないでしょう。
註
各変数がどのような型と値になっているのかについて詳細に書きます。
a
、つまり[]int{}
は、[]int 型のnon-nilな長さ0のsliceです。このことは仕様の "Composite literals" などから分かります。
b
、つまり[...]int{}
は [0]int 型のarrayです。この書き方の分かりにくいところは[...]
の部分なのではないかと思います。これはたとえば[...]int{2, 4, 6}
のようなリテラルを書くときに、わざわざ[3]int{2, 4, 6}
と書きたくがないための記法です。今回は要素の無い列に対してこの記法を使っていることになり、[0]int{}
とほぼ同じことです。このことはa
と同じく仕様の "Composite literals" などから分かります。
c
、つまり[]int(nil)
は、[]int 型のnilです。こちらは仕様の "Conversions" などから分かります。したがって厳密にはc
は「空配列」ないし「空スライス」では無いです。
d
は、[]int 型として宣言され、初期化されていない変数です。Goでは初期化されていないsliceの値が nil になるため、d
は []int 型のnilです。このことは仕様の "The zero value" から分かります。
len(nil)
は必ず0です。"Length and capacity" に書いてあります。
reflect.DeepEqual
を使いたい理由はありますか?reflect.DeepEqual
を利用すれば楽に比較できる(だろう)という安直な理由なので特にこだわる理由はありませんa
とc
の違いは、nilかどうかです。[]int型のnilも空sliceとみなしたいですか?go/src/reflect/deepequal.go
に以下の様なコメントが書かれています。Slice values are deeply equal when all of the following are true: they are both nil or both non-nil, they have the same length, and either they point to the same initial entry of the same underlying array (that is, &x[0] == &y[0]) or their corresponding elements (up to length) are deeply equal. Note that a non-nil empty slice and a nil slice (for example, []byte{} and []byte(nil)) are not deeply equal.