مثال‌ها
Send + Sync
اکثر انواعی که با آنها روبرو می شوید Send + Sync هستند:
i8,f32,bool,char,&str, …(T1, T2),[T; N],&[T],struct { x: T }, …(T1, T2),[T; N],&[T],struct { x: T }, …String,Option<T>,Vec<T>,Box<T>, …-
Arc<T>:به طور صریح از طریق تعداد شمارش atomic reference با thread-safe. mpsc::Sender<T>: از 1.72.0.-
AtomicBool،AtomicU8، …: از دستورالعمل های atomic ویژه استفاده می‌کند.
در صورت وجود پارامترهای نوع، تایپ‌های generic معمولاً از نوع Send + Sync هستند.Send + Sync.
Send + !Sync
این تایپ‌ها را می‌توان به رشته‌های دیگر منتقل کرد، اما آنها ایمن نیستند. به طور معمول به دلیل تغییرپذیری داخلی(interior mutability):
mpsc::Receiver<T>Cell<T>RefCell<T>
!Send + Sync
These types are safe to access (via shared references) from multiple threads, but they cannot be moved to another thread:
MutexGuard<T: Sync>: Uses OS level primitives which must be deallocated on the thread which created them. However, an already-locked mutex can have its guarded variable read by any thread with which the guard is shared.
!Send + !Sync
این تایپ‌ها از نظر thread ایمن نیستند و نمی توان آنها را به رشته های دیگر منتقل کرد:
- “Rc
“: هر “Rc ” دارای یک ارجاع به “RcBox ” است که حاوی تعداد مراجع غیر atomic است. - درمورد
*const T,*mut T: زبان فرض Rust می کند که اشاره گرهای خام ممکن است ملاحظات همزمانی خاصی داشته باشند.