tonicの実装から学ぶトレイトとブランケット実装

Transcript

1. 前原 宗太朗 tonicの実装から学ぶトレイトとブランケット実装
2. 前原 宗太朗 SOTARO MAEHARA • Rust初心者？ • 実務ではTypeScriptとPHPを触っています • 趣味: LoL
3. Rustのトレイトにおけるブランケット実装について知ると、Rust初級者から一歩 踏み出せるかも！ Rustの構文にも慣れてきて公式サイトや書籍を見ながら実装ができる！ ⇨ そのライブラリがどういう理屈で動いているのかが理解できる tonic(gRPCフレームワーク）を例に見ていくよ！ 今日のポイント
4. 共通の振る舞いを定義するための機能 役割としてはインターフェースに近いかも トレイトとは pub trait Summary { fn summarize(&self) -> String; } 共通の振る舞いとしてsummarize関数を持つSummaryというトレイトを定義
5. 型に対して、トレイトを実装することができる トレイトとは pub struct Post { pub username: String, pub content: String, } impl Summary for Post { fn summarize(&self) -> String { format!("{}: {}", self.username, self.content) } }
6. トレイトを実装するとインスタンスに対してメソッドを呼び出すことができる トレイトとは let post = Post { username: String::from("horse_ebooks"), content: String::from("sample contents”), }; println!("1 new post: {}",post.summarize());
7. 1.デフォルト実装を持たせることができる インターフェースとの違い pub trait Summary { fn summarize(&self) -> String { String::from("(Read more...)") } } 2. 既存の型に対しても、継承関係なしに実装を加えることができる
8. message Point {} message Feature {} service Client { rpc GetFeature(Point) returns (Feature); } tonic clientにおけるトレイト pub struct Point {} pub struct Client {} impl Client { fn get_feature(&self, r: impl tonic::IntoRequest<Point>) {} } tonicでは以下のようなprotoから、右のコードが自動生成されます get_featureはIntoRequest<Point>を引数に要求しています
9. ジェネリクス型パラメータ T をtonic::Requestでラップしたものを返す into_request メソッドを実装している型であれば、どのような型でもOK！ IntoRequestの詳細 pub trait IntoRequest<T>: sealed::Sealed { fn into_request(self) -> Request<T>; } pub struct Point {} pub struct Client {} impl Client { fn get_feature(&self, r: impl tonic::IntoRequest<Point>) {} }
10. 次のように呼び出すことができます 自動生成されたClientコードの使い方 use tonic::Request; client.get_feature(Point {}); client.get_feature(Request::new(Point {})); ２つの例がありますが、どちらも有効な呼び出しです PointとRequest<Point>の両方がIntoRequest<Point>を満たしているため ここでの疑問は、どのようにしてIntoRequestを満たしているのか
11. トレイトの制約を満たすあらゆる型に対して、トレイトを実装することができる ブランケット実装 impl<T> IntoRequest<T> for Request<T> { fn into_request(self) -> Request<T> { self } } impl<T> IntoRequest<T> for T { fn into_request(self) -> Request<Self> { Request::new(self) } } 全ての型TとRequest<T>に対してIntoRequestを実装している そのため、PointとRequest<Point>をget_featureに渡すことができる
12. Axumのハンドラーは関数を定義するといい感じにRouterに渡すことができる おまけ pub async fn hoge_handler( Json(request): Json<HogeRequest>, ) -> Result<Json<HogeResponse>, Error> { // ... } pub async fn fuga_handler( Path(fuga_id): Json<string>, ) -> Result<Json<FugaResponse>, Error> { // ... } ブランケット実装（とマクロ）によって、関数（FnOnce）に対してハンドラのトレイトを 実装しています
13. まとめ Rustのトレイトにおけるブランケット実装について知ると、Rust初級者から一歩 踏み出せるかも！ Rustの構文にも慣れてきて公式サイトや書籍を見ながら実装ができる！ ⇨ そのライブラリがどういう理屈で動いているのかが理解できる tonic clientでは引数にIntoRequestを要求することがあるが、ブランケット実装 によってトレイトを満たす実装がされているよ！