過去のブログ記事を検索してみても、たびたびシリアライズやデシリアライズと格闘していることが伺えます。
見れば 2018 年にも Poison パッケージを使った Elixir の構造体のシリアライズ/デシリアライズを試みていました。
主流は Posion から Jason になり、Elixir 1.18 からは JSON モジュールが標準装備されました。
Posion がデシリアライズしたデータを指定した構造体に格納する仕組みを用意しているのに対し、JSON モジュールはシンプルなエンコードとデコードを提供するのみ。
シンプルな JSON モジュールが装備された今、それを使って構造体のシリアライズとデシリアライズをどう実装するか、考えてみました。
構造体はマップである
知られているように、Elixir の構造体はあるルールに従ったマップです。
defmodule MyApp.Data do defstruct [:name, :value] end
iex> %MyApp.Data{} |> Map.keys() [:name, :value, :__struct__] iex> %MyApp.Data{} |> Map.values() [nil, nil, MyApp.Data] iex> %MyApp.Data{} |> Map.to_list() [name: nil, value: nil, __struct__: MyApp.Data]
: __struct__ というキーにモジュール名を格納しているにすぎません。
なので :__struct__ を指定してマップを作ると構造体の値になります。
iex> %{__struct__: MyApp.Data, name: "Foo", value: 42} %MyApp.Data{name: "Foo", value: 42}
マップは JSON モジュールで encode / decode が可能です。
iex> %{name: "Foo", value: 42} |> JSON.encode!() "{\"name\":\"Foo\",\"value\":42}" iex> %{name: "Foo", value: 42} |> JSON.encode!() |> JSON.decode!() %{"name" => "Foo", "value" => 42}
しかし構造体はそのままではエラーになってしまいます。
iex> %MyApp.Data{} |> JSON.encode!() ** (Protocol.UndefinedError) protocol JSON.Encoder not implemented for type MyApp.Data (a struct), the protocol must be explicitly implemented.
JSON モジュールには JSON.Encoder というプロトコルが用意されています。
defmodule MyApp.Data do @derive JSON.Encoder defstruct [:name, :value] end
これを利用すれば構造体の値も encode できるようになります。
しかし、構造体としての情報は落ちてしまいます。
iex> %MyApp.Data{} |> JSON.encode!() "{\"name\":null,\"value\":null}" iex> %MyApp.Data{} |> JSON.encode!() |> JSON.decode!() %{"name" => nil, "value" => nil}
なんとかずるができないか？ と考えた結果、キーを文字列にしてしまえば普通のマップの扱いになるはず、ということに思い至りました。
すべてのキーを文字列にする必要はなく、:__struct__ だけ文字列になっていればいいはずです。
%MyApp.Data{name: "Foo", value: 42} |> Map.to_list() |> Map.new(fn {:__struct__, module} -> {"__struct__", module} kv -> kv end) #=> %{:name => "Foo", :value => 42, "__struct__" => MyApp.Data}
うまく行った気配です。
Map.new/2 も構造体の値を受け付けないので、Map.to_list/1 でタプルのリストにしてから変換しています。
このまま JSON.encode!/1 に投入します。
%MyApp.Data{name: "Foo", value: 42} |> Map.to_list() |> Map.new(fn {:__struct__, module} -> {"__struct__", module} kv -> kv end) |> JSON.encode!() #=> "{\"name\":\"Foo\",\"value\":42,\"__struct__\":\"Elixir.MyApp.Data\"}"
モジュール名の実態はアトムで、大文字から始まるアトムには内部では Elixir. という接頭辞が付いています。
これを文字列に変換したため "Elixir.MyApp.Data" という文字列で出力されました。
これを構造体の値に戻してみます。
"{\"name\":\"Foo\",\"value\":42,\"__struct__\":\"Elixir.MyApp.Data\"}" |> JSON.decode!() #=> %{"__struct__" => "Elixir.MyApp.Data", "name" => "Foo", "value" => 42}
単純に decode するだけでは文字列をキーとしたマップが出力されるのみです。 キーとモジュール名をアトムに変換します。
"{\"name\":\"Foo\",\"value\":42,\"__struct__\":\"Elixir.MyApp.Data\"}" |> JSON.decode!() |> Map.new(fn {"__struct__", module} -> {:__struct__, String.to_existing_atom(module)} {key, value} -> {String.to_existing_atom(key), value} end) %MyApp.Data{name: "Foo", value: 42}
構造体の値に戻ってきました。
詳しく見れば、アトムは encode で文字列に変換され decode しても文字列のままであるため、このままでは完全には戻りません。 もうひと工夫が必要です。
そこまでするのであれば、このようなずるでなくきちんと定義した形式へ変換するのが正解のようです。 それでも、Elixir のデータ構造のシンプルさはとても扱いやすさを生んでいるように感じられます。
