为什么我们不实现 Iterator 中的所有函数来实现迭代器呢?

2024-02-26

要在 Rust 中实现迭代器,我们只需要实现next方法,如所解释的在文档中 https://doc.rust-lang.org/stable/std/iter/#implementing-iterator。但是,那Iterator trait 还有很多方法 https://doc.rust-lang.org/stable/std/iter/trait.Iterator.html.

据我所知,我们需要实现一个特质的所有方法。例如,这不会编译():

struct SomeStruct {}

trait SomeTrait {
    fn foo(&self);
    fn bar(&self);
}

impl SomeTrait for SomeStruct {
    fn foo(&self) {
        unimplemented!()
    }
}

fn main() {}

错误非常明显:

error[E0046]: not all trait items implemented, missing: `bar`
 --> src/main.rs:8:1
  |
5 |     fn bar(&self);
  |     -------------- `bar` from trait
...
8 | impl SomeTrait for SomeStruct {
  | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ missing `bar` in implementation

因为每一个方法Iterator except next has a 默认实现 https://doc.rust-lang.org/stable/book/ch10-02-traits.html#default-implementations。这些是在特征本身中实现的方法,特征的实现者“免费”获得它们:

struct SomeStruct {}

trait SomeTrait {
    fn foo(&self);

    fn bar(&self) {
        println!("default")
    }
}

impl SomeTrait for SomeStruct {
    fn foo(&self) {
        unimplemented!()
    }
}

fn main() {}

您可以通过以下方式判断特征方法是否具有默认实现文档 https://doc.rust-lang.org/std/iter/trait.Iterator.html:

所需方法

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

提供的方法

fn size_hint(&self) -> (usize, Option<usize>)

注意size_hint位于“提供的方法”部分 - 这表明存在默认实现。

如果您能以更有效的方式实现该方法,欢迎您这样做,但请注意,这是如果您决定覆盖默认实现,则无法调用它 https://stackoverflow.com/questions/31461902/is-it-possible-to-extend-a-default-method-implementation-of-a-trait-in-a-struct.

专门针对Iterator,这是一个实现的好主意size_hint如果可以的话,因为这可以帮助优化方法,例如collect.

本文内容由网友自发贡献,版权归原作者所有,本站不承担相应法律责任。如您发现有涉嫌抄袭侵权的内容,请联系:hwhale#tublm.com(使用前将#替换为@)

为什么我们不实现 Iterator 中的所有函数来实现迭代器呢? 的相关文章

  • 何时使用 Box> 或 Vec>?

    什么时候设计一个嵌套的数据结构才有意义 Box and a Vec 或相反亦然 似乎在大多数情况下 您想在堆上存储多个固定大小的东西 Box是多余的 因为它唯一的 作用是堆分配一个 单个值 以及一个正常的Vec已经在堆上分配其存储空间 背景
  • 强制 Scala 特征实现某种方法

    有没有办法指定特征必须提供方法的具体实现 给定一些 mixin class A extends B with C foo 如果出现以下任一情况 程序将编译A B or C实施foo 但是我们如何才能强制 例如 B包含装有foo的实施 您可以
  • 打字稿地图迭代失败

    我正在使用下面的函数来比较两个地图 有趣的是 for 循环内的代码永远不会被执行 所以 console log key val 代码永远不会被执行 当然 我确保我正在比较的映射不为空并且大小相同 以强制执行 for 循环内的代码 我犯了一个
  • 链表迭代器实现 C++

    我已经在 C 中创建了一个链接列表 并想为其实现一个迭代器 以便我可以执行范围循环 for const int i list where Linked List
  • 使用比较器对向量进行排序,比较器会动态改变其行为

    我有一个自定义结构体的向量和一个属性列表 用于按优先级降序对该向量进行排序 例如 struct TheStruct artist String title String date String let order vec Vec
  • 在 Rust 程序意外退出期间注册要运行的函数的最佳方法是什么?

    我正在用 Rust 创建一个终端文本编辑器 编辑器将终端置于原始模式 禁用字符回显等 然后在退出时恢复原始终端功能 然而 编辑器存在一些错误 并且由于无符号变量下溢等问题 时不时地意外崩溃 发生这种情况时 将终端恢复到原始状态的清理代码永远
  • 为什么 Rust 不允许在一种类型上复制和删除特征?

    From the book https doc rust lang org book 2018 edition ch04 01 what is ownership html stack only data copy Rust 不允许我们用C
  • 如何使用 rustls 库建立 TLS 连接?

    The 文档 https docs rs rustls 0 10 0 rustls 提供了一个例子 不幸的是它不能编译 很多东西都被重命名了 界面也被重命名了ClientSession构造函数改变了 我设法将错误修复到可以编译的程度 但没有
  • 从向量中删除向量::end

    当我使用时它工作正常吗 什么也不做 vector
  • 类型“A”没有实现特征“A”

    我正在尝试使用一个具有以闭包作为参数的函数的特征 然后在特征对象上使用它 trait A fn f p self p P where P Fn gt struct B a Box a impl B fn c self self a f 该代
  • 如何将动态格式字符串与格式一起使用!宏?

    我想使用format 宏与String作为第一个参数 但因为宏需要字符串文字 所以我无法传递任何与它不同的内容 我想这样做是为了将字符串动态添加到当前字符串中 以便在视图引擎中使用 如果有更好的方法 我愿意接受建议 let test Str
  • 如何在 HashSet 或 HashMap 中使用自定义哈希函数?

    由于 SipHasher 对于我的用例来说太慢 因此我尝试实现自定义哈希函数 我发现一个例子 https github com rust lang rust blob master src librustc util nodemap rs我
  • 异步迭代器 Task>

    我正在尝试实现一个返回迭代器的异步函数 这个想法如下 private async Task
  • 如何与超级请求处理程序共享不可变的配置数据?

    我正在尝试用 Rust 开发一个基于超级的服务器应用程序 有一个 INI 文件保存诸如绑定 IP 数据库等配置 我不想在每个请求上解析 INI 文件 并且可以保留配置数据直到服务器重新启动 如何向请求处理程序提供已解析数据的结构 我尝试过几
  • 当函数中的模式匹配采用 &self 或 &mut self 时,如何避免使用 ref 关键字?

    铁锈书称为ref关键词 遗产 https doc rust lang org book ch18 03 pattern syntax html legacy patterns ref and ref mut 因为我想遵循隐含的建议来避免re
  • 创建自定义迭代器 Java?

    我对如何在 Java 中为类实现自定义迭代器有点困惑 我基本上需要创建一个 ArrayList 而不使用我已经可用的内置库 我了解创建类的基础知识 但我无法理解如何让迭代器适应所有这些 我有以下内容 我创建了一个实现可迭代接口的泛型类 它看
  • 如何修改actix-web中间件中的请求数据? [复制]

    这个问题在这里已经有答案了 是否有推荐的方法来修改 actix web 上收到的请求 我正在寻找将数据添加到请求对象并使其可供下游中间件和处理程序处理的方法 The 中间件文档 https actix rs docs middleware
  • 如何在 Rust 中为引用创建“Iterable”特征?

    我正在尝试创造一种特质来捕捉iter函数于slice也VecDeque BTreeMap and HashMap 我希望这个特征的实现者能够指定和实现他们自己的迭代器类型 但看起来这个迭代器类型必须有一个生命周期参数 并且不能作为关联类型给
  • 我可以将参数作为数组传递吗?

    例如 而不是 assert eq add 2 3 5 有什么方法可以调用类似的东西 let params u32 2 2 3 assert eq call add params 5 我发现这个功能对于测试非常有用 例如 如果我想为需要大量参
  • 错误[E0554]:#![功能]可能无法在稳定发布通道上使用无法使用货物安装赛车

    我正在尝试使用 Cargo 安装 Racer 所以我执行了命令cargo install racer在终端中并导致错误 error E0554 feature may not be used on the stable release ch

随机推荐