What does the exclamation point mean in a trait im

问题:

I found in the library reference for std::rc::Rc this trait implementation

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

What does the exclamation point in front of Send mean?

I consulted both The Rust Programming Language¹ book and The Rust Reference², but didn't find an explanation. Please give a reference in your answer.

---

¹ _{especially the [section 3.19 Traits}
² _{and sections 5.1 Traits and 5.1 Implementations}

回答1:

It's a negative trait implementation for the Send trait as described in RFC 19.

As a summary: The Send trait is an auto trait, which means it is automatically implemented for all types that only contain other Send types:

unsafe auto trait Send {}

(Send is also an unsafe trait, which means it is unsafe to implement, but that is not relevant to the question.)

An auto trait may not define any methods, which also makes it a marker trait. (The syntax for defining auto traits is currently only available in the standard library or on the nightly compiler, but their semantics are stable.)

To opt out of the automatic implementation of Send, you must write an explicit negative trait implementation:

impl !Send for MyType {}

This means that even though MyType only contains other types that are Send, MyType itself will not automatically implement Send.

See also the answer to another question: What is an auto trait in Rust?

回答2:

This is a negative trait impl, so you can read it as opting out of the Send trait.