ジェネリック型をいくつかの型に限定してください

Question

配列への参照に「整数型」を使用する汎用構造体を作成しようとしています。パフォーマンス上の理由から、u16、u32、u64のいずれを使用するかを簡単に指定できるようにしたいと考えています。このようなもの（明らかに有効な錆コードではない）：

struct Foo<T: u16 or u32 or u64> { ... } 

これを表現する方法はありますか？

Answer 1

通常、配列への参照は、異なる整数型ではなくusizeを使用します。

しかし、新しい形質を作成することができたら、その形質をu16,u32およびu64に実装し、Tを新しい形質に制限します。

pub trait MyNewTrait {} 

impl MyNewTrait for u16 {} 
impl MyNewTrait for u32 {} 
impl MyNewTrait for u64 {} 

struct Foo<T: MyNewTrait> { ... } 

それからまたu16、u32とu64に固有のロジックをカプセル化するMyNewTraitとimplの上にメソッドを追加することもできます。