すべての参照型に対してイテレータの特性を一般的に実装する方法はありますか？

Question

私は論理的に、それは問題ではありませんので、そのすべての参照型（f64、&'a f64、および&'a mut f64）以上（私の場合f64で）タイプTに一度、この形質を実装したい特性

trait Foo<T> : Iterator<Item=T> { 
    fn bar(&mut self) -> f64; 
} 

を持っています。

私は現在

impl<T: Iterator<Item = f64>> Foo<f64> for T { 
    fn bar(&mut self) -> f64 { 
     // duplicated code 
    } 
} 

impl<'a, T: Iterator<Item = &'a f64>> Foo<&'a f64> for T { 
    fn bar(&mut self) -> f64 { 
     // duplicated code 
    } 
} 

impl<'a, T: Iterator<Item = &'a mut f64>> Foo<&'a mut f64> for T { 
    fn bar(&mut self) -> f64 { 
     // duplicated code 
    } 
} 

は重複せずにこれを実現するための良い方法はありますか？

Answer 1

これにはBorrowの特性を使用できます。ドキュメントページの実装者を見ると、最初の3つがここで関連します。つまり、f64、&'a f64、および&'a mut f64はすべてBorrow<f64>を実装しています。イテレータによって生成された各値に対してborrowメソッドを呼び出して、&f64を取得する必要があります。ところで

use std::borrow::Borrow; 

impl<T> Foo<T::Item> for T 
    where T: Iterator, 
      T::Item: Borrow<f64> 
{ 
    fn bar(&mut self) -> f64 { 
     unimplemented!() 
    } 
} 

---

、それは実際に特性上の型パラメータを定義するために意味をなすと同時に、その型パラメータとsupertraitの関連するタイプ間の制約を入れていません。タイプTはIteratorの1つの実装しか持つことができないため、多くの異なるFoo<T>特性を実装できることを示す型パラメータにもかかわらず、Fooの実装を1つしか持てません。したがって、Fooのtypeパラメータは完全に冗長です（typeパラメータの代わりにsupertraitの関連タイプを使用することができます）。したがって、コードは次のようになります。

use std::borrow::Borrow; 

trait Foo: Iterator { 
    fn bar(&mut self) -> f64; 
} 

impl<T> Foo for T 
    where T: Iterator, 
      T::Item: Borrow<f64> 
{ 
    fn bar(&mut self) -> f64 { 
     unimplemented!() 
    } 
}