一般的な形質である一般的な特性を持つ構造

Question

錆1.15では、私はファイルフォーマットを解析する&を読み上げるために抽象的な特性を作成しました。私は内部にこの一般的な特性を持つ構造体を作成しようとしています。

私はこの形質を持っている：

use std::io::Read; 

trait MyReader<R: Read> { 
    fn new(R) -> Self; 
    fn into_inner(self) -> R; 

    fn get_next(&mut self) -> Option<u32>; 
    fn do_thingie(&mut self); 
} 

は、私はこれを実装して何かへの参照を持つ構造体を作りたいです。

struct MyIterThing<'a, T: MyReader<R>+'a> { 
    inner: &'a mut T, 
} 

は、次のエラーを与える：

error[E0412]: type name `R` is undefined or not in scope 
    --> <anon>:11:36 
    | 
11 | struct MyIterThing<'a, T: MyReader<R>+'a> { 
    |         ^undefined or not in scope 
    | 
    = help: no candidates by the name of `R` found in your project; maybe you misspelled the name or forgot to import an external crate? 

T: MyReader+'a

は、私はエラーを取得する： "error[E0243]: wrong number of type arguments: expected 1, found 0"は、 T: MyReader<R: Read>+'aは、低レベルの構文エラーを与え、それはそこに :を期待していません。

そして、これはどちらか動作しません：

error[E0392]: parameter `R` is never used 
    --> <anon>:11:24 
    | 
11 | struct MyIterThing<'a, R: Read, T: MyReader<R>+'a> { 
    |      ^unused type parameter 
    | 
    = help: consider removing `R` or using a marker such as `std::marker::PhantomData` 

は、どのように私は私のMyIterThing構造体を作成するのですか？

Answer 1

：

use std::io::Read; 

trait MyReader { 
    type R: Read; 

    fn new(Self::R) -> Self; 
    fn into_inner(self) -> Self::R; 

    fn get_next(&mut self) -> Option<u32>; 
    fn do_thingie(&mut self); 
} 

struct MyIterThing<'a, T> 
    where T: MyReader + 'a 
{ 
    inner: &'a mut T, 
} 

fn main() {} 

も参照してください：

• When is it appropriate to use an associated type versus a generic type?
• Why am I getting "parameter is never used [E0392]"?
• How can I have an unused type parameter in a struct?

Answer 2

エラーメッセージには、PhantomDataのようなマーカーを使用するように指示が表示されます。あなたはこのようにそれを行うことができます。PhantomDataの

use std::marker::PhantomData; 

struct MyIterThing<'a, R: Read, T: MyReader<R> + 'a> { 
    inner: &'a mut T, 
    marker: PhantomData<R>, 
} 

インスタンスはゼロランタイムコストを持っているので、それだけのタイプRのフィールドを作成するよりも、それを使用することをお勧めします。

---

別の解決策ではなく、型パラメータの関連するタイプを使用することであろう。のみMyReaderの実装あたりSourceの選択ができるようにこれは少し柔軟である

trait MyReader { 
    type Source: Read; 

    fn new(Self::Source) -> Self; 
    fn into_inner(self) -> Self::Source; 

    fn get_next(&mut self) -> Option<u32>; 
    fn do_thingie(&mut self); 
} 

struct MyIterThing<'a, T: MyReader + 'a> { 
    inner: &'a mut T, 
} 

が、しかしそれはあなたの必要に応じて十分であるかもしれません。あなたはおそらく、あなたが関連するタイプたい、型パラメータをしたくない