Swiftのprotocolだと、CatがFromを満たす時、Fromのassociated type T は１つに固定される

8:57 AM

でもRustのTraitでそれがジェネリックな場合は

8:58 AM

From<T> の Tの具象型ごとに異なるトレイトとして、それぞれconformanceできる

8:58 AM

そう考えると、 Rustのtrait が associated typeとgeneric parameterの両方持ってるのはわかりやすくて

8:59 AM

generic parameterが埋まった時に、traitが一つ完成して、個別の型は完成したそれごとにconformanceをもつんじゃない？

9:02 AM

https://rust-lang-ja.github.io/the-rust-programming-language-ja/1.6/std/convert/trait.From.html

9:03 AM

impl From<i8> for i16 impl From<i8> for i32 impl From<i8> for i64 impl From<i8> for isize impl From<i16> for i32 impl From<i16> for i64 impl From<i32> for i64 impl From<u8> for i16 impl From<u8> for i32 impl From<u8> for i64

9:03 AM

そうっぽい。i32っていう型に対して、From<i8>, From<i16>, From<u8>がそれぞれconformanceしてる