Dấu chấm hỏi có ý nghĩa gì trong một tham số kiểu bị ràng buộc?

Question

Tôi tìm thấy định nghĩa cho std::borrow::BorrowMut:

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

không dấu hỏi trước Sized có ý nghĩa gì trong tham số này loại ràng buộc (Borrowed: ?Sized)?

tôi tham khảo ý kiến:

• The Rust Programming Language cuốn sách ¹,
• The Rust Reference ², và cũng
• What does "Sized is not implemented" mean? trên Stack Overflow

nhưng không tìm thấy một lời giải thích. Vui lòng đưa ra một tham chiếu trong câu trả lời của bạn.

---

¹ _{đặc biệt là xem phần 5.20 Traits}
² _{và phần 6.1.9 Traits}

Answer 1

Nó có nghĩa là đặc điểm là tùy chọn. Cú pháp hiện tại đã được giới thiệu trong DST syntax RFC.

Tính trạng duy nhất mà tôi biết là hoạt động cho ? là Sized.

Trong ví dụ cụ thể này, chúng ta có thể thực hiện BorrowMut cho loại không đúng cở, như [T] - lưu ý rằng không có & đây!

Một built-in thực hiện tận dụng rằng:

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

Như Matthieu M. adds:

Đây là một trường hợp của một mở rộng ràng buộc; trong giới hạn chung áp đặt nhiều hơn ràng buộc, nhưng trong trường hợp của Sized, nó đã được quyết định rằng trừ khi có ghi chú chung, T sẽ được giả định là Sized. Cách để lưu ý đối diện sẽ là đánh dấu nó ?Sized ("có thể Sized").