は、私は別の形質を実装形質を持つ形質実装

Question

のメンバーの種類の要件を置く：

trait RandomAccessIterator : Sub + VariousOthers {} 

どのように私は、この特性のすべての実装のためのことを、引き算の結果を指定してください（OutputタイプはSub）は、特定のタイプである必要があります（isizeなど）。このようにして、この特性を実装するオブジェクトを使用する汎用関数を記述すると、A - Bの結果が型isizeであることがわかります（さらに重要なのは、コンパイラが知っていることです）。

Answer 1

trait RandomAccessIterator : Sub<Output = isize> + VariousOthers {} 

---

trait objects with associated typesためのセクションでassociated typesについてThe Rust Programming Language章で述べたように：

N=Node構文は、私たちはN型パラメータに対して、具体的な種類、Nodeを提供することができます。 E=Edgeと同じです。この制約を指定しなかった場合、この特性オブジェクトに一致するのはどのimplに一致するのかはわかりませんでした。

これは特性オブジェクトではありませんが、同じ構文が適用されます。ほとんどの人がこれに入りますwhen using operators like Mul、