generics - 问号在类型参数绑定(bind)中意味着什么？

Question

我找到了 std::borrow::BorrowMut 的定义:

pub trait BorrowMut<Borrowed>: Borrow<Borrowed>
where
    Borrowed: ?Sized,
{
    fn borrow_mut(&mut self) -> &mut Borrowed;
}

Sized 前面的问号在这个类型参数绑定(bind)(借用:?Sized)中是什么意思？

我咨询过:

• The Rust Programming Language ¹ 书，
• The Rust Reference ²，还有
• What does "Sized is not implemented" mean?在堆栈溢出上

但没有找到解释。请在您的回答中提供引用。

---

¹ _{特别参见5.20 Traits部分}
² _{和6.1.9 Traits部分}

Answer 1

这意味着特征是可选的。当前语法在 DST syntax RFC 中引入.

据我所知，唯一适用于 ? 的特征是 Sized。

在这个具体的例子中，我们可以为未调整大小的类型实现BorrowMut，比如[T]——注意没有& 这里!

一个内置实现利用了它:

impl<T> BorrowMut<[T]> for Vec<T>

作为Matthieu M. adds :

This is a case of a widening bound; in general bounds impose more constraints, but in the case of Sized it was decided that unless otherwise noted a generic T would be assumed to be Sized. The way to note the opposite would be to mark it ?Sized ("maybe Sized").