性狀與默認的方法依賴於綁定的相關類型的

Question

我不能想出一個辦法，使這個代碼編譯--cfg on_trait：

trait DigitCollection: Sized { 
    type Iter: Iterator<Item = u8>; 
    fn digit_iter(self) -> Self::Iter; 

    #[cfg(on_trait)] 
    fn digit_sum(self) -> u32 { 
     self.digit_iter() 
      .map(|digit: u8| digit as u32) 
      .fold(0, |sum, digit| sum + digit) 
    } 
} 

#[cfg(not(on_trait))] 
fn digit_sum<T: DigitCollection>(collection: T) -> u32 { 
    collection.digit_iter() 
     .map(|digit: u8| digit as u32) 
     .fold(0, |sum, digit| sum + digit) 
} 

fn main() { 
} 

隨着on_trait這種失敗：

trait.rs:7:14: 7:26 error: type annotations required: cannot resolve `<<Self as DigitCollection>::Iter as core::iter::Iterator>::Item == u8` [E0284] 
trait.rs:7   self.digit_iter() 
         ^~~~~~~~~~~~ 
error: aborting due to previous error 

沒有on_trait，它編譯得很好。請注意0​​變體只是因爲它是一個自由函數而不是默認方法。

---

編輯：我開了這個問題：rust-lang/rust#22036

Answer 1

此代碼現在編譯如下期望：

trait DigitCollection: Sized { 
    type Iter: Iterator<Item = u8>; 
    fn digit_iter(self) -> Self::Iter; 

    fn digit_sum(self) -> u32 { 
     self.digit_iter() 
      .map(|digit: u8| digit as u32) 
      .fold(0, |sum, digit| sum + digit) 
    } 
} 

fn main() {}