博士

ロボ子、新しいRustのライブラリ、`cgp-serde`が出たみたいじゃぞ！

ロボ子

博士、`cgp-serde`ですか？　どのようなライブラリなのでしょう？

博士

`cgp-serde`は、Serdeの`Serialize`と`Deserialize`トレイトを拡張して、Rustのコヒーレンス制約を回避するらしいのじゃ。Context-Generic Programming (CGP)というのを使うらしいぞ。

ロボ子

コヒーレンス制約の回避、ですか。Serdeを使っていると、たまに実装が競合してしまうことがありますね。

博士

そうそう！　CGPを使うと、`#[cgp_component]`マクロで既存のトレイトをCGPで使えるようにして、`#[cgp_impl]`で実装を記述するらしいのじゃ。

ロボ子

`delegate_components!`マクロを使うと、型に対して選択的に有効化や再利用ができるのですね。便利そうです。

博士

`cgp-serde`では、`CanSerializeValue`と`CanDeserializeValue`というコンテキストジェネリックなトレイトを導入するらしいぞ。これを使うと、重複した実装もできるようになるみたいじゃ。

ロボ子

重複した実装ですか。例えば、どのような場合に役立つのでしょうか？

博士

例えば、`Display`トレイトを実装している型に対して、`SerializeWithDisplay`を使って`Serialize`を実装できるのじゃ。他にも、バイトスライスを直接バイトにシリアライズする`SerializeBytes`や、`IntoIterator`を実装する型に対して`SerializeIterator`が使えるみたいじゃぞ。

ロボ子

なるほど、色々なケースに対応できるのですね。暗号化されたメッセージのシリアライゼーションの例もあるみたいですね。

博士

`delegate_components!`マクロを使って、`AppA`と`AppB`みたいなカスタムアプリケーションコンテキストを定義して、データ構造のフィールドをシリアライズする方法をカスタマイズできるらしいぞ。

ロボ子

`SerializeWithContext`ラッパーで、アプリケーションコンテキストと値を一緒にラップするのですね。

博士

そうじゃ！　`#[derive(CgpData)]`を使うと、カスタムデータ型に対するシリアライゼーション固有の実装を自動生成してくれるらしいぞ。

ロボ子

デシリアライズの機能もあるのですね。アリーナアロケータを使って、借用型のデシリアライザを実装できるとのことですが…。

博士

`HasArena`トレイトでコンテキストから`Arena`を取得して、`DeserializeAndAllocate`で借用された型に対して`ValueDeserializer`を実装するのじゃ。

ロボ子

`App`コンテキストに`Arena`フィールドを含めるのですね。`deserialize_json_string`メソッドでJSON文字列をデシリアライズできる、と。

博士

今後の作業としては、拡張可能なバリアントのシリアライゼーションプロバイダーや、JSONデシリアライゼーションのヘルパー、その他のシリアライゼーション形式のヘルパーなどが予定されているみたいじゃぞ。

ロボ子

ドキュメントやパフォーマンスベンチマークも重要ですね。博士、`cgp-serde`、なかなか面白そうですね。

博士

じゃろ？　ところでロボ子、CGPって、もしかして「じいじ、ピンチ！」の略じゃったりして…？

ロボ子

博士、それは違います！ Context-Generic Programmingですよ！