问号在类型参数绑定中意味着什么？

Question

我发现std::borrow::BorrowMut定义：

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

是什么在Sized前面的问号意味着（Borrowed: ?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：

这是加宽必然一个的情况;在一般范围征收更的限制，但在Sized的情况下决定，除非另有说明通用T会被认为是Sized。注意相反的方法是标记它?Sized（“也许Sized”）。