具有盒裝 impl 特征的結構

Question

我無法弄清楚為什么這不會編譯。 我只想擁有一個帶有迭代器的結構，其中迭代器是使用返回impl Trait的 function 創建的。 我將我的代碼更改為這篇文章的最小示例。

在 Rust 游樂場打開

struct Foo {
    pub it: Option<Box<dyn Iterator<Item=i32>>>,
}

impl Foo {
    fn new() -> Self {
        let it = Some(Box::new(my_numbers()));
        Self { it: it }
    }
}

fn my_numbers() -> impl Iterator<Item=i32> {
    1..10
}

編譯器 output：

   |
8  |         Self { it: it }
   |                    ^^ expected trait object `dyn std::iter::Iterator`, found opaque type
...
12 | fn my_numbers() -> impl Iterator<Item=i32> {
   |                    ----------------------- the found opaque type
   |
   = note: expected enum `std::option::Option<std::boxed::Box<(dyn std::iter::Iterator<Item = i32> + 'static)>>`
              found enum `std::option::Option<std::boxed::Box<impl std::iter::Iterator>>`

編輯：

我發現一種解決方法是使用#![feature(type_alias_impl_trait)] ，但這並不穩定。

Answer 1

將裝箱值，即Box::new(my_numbers()) as Box<dyn Iterator<Item=_>>通過穩定的 Rust 1.41.0 解決了這個問題。 啟用type_alias_impl_trait可能有助於解決這個缺失的類型推斷方面。