Sync
型
TがSyncであるのは、複数のスレッドから同時にT型の値へ安全にアクセスできる場合です。
より正確には、定義は次のとおりです。
TがSyncであるのは、&TがSendである場合かつその場合に限ります
この記述は本質的には、ある型が共有して使用してもスレッドセーフであるなら、その型への参照をスレッド間で受け渡すこともスレッドセーフである、ということを簡潔に表したものです。
これは、ある型が Sync であるなら、データ競合やその他の同期に関する問題の危険なく、その型を複数のスレッド間で共有できることを意味するため、別のスレッドへ移しても安全だからです。その型への参照も、参照先のデータにはどのスレッドからでも安全にアクセスできるため、別のスレッドへ移しても安全です。