如何自動實現FromIterator？

Question

我寫了一個特點，指定類似於那些Vec一些方法：

pub trait Buffer { 
    type Item; 
    fn with_capacity(c: usize) -> Self; 
    fn push(&mut self, item: Self::Item); 
} 

我想實現FromIterator爲實現Buffer所有類型，如下所示：

impl<T> iter::FromIterator<T::Item> for T 
    where T: Buffer 
{ 
    fn from_iter<I>(iter: I) -> Self 
     where I: IntoIterator<Item = T> 
    { 
     let mut iter = iter.into_iter(); 
     let (lower, _) = iter.size_hint(); 
     let ans = Self::with_capacity(lower); 
     while let Some(x) = iter.next() { 
      ans.push(x); 
     } 
     ans 
    } 
} 

編譯器韓元不讓我：

error[E0210]: type parameter `T` must be used as the type parameter 
for some local type (e.g. `MyStruct<T>`); only traits defined in the 
current crate can be implemented for a type parameter 

我想我理解錯誤信息;它會阻止我編寫與標準庫可能的未來更改不兼容的代碼。

解決此錯誤的唯一方法似乎是針對實施Buffer的每種類型單獨實施FromIterator。這將涉及多次複製完全相同的代碼。有沒有一種方法可以在所有Buffer類型之間共享相同的實現？

Answer 1

對於任意類型，不能從另一個箱子實現特徵，只能從箱子類型中實現特徵。但是，您可以實施移動到功能，減少重複的代碼量：

fn buffer_from_iter<I, B>(iter: I) -> B 
    where I: IntoIterator<Item = B::Item>, 
      B: Buffer 
{ 
    let mut iter = iter.into_iter(); 
    let (lower, _) = iter.size_hint(); 
    let mut ans = B::with_capacity(lower); 
    while let Some(x) = iter.next() { 
     ans.push(x); 
    } 
    ans 
} 

struct S1; 
impl Buffer for S1 { 
    type Item = i32; 
    fn with_capacity(c: usize) -> Self { unimplemented!() } 
    fn push(&mut self, item: Self::Item) { unimplemented!() } 
} 

impl std::iter::FromIterator<<S1 as Buffer>::Item> for S1 { 
    fn from_iter<I>(iter: I) -> Self 
     where I: IntoIterator<Item = <S1 as Buffer>::Item> 
    { 
     buffer_from_iter(iter) 
    } 
} 

的FromIterator此實現可包裹成一個宏，以進一步減少代碼的重複。