什麼是僅實現發送和同步之一的類型的示例？

Question

只是爲了得到更好的理解Send和Sync性狀，是有類型的，要麼例子：

• 實施Send並沒有實現Sync。
• 執行Sync並且不執行Send。

Answer 1

Cell和RefCell實施Send但不Sync，因爲他們可以安全地在線程之間發送，但它們之間不共享。

Answer 2

首先，它認識到，大多數結構（或枚舉）是很重要Send：

• 不包含任何引用任何結構可以Send + 'static
• 包含有引用任何結構的'a下限期限可以是Send + 'a

其結果是，你通常會期望任何Syncstruct是Send也是如此，因爲Send是一個很容易達到的範圍（與Sync需要從多個線程進行安全併發修改的難度相比）要困難得多。

---

然而，沒有什麼能阻止一種類型的創建者特異性標記爲不Send。例如，讓我們復甦條件吧！

在Lisp中，條件的思想是爲給定條件設置一個處理程序（例如：FileNotFound），然後在堆棧深處滿足這個條件時調用你的處理程序。

你會如何在Rust中實現？

那麼，爲了保持線程的獨立性，你可以爲條件處理程序使用線程本地存儲（請參閱std::thread_local!）。每個條件將是條件處理程序的一個堆棧，要麼只調用最上面的一個，要麼從上面的一個迭代過程開始，直到一個成功。

但是，那麼，你會如何設置它們？

就我個人而言，我會用RAII！我會綁定線程本地堆棧中的條件處理程序並將其註冊到框架中（例如，使用一個入侵雙向鏈表作爲堆棧）。

這樣，當我完成後，條件處理程序會自動取消自己的註冊。

當然，系統必須爲用戶做出意想不到的事情（如將條件處理程序存儲在堆中，而不是按照創建的順序將其刪除），這就是爲什麼我們使用雙向鏈表的原因，以便處理程序可以根據需要從堆棧中間取消註冊。

因此，我們有：

struct ConditionHandler<T> { 
    handler: T, 
    prev: Option<*mut ConditionHandler<T>>, 
    next: Option<*mut ConditionHandler<T>>, 
} 

和「真實」的處理程序是由用戶通過T。

---

這個處理程序是Sync？

可能，取決於你如何創建它，但沒有理由不能創建一個處理程序，以便它的引用不能在多個線程之間共享。

注意：這些線程無法訪問其數據成員，它們是私有的，不一定是Sync。

該處理程序是Send？

除非特別注意，否則不會。

的prev和next字段與併發訪問，即使在處理程序是，而另一個線程已獲得它（例如，另一個處理程序試圖註銷本身）的引用將被丟棄，然後這更糟糕的保護現在懸掛的引用會導致未定義的行爲。

注意：後一個問題意味着僅僅切換Option<*mut Handler<T>>爲AtomicPtr<ConditionHandler<T>>是不夠的;有關更多詳細信息，請參見Common Pitfalls in Writing Lock-Free Algorithms。

---

有你有它：一個ConditionHandler<T>是Sync如果T是Sync但絕不會Send（這是）。

爲了完整起見，許多類型的實施Send但不Sync（最Send類型，實際上）：Option或Vec例如。