Question

I read this code：

pub fn up_to(limit: u64) -> impl Generator<Yield = u64, Return = u64> {
    move || {
        for x in 0..limit {
             yield x;
        }
        return limit;
    }
}

impl是什么意思？如何在普通的Rust或C ++中实现它？

Answer 1

这是新的impl Trait语法，它允许程序员避免命名泛型类型。该功能为still being implemented。

在这里，它在返回位置中用来表示＆＃34;返回的类型将实现这个特性，这就是我所说的所有＃34;。在这种情况下，请注意函数的所有返回路径必须返回完全相同的具体类型。

语法也可用于参数位置，在这种情况下，调用者决定要传递的具体类型。

另见：

Answer 2

impl是什么意思？

Matthieu解释说，impl X表示＆＃34;返回特质X＆＃34;的具体实现。如果没有这个，您可以选择返回实现特征的具体类型，例如：一个UpToImpl，或者通过返回Box<Generator>来删除该类型。前者需要暴露类型，而后者需要动态分配和虚拟调度的运行时成本。更重要的是，这是生成器案例的关键，前一种方法排除了返回闭包，因为闭包返回匿名类型的值。

如何在普通的Rust或C ++中实现它？

如果您的意思是如何实现up_to，并且您希望在不产生分配开销的情况下执行此操作，则必须放弃使用闭包并手动将生成器重写为实现{{1}的状态机特质：

Generator

这种转换本质上是Rust编译器在给出包含#![feature(generator_trait)] use std::ops::{Generator, GeneratorState}; pub struct UpToImpl { limit: u64, x: u64, } impl Generator for UpToImpl { type Yield = u64; type Return = u64; fn resume(&mut self) -> GeneratorState<u64, u64> { let x = self.x; if x < self.limit { self.x += 1; return GeneratorState::Yielded(x); } return GeneratorState::Complete(self.limit) } } pub fn up_to(limit: u64) -> UpToImpl { UpToImpl {x: 0, limit: limit} }的闭包时在幕后执行的操作，除了生成的等效于yield的类型是匿名的。（类似但更简单的转换用于将普通闭包转换为实现UpToImpl特征之一的匿名类型的值。）

返回Fn和具体类型之间还有另一个区别。返回impl Generator时，该类型必须是公共的，因此成为函数签名的一部分。例如，允许调用者执行此操作：

UpToImpl

如果重命名let x: UpToImpl = up_to(10);，或者您决定切换到使用生成器闭包，那么代码将会中断。

即使更改为UpToImpl，此答案中的up_to也会编译，因此一旦impl trait变得稳定，这将是其返回类型的更好选项。在这种情况下，调用者不能依赖或引用确切的返回类型，并且可以在实现特征的任何类型之间切换，包括匿名闭包，而不会丢失源级向后兼容性。

当用作函数的参数类型或返回类型时，`impl`是什么意思？

2 个答案: