rust
/
nomicon
mirror of https://github.com/rust-lang/nomicon
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

phantom-data: Add `Send` and `Sync` columns (#411)

Browse Source
pull/413/head
Martin Nordholts 1 year ago committed by GitHub
parent 927dfbdffc
commit c369e4b489
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 12 additions and 12 deletions
Show Stats Download Patch File Download Diff File

24
src/phantom-data.md
Unescape View File

@ -24,7 +24,7 @@ We do this using `PhantomData`, which is a special marker type. `PhantomData`
consumes no space, but simulates a field of the given type for the purpose of consumes no space, but simulates a field of the given type for the purpose of
static analysis. This was deemed to be less error-prone than explicitly telling static analysis. This was deemed to be less error-prone than explicitly telling
the type-system the kind of variance that you want, while also providing other the type-system the kind of variance that you want, while also providing other
useful things such as the information needed by drop check. useful things such as auto traits and the information needed by drop check.
Iter logically contains a bunch of `&'a T`s, so this is exactly what we tell Iter logically contains a bunch of `&'a T`s, so this is exactly what we tell
the `PhantomData` to simulate: the `PhantomData` to simulate:
@ -234,14 +234,14 @@ standard library made a utility for itself called `Unique<T>` which:
Here’s a table of all the wonderful ways `PhantomData` could be used: Here’s a table of all the wonderful ways `PhantomData` could be used:
| Phantom type | `'a` | `T` | | Phantom type | `'a` | `T` | `Send` | `Sync` |
|-----------------------------|-----------|---------------------------| |-----------------------------|-----------|-----------------------------|-----------|-----------|
| `PhantomData<T>` | - | covariant (with drop check) | | `PhantomData<T>` | - | covariant (with drop check) | `T: Send` | `T: Sync` |
| `PhantomData<&'a T>` | covariant | covariant | | `PhantomData<&'a T>` | covariant | covariant | `T: Sync` | `T: Sync` |
| `PhantomData<&'a mut T>` | covariant | invariant | | `PhantomData<&'a mut T>` | covariant | invariant | `T: Send` | `T: Sync` |
| `PhantomData<*const T>` | - | covariant | | `PhantomData<*const T>` | - | covariant | - | - |
| `PhantomData<*mut T>` | - | invariant | | `PhantomData<*mut T>` | - | invariant | - | - |
| `PhantomData<fn(T)>` | - | contravariant | | `PhantomData<fn(T)>` | - | contravariant | `Send` | `Sync` |
| `PhantomData<fn() -> T>` | - | covariant | | `PhantomData<fn() -> T>` | - | covariant | `Send` | `Sync` |
| `PhantomData<fn(T) -> T>` | - | invariant | | `PhantomData<fn(T) -> T>` | - | invariant | `Send` | `Sync` |
| `PhantomData<Cell<&'a ()>>` | invariant | - | | `PhantomData<Cell<&'a ()>>` | invariant | - | `Send` | - |

Write Preview
Loading…
Cancel
Save