Send 和 Sync

Rust 如何得知要禁止在執行緒間共享存取權？答案就在以下兩個特徵中：

  • Send：如果可以將 T 在執行緒界線間安全轉移，型別 T 就會是 Send。
  • Sync：如果可以將 &T 在執行緒界線間安全轉移，型別 T 就會是 Sync。

Send 和 Sync 是 不安全的特徵。如果你的型別只包含其他有 Send 和 Sync 的型別， 編譯器就會自動根據型別為你產生 Send 和 Sync。或許如果你知道你的型別是適用的， 也可以手動實作。

  • 這些特徵可視為標記，表示該型別含有特定執行緒安全屬性。
  • 這些特徵就像一般特徵，可用於泛型條件約束。