[Rust] 突然发现 Rust 没法正常表达这样一个场景.

[小天管理]

    pub async fn get_state(&self) -> (usize, bool) {
        let (tx, rx) = tokio::sync::oneshot::channel();
        let ev = Event::GetState(tx);
        loop {
            let ev = match self.ev_q.put(ev).await {
                Ok(_) => break,
                Err(ev) => ev
            };
            tokio::time::sleep(Duration::from_millis(20)).await;
        }
        rx.await.unwrap()
    }

不断调用一个函数 self.ev_q.put, 该函数会获取参数 ev 的所有权. 如果成功则退出循环, 失败则函数会返回参数的所有权; 然后在下一次循环中再次调用. 但是发现 Rust 的 borrow checker 好像无法识别出来这个参数的所有权是始终存在的.

如果要实现的话只能写成这样:

    pub async fn get_state(&self) -> (usize, bool) {
        let (tx, rx) = tokio::sync::oneshot::channel();
        let mut ev = Some(Event::GetState(tx));
        loop {
            let inner = match self.ev_q.put(ev.take().unwrap()).await {
                Ok(_) => break,
                Err(ev) => ev
            };
            ev = Some(inner);
            tokio::time::sleep(Duration::from_millis(20)).await;
        }
        rx.await.unwrap()
    }