ポスト

default側で型変数にトレイト境界がついていて、specialized側でトレイト境界を満たさないパターンもあるのね play.rust-lang.org/?version=night…

メニューを開く
yasuo_ozu@yasuo_ozu

#Rustlang こういう T :> Option<T> みたいな、部分的なspecializationをサポートするのは自明じゃないな play.rust-lang.org/?version=night…

yasuo_ozu@yasuo_ozu

みんなのコメント

メニューを開く

すなわち default impl<T: Clone> Trait for T {} impl Trait for MyType {} みたいなspecializationが許される。(MyType: Clone かどうかに関わらず)

yasuo_ozu@yasuo_ozu

人気ポスト

もっと見る
Yahoo!リアルタイム検索アプリ