Go言語におけるmap
は、型安全性やパフォーマンスを考慮して設計されています。
そのため、map
のネスト(map
内にmap
を含む構造)など複雑なデータ構造を扱う際には、少し注意が必要です。
この記事では、map
の基本的な使い方から、応用的な使い方、注意点まで幅広く解説していきます。
mapの基本
mapの作成について
map
とは、キーと値のペアを保存するためのデータ構造です。Go言語では、map
を作成するために組み込み関数のmake
を使用します。make
関数を使うことで、新しいmap
が生成されます。
make
関数を使う際には、以下の二つの引数を指定します。
- 第1引数: 作成する
map
の型を指定します。この型には、map
が受け付けるキーの型と値の型を指定します。例えば、キーが文字列で値が整数のmap
を作る場合はmap[string]int
となります。 - 第2引数:
map
の初期サイズを指定します。これはオプションで、指定しなくても構いません。しかし、事前にどれくらいのサイズが必要かわかっている場合は、この引数を指定することでメモリ使用の効率が良くなり、パフォーマンスが向上する可能性があります。指定しない場合、または0を指定した場合、map
は自動的にサイズを調整しますが、これには追加のメモリ割り当てが発生する可能性があります。
|
|
このコードでは、make
関数を使ってscores
という名前のmap
を作成しています。このmap
では、キーとして文字列(string
)を、値として整数(int
)を使用します。また、初期サイズを5に設定していますが、これはパフォーマンスの最適化のための一例です。scores
には、“Alice"と"Bob"という2つのキーに対応する値が追加されています。
このように、make
関数を使用することで、必要なサイズと型を指定してmap
を効率的に作成することができます。
mapからキーを削除する方法
map
から特定のキーとそれに関連する値を削除するには、組み込み関数のdelete
を使用します。
コード例の解説:
以下のコードは、string
型のキーとint
型の値を持つmap
に値を追加し、その後で特定のキーを削除する方法を示しています。
|
|
このコードを実行すると、以下のような結果が得られます。
|
|
"BoB"
というキーとそれに関連する値89
がmap
から削除されていることがわかります。
delete
関数の第1引数には操作対象のmap
を、第2引数には削除したいキーを指定します。
delete
関数を使用する際の注意点として、指定したキーがmap
内に存在しない場合でも、エラーが発生することはありません。
つまり、安全にキーを削除できるということです。
このようにdelete
関数を使ってmap
から不要なデータを削除することは、データの整理やメモリ使用量の最適化に役立ちます。
map
を使用する際には、このようなデータの管理方法も覚えておくと良いでしょう。
では、色々な型におけるmapの作成事例について解説していきます。
色々な型のmapの使用例
map[int]stringについて
キーに整数型(int
)、値に文字列型(string
)を使った例を見ていきましょう。
コード例の解説:
以下のコードは、猫の種類を整数のキーと関連付けて保存するmap
の作成と利用方法を示しています。
|
|
このコードを実行すると、各整数キーに関連付けられた猫の種類が表示されます。実行結果は以下のようになります。
|
|
この結果からわかるように、catMap[0]
には"みけ猫”、catMap[1]
には"キジ猫"、そしてcatMap[2]
には"ぶち猫"がそれぞれ格納されています。map
のキーを使って値にアクセスすることができます。
構造体をキーとするmapについて
この例ではtime.Time
構造体をキーとして用います。
これにより、日付や時刻をキーとして特定のイベントや記念日を管理できます。
コード例の解説:
以下のコードは、特定の記念日を日付に関連付けて保存するmap
の作成と利用方法を示しています。
|
|
実行結果:※見やすくなるように改行しています
|
|
このコードでは、time.Time
構造体をキーとして使用しています。
これにより、異なるタイムゾーンを持つ同じ日付(例えば、JSTとUTCの春分の日)も、別々のキーとして扱われることが確認できます。
これは、構造体のメンバ変数が全て一致する場合にのみ、同一のキーと見なされるためです。
この例からわかるように、map
のキーとして構造体を使用することで、より複雑なキーに基づくデータの管理が可能になります。
ただし、キーとして使用する構造体は、そのメンバ変数が==
演算子で比較可能な型でなければなりません。
time.Time
構造体はこの条件を満たすため、キーとして使用できます。
interface{}をキーとするmapについて
map
のキーには通常、特定の型が指定されますが、interface{}
型をキーとして使用することで、様々な型のキーを同一のmap
内に格納することが可能になります。
コード例の解説:
以下のコードは、異なる型のキーを持つことができるmap
の作成と利用方法を示しています。
|
|
このコードを実行すると、異なる型のキー(整数、文字列、日付)を持つ要素が一つのmap
に格納され、それぞれに対応する値が表示されます。実行結果は以下のようになります。
|
|
interface{}
型をキーとして使用することの利点は、非常に柔軟なデータ構造を作成できることです。しかし、この柔軟性は、型安全性の低下や実行時の型チェックによるパフォーマンスの低下を招く可能性があります。実際の開発では、必要な場合を除き、より具体的な型をキーとして使用することが推奨されます。
この例では、interface{}
型をキーとして使用していますが、これにより任意の型のキーをmap
に追加することができます。ただし、このようなmap
の使用は慎重に行うべきであり、特にパフォーマンスが重要な場面では避けた方が良いでしょう。
int型ポインタをキーとするmapについて
普通、map
のキーには単純な型(例えば、int
やstring
など)を使用しますが、ポインタをキーとして使用することもできます。
ここでは、int
型のポインタをキーとして使用する例を見てみましょう。
コード例の解説:
以下のコードは、int
型の変数のアドレス(つまりポインタ)をキーとして、それぞれ異なる種類の猫を表す文字列を値として持つmap
を作成しています。
|
|
このコードを実行すると、メモリ上のアドレスをキーとして持つmap
の内容が表示されます。
ただし、実際のアドレスは実行する環境によって異なります。
実行結果:
|
|
ポインタをキーとして使用する場合の特徴は、変数の値ではなく、その変数がメモリ上に存在する場所(アドレス)に基づいてキーが決まる点です。
これにより、たとえ変数の値が同じであっても、異なる変数(つまり異なるアドレスを持つ)であれば、異なるキーとしてmap
に追加することができます。
ただし、このようにポインタをキーとして使用することは一般的ではなく、コードの理解を難しくする可能性があります。
特に、ポインタの値(メモリアドレス)はプログラムの実行ごとに変わるため、予測不可能な振る舞いをすることがあります。
そのため、ポインタをキーとするmap
の使用は、特定の高度な用途に限定されるべきで、一般的なプログラミングでは避けた方が良いでしょう。
ネストしたmapを使ったデータのグループ化
map
をネストさせることで、複雑なデータ構造を作成することができます。
この例では、string
型のキーを持つmap
の中に、さらにstring
型のキーと値を持つmap
を格納しています。
これにより、猫と犬のデータをグループ化して管理することができます。
コード例の解説:
以下のコードは、猫と犬の種類を別々に管理するためのネストしたmap
の作成と利用方法を示しています。
|
|
このコードを実行すると、以下のようにmap
の内容が表示されます。
実行結果:
|
|
ここでポイントは、ネストしたmap
(この例ではcatDogMap["猫"]
やcatDogMap["犬"]
)に値を代入する前に、そのmap
自体をmake
関数で初期化する必要があることです。
make
関数を呼び出さずにネストしたmap
にアクセスしようとすると、nil map
に対する代入とみなされ、実行時にassignment to entry in nil map
エラーが発生します。
このようにネストしたmap
を使うことで、データを複数のレベルでグループ化し、より整理された形で管理することが可能になります。
ただし、ネストが深くなるほどコードの複雑性も増すため、適切な設計を心がける必要があります。
1次元配列からネストしたmapを作成する方法
この例では、猫と犬を表す構造体の配列から、ネストしたmap
をループ処理で作成する方法を紹介します。
|
|
実行結果:
|
|
コード例の解説:
猫と犬のデータを格納するための構造体Animal
を定義します。
この構造体には、動物の種類(AnimalKind
)、具体的な種(Kind
)、そして特徴(Feature
)のフィールドが含まれます。
Animal
構造体のスライスを作成し、いくつかの動物データを初期化しますが、ここで格納されるのは各動物の特徴です。
このスライスからネストしたmap
を作成します。
最外層のmap
は動物の種類をキーとし、内側のmap
は具体的な種をキーとして、その動物の特徴を値として格納します。
ループ内で、animalMap
にAnimalKind
をキーとするエントリが存在するかどうかをチェックします。
存在しない場合は、そのキーで新しい内側のmap
を作成し、初期化します。
次に、内側のmap
にKind
をキーとしてFeature
を値として追加します。
この方法により、動物の種類ごとに、それらの具体的な種とその特徴を効率的に整理し、アクセスすることが可能になります。
このようなデータ構造は、動物に関する情報をカテゴリ別にグループ化し、管理する際に特に便利です。
mapのキーに指定できる型と指定できない型
ここまで色々な型をmapのキーに指定してきたので、もはや何でも指定できそうですが、そうもいきません。
先述した通りmapのキーに指定できるものは== 演算子で比較可能な下記の型に限ります。
ブール型、数値型、文字列型、ポインタ型、チャネル型、インターフェイス型、およびこれらの型のみを含む構造体または配列です。
引用元:Go maps in action - Key types
mapのキーに指定できないものは下記の型になります。
スライス、マップ、および関数
引用元:Go maps in action - Key types
構造体のメンバ変数にmapのキーとして指定できない型が含まれているとinvalid map key type 〇〇
エラーとなります。
|
|
構造体をmapのキーにしようと思ったときに、スライス、マップ、関数のいずれかがメンバ変数にあるとキーに指定できなくなるため、構造体のデータ設計は慎重に行いましょう。
2022/4/2追記
mapのキーに指定できるデータ型の集合を定義したインターフェースcopmparable
がGo 1.18で追加されました。
詳しくはGo 1.18のジェネリクスを使ってみる - comparableについて
の記事をお読みください。
mapでループすると毎回順番が違う
Go言語のmap
でループを行うと毎回要素が異なる順序で取り出される点に注意が必要です。
これは、map
の順序が保証されないためであり、不具合ではなく設計上の意図によるものです。
|
|
|
|
このコードは実行すると最初に代入した順序と違った出力結果を出すときがあります。
これは不具合ではなく意図的にランダムになるように実装されています。
以下に、その背景を簡潔に説明します。
順序が保証されない理由
パフォーマンスの最適化
map
の主な使用目的は、キーを基に高速に値を検索することにあります。
順序を保持しようとすると、内部的に追加のデータ構造を維持する必要が出てきます。
これは、挿入、削除、検索の各操作のパフォーマンスに影響を与える可能性があります。
Go言語の設計者たちは、mapの操作を可能な限り効率的に保つことを選択しました。
シンプルな実装
順序を保証しないことで、map
の実装がシンプルになり、より堅牢で予測可能な挙動を提供できます。
これは、Go言語の全体的な設計哲学と一致しています。
すなわち、「シンプルさとは、複雑さを追加しないこと」です。
予測不可能性の導入
Go言語のmap
が毎回異なる順序で要素を返すことは、プログラマが順序に依存したコードを書くことを防ぐための意図的な選択です。
これにより、順序依存のバグを発見しやすくなるとともに、順序を意識したプログラミングを促します。
解決策: キーのソート
map
の要素を一定の順序で処理する必要がある場合、キーのリストを取得し、それをソートした上でループ処理を行うことが一般的な解決策です。
|
|
上記コードを実行した結果を下記に示します。
|
|
今回はキーをソートしたスライスでループしているため、何度実行しても同じ結果になります。
この方法により、キーのソート順に応じてmap
の要素を一貫して処理することができます。
ただし、この手法を用いる際は、map
のキーの型に応じて適切なソート関数を選択する必要があります。
ちなみに上記のキーを取得して並べ替えるコードは公式のコードを今回の例で置き換えたものです。
Go maps in action - Iteration order
ネストしたmapの例
ネストしたmap
の場合、外側のmap
をループしてキーを取得・ソートし、その後内側のmap
に対しても同様に処理を行う必要があります。
以下の例では、ペットの種類(例: 猫、犬)ごとに名前と特徴を格納するネストしたmap
を扱います。
|
|
このコードを実行すると、ペットの種類ごとに、名前がアルファベット順にソートされて表示されます。
外側のループではペットの種類(猫、犬)がソートされ、内側のループでは各種類に属するペットの名前がソートされます。
実行結果:
|
|
この方法により、ネストしたmap
のデータを一定の順序で処理することが可能になります。
ネストが深い場合は、この処理を適切なレベルで再帰的に適用することで、任意の深さのネストに対応できます。
まとめ
私がmapを使って躓いたところを書いてみましたが、いかがでしたか。
mapはよく使うのでもう少し楽に書けたらいいのですが、そこは今後のアップデートで改善を期待したい所です。
今後もmapを使って気になる所があれば随時更新していきたいと思います。
この記事で紹介したプログラムはコピーしてGo Playground に貼り付ければ実行できますので、実際の動作を確認してみてください。