Rust 类型别名会导致生命周期问题

Question

我试图通过引入类型别名来缩短函数签名。 参数的类型说明是这样的

writer: Arc<Mutex<&mut (dyn AsyncWrite + Unpin + Send + Sync)>>  // working

我认为可以通过引入这种类型别名来缩短它

pub type RefAsyncWriter<'a> = &'a mut (dyn AsyncWrite + Unpin + Send + Sync);

所以类型参数就变成了

writer: Arc<Mutex<RefAsyncWriter>>  // error[E0726]: implicit elided lifetime not allowed here

不幸的是，这种变化给我带来了一生的麻烦。

这里我做了一个简单的例子

use tokio::io::AsyncWrite;
use tokio::fs::File;
use std::sync::{Arc,Mutex};
use std::path::PathBuf;
pub type RefAsyncWriter<'a> = &'a mut (dyn AsyncWrite + Unpin + Send + Sync);

#[tokio::main]
async fn main() {
    let f = File::create(PathBuf::from("/tmp/test.txt")).await.unwrap();
    w(Arc::new(Mutex::new(&mut f)));
}

async fn w(writer: Arc<Mutex<RefAsyncWriter>>) {
  // TODO
}

结果如下

Compiling playground v0.0.1 (/playground)
error[E0726]: implicit elided lifetime not allowed here
  --> src/main.rs:13:31
   |
13 | async fn w (writer: Arc<Mutex<RefAsyncWriter>>) {}
   |                               ^^^^^^^^^^^^^^- help: indicate the anonymous lifetime: `<'_>`

error: aborting due to previous error

（见：https://play.rust-lang.org/?version=stable&mode=debug&edition=2018&gist=eb46708a9df66efa0de419a8d98490cf）

如果有人可以向我解释 (1) 是否有办法让它工作，也许 (2) 为什么类型别名实际上会对编译器产生如此大的帮助。

非常感谢。

Answer 1

由于在类型别名中引入了显式的生命周期'a，所以在使用该类型时需要指定。

async fn w<'a>(writer: Arc<Mutex<RefAsyncWriter<'a>>>) {}

它似乎在你提供的操场上工作。

正如编译器所建议的，匿名 litetime 是等价的。

async fn w(writer: Arc<Mutex<RefAsyncWriter<'_>>>) {}

---

您的函数的原始版本（在writer: 之后写下的很长的类型在某种程度上相当于this documentation 中的print1()、print2() 和print3()。 如果你引入一个引用作为参数，那么这个函数必然存在一个生命周期参数；当这一生不会混淆时，省略只是为节省一些击键带来一些安慰。

当定义一个包含引用的类型别名时，编译器希望我们明确生命周期，可能是为了防止使用此类型别名的人忘记其中有一个引用隐藏。 然后，使用此类型别名需要<'...> 表示法。 但同样，当使用时不会混淆时，匿名生命周期<'_> 会节省一些击键，避免两次写入<'a>（在函数名之后和参数中）。