Go Quiz: map

以下のコードを実行すると何が出力されるでしょうか?

package main

import (
	"fmt"
	"math"
)

func main() {
	a := map[float64]int{}
	a[math.Acos(8)] = 1
	a[math.Acos(8)] = 2
	a[math.Acos(8)] = 3
	i := 0
	for range a {
		i++
	}
	fmt.Println(i)
	fmt.Println(len(a))
}

1. 1 と 1
2. 1 と 3
3. 3 と 1
4. 3 と 3

回答と解説

「4. `3` と `3`」が正解です。`math.Acos(8)` の結果は NaN (Not a Number) です。 `NaN` は特殊な浮動小数点の値で、どの値と `==` で比較しても、たとえ NaN 同士での比較でも、 false になります。 map のキーに NaN を指定すると、その値は過去に指定されたどのキーとも違う扱いになるので、毎度新しい値として代入されます。よって 3 回 NaN をキーにして値を代入した map は for-range ループは 3 回回りますし、 `len` 関数に対しても 3 を返します。よってどちらも `3` が表示されます。ちなみに、キーを NaN にした値は取り出せなくなります。たとえば一通り代入が終わったあとで `v, ok := a[math.Acos(8)]` とやっても、 `v` と `ok` は `0` と `false` になります。しかしながら蓄えた値は確かに存在していて、 `len` 関数の結果や `fmt.Printf("%v\n", a)` の結果でわかります。それにも関わらず取り出せない、ブラックホールのような状態になっているわけです。