Rust如何知道需要或提供哪些特征方法？

Question

从std::iter::Iterator文档中，我可以看到只需要next方法：

所需方法

 fn next(&mut self) -> Option<Self::Item> 

但是从源代码中 ，删除注释后：

pub trait Iterator {
    /// The type of the elements being iterated over.
    #[stable(feature = "rust1", since = "1.0.0")]
    type Item;
    ......
    #[stable(feature = "rust1", since = "1.0.0")]
    fn next(&mut self) -> Option<Self::Item>;
    ......
    #[inline]
    #[stable(feature = "rust1", since = "1.0.0")]
    fn size_hint(&self) -> (usize, Option<usize>) { (0, None) }
    ......
}

我可以看到，除了#[inline]属性，必需方法和提供的方法之间没有区别。 Rust如何知道需要或提供哪种方法？

Answer 1

除了#[inline]属性，必需方法和提供的方法之间没有区别

两者之间存在巨大差异，您只是忽略了格式的不足。 请允许我为您重新格式化：

fn next(&mut self) -> Option<Self::Item>;

fn size_hint(&self) -> (usize, Option<usize>) { // Starting with `{`
    (0, None)                                   //
}                                               // Ending with `}`

所有默认方法都有一个函数体 。 所需的方法没有。

我强烈建议您重新阅读Rust编程语言 ，特别是有关特征和默认实现的章节 。 与阅读标准库的任意代码片段相比，此资源是入门这类入门主题的更好方法。

Answer 2

这非常简单：提供的（可选）功能具有默认实现，而不是必需的。

请注意，您可以根据需要重新实现所提供的功能，以使其比特定结构/枚举的默认功能更好。