rust - 返回 Future 类型时无法推断类型 F

Question

我正在尝试编写一个返回 a 的函数Future，所以按照Tokio 的教程，我想出了这个：

extern crate tokio;

use std::time::{Duration, Instant};
use tokio::prelude::*;
use tokio::timer::Interval;

fn run<F>() -> impl Future<Item = (), Error = F::Error>
where
    F: Future<Item = ()>,
{
    Interval::new(Instant::now(), Duration::from_millis(1000))
        .for_each(move |instant| {
            println!("fire; instant={:?}", instant);
            Ok(())
        })
        .map_err(|e| panic!("interval errored; err={:?}", e))
}

fn main() {
    tokio::run(run());
}

操场

我收到此错误：

error[E0282]: type annotations needed
  --> src/main.rs:20:16
   |
20 |     tokio::run(run());
   |                ^^^ cannot infer type for `F`

我假设一旦我指定了完整的返回类型，错误就会消失，我什至无法弄清楚（我的 IDE 给了我<futures::MapErr<futures::stream::ForEach<tokio::timer::Interval, [closure@src/ir.rs:24:23: 38:14 self:_], std::result::Result<(), tokio::timer::Error>>, [closure@src/ir.rs:39:22: 39:65]>）

1. 我怎样才能确定类型？任何 IDE 提示或技巧？（我正在使用带有 ide-rust 的 Atom）

2. 我能以某种方式摆脱定义impl Future<Item = (), Error = F::Error> where F: Future<Item = ()>吗？

   我可以在run函数内部的某处定义完整类型，但在函数外部我想公开<Future<Item = (), Error = F::Error>>或<Future<Item = (), Error = io::Error>>

Answer 1

看tokio::run签名：

pub fn run<F>(future: F) 
where
    F: Future<Item = (), Error = ()> + Send + 'static, 

消耗的未来必须具有Error等于 的关联类型()。这意味着您不能对错误通用。

这有效：

fn run() -> impl Future<Item = (), Error = ()> {
    Interval::new(Instant::now(), Duration::from_millis(1000))
        .for_each(move |instant| {
            println!("fire; instant={:?}", instant);
            Ok(())
        })
        .map_err(|e| panic!("interval errored; err={:?}", e))
}

fn main() {
    tokio::run(run());
}