rust - dyn A+B 可能吗？

Question

我有一个实现AsyncWrite 和AsyncRead 的自定义套接字。我想将动态存储到此套接字，但我想同时使用 AsyncWrite/Read，如下所示:

#[derive(Clone)]
pub struct AsyncTransporter {
    stream: Arc<dyn AsyncRead + AsyncWrite>,
}  

但这不被支持。

60 |     stream: Arc<dyn AsyncRead + AsyncWrite>,
   |                     ---------   ^^^^^^^^^^ additional non-auto trait
   |                     |
   |                     first non-auto trait
   |
   = help: consider creating a new trait with all of these as super-traits and using that trait here instead: `trait NewTrait: tokio::io::AsyncRead + tokio::io::AsyncWrite {}`

如果我执行 trait NewTrait: tokio::io::AsyncRead + tokio::io::AsyncWrite {}，这两个特征的方法将如何实现？

Answer 1

If I do trait NewTrait: tokio::io::AsyncRead + tokio::io::AsyncWrite {}, how will the methods of both traits be implemented?

trait NewTrait: tokio::io::AsyncRead + tokio::io::AsyncWrite {} 要求 NewTrait 的实现者首先实现 AsyncRead 和 AsyncWrite，所以如果你有一个实现了 NewTrait 的类型，你可以依靠 AsyncRead 和 AsyncWrite的方法就在那里。因此，与其说是“如何实现这两个特征的方法”，不如说是“如何为实现 AsyncRead 的任意类型实现 NewTrait 和AsyncWrite 并且对 NewTrait 一无所知？”

响应是，通过为实现两者的所有类型提供 NewTrait 的一揽子实现:

impl<T> NewTrait for T
where
    T: AsyncRead + AsyncWrite
{
}

通过该实现，任何类型(即使是在另一个 crate 中定义的类型)同时实现了 AsyncRead 和 AsyncWrite 也实现了 NewTrait 。