感嘆號在特質實現中意味着什麼？

Question

我爲std::rc::Rc圖書館參考這個trait implementation

impl<T> !Send for Rc<T> 
where 
    T: ?Sized, 

是什麼在Send前面的感嘆號的意思是發現了什麼？

我諮詢了The Rust Programming Language¹書和The Rust Reference²，但沒有找到解釋。請在答案中提供參考。

---

¹ _{尤其是[第3.19 Traits}
² _{和部分5.1 Traits和5.1 Implementations}

Answer 1

這是一個負性狀實施Send性狀如RFC 19所述。

總結：Send特徵是不安全性狀。 RFC說：

[這是]不安全的實施，因爲它的實施帶有語義保證，如果受到威脅，以深層次的方式威脅內存安全。

它們用默認所有類型：

unsafe impl Send for .. { } 

注意..作爲語法的默認實現。特質還不能定義任何方法。默認實現是由所有類型實現的標記特徵。

因此，選擇退出的Send，寫負面特質實現：

impl !Send for MyType { } 

Answer 2

這是一個negative trait impl，這樣你就可以把它讀作決定退出Send特質。