Rustの関連型 - mrsekut-p

Rustの関連型

associeated type

例

code:rs

pub trait Iterator {

type Item;

fn next(&mut self) -> Option<Self::Item>;

...

}

これのtype Itemの部分が関連型

/mrsekut-book-4873118557/273

https://doc.rust-jp.rs/rust-by-example-ja/generics/assoc_items/types.html

https://doc.rust-jp.rs/rust-by-example-ja/generics/assoc_items/the_problem.html

https://keens.github.io/blog/2016/11/22/rustnokanrenkatanotsukaidokoro/

https://qiita.com/tacke_jp/items/9c7617971dc341146c0f

https://doc.rust-jp.rs/the-rust-programming-language-ja/1.6/book/associated-types.html

https://keens.github.io/blog/2016/02/28/rustnohigherkinded_type_trait/

http://smallcultfollowing.com/babysteps/blog/2016/11/02/associated-type-constructors-part-1-basic-concepts-and-introduction/

http://smallcultfollowing.com/babysteps/blog/2016/11/03/associated-type-constructors-part-2-family-traits/

http://smallcultfollowing.com/babysteps/blog/2016/11/04/associated-type-constructors-part-3-what-higher-kinded-types-might-look-like/

http://smallcultfollowing.com/babysteps/blog/2016/11/09/associated-type-constructors-part-4-unifying-atc-and-hkt/

https://github.com/rust-lang/rfcs/pull/1598

https://qiita.com/statiolake/items/2c9b59976844cf9d1308

https://maguro.dev/associated-type-vs-generic-type-in-trait/