Sync

TSync であるのは、複数のスレッドから同時に T 型の値へ安全にアクセスできる場合です。

より正確には、定義は次のとおりです。

TSync であるのは、&TSend である場合かつその場合に限ります

この記述は本質的には、ある型が共有して使用してもスレッドセーフであるなら、その型への参照をスレッド間で受け渡すこともスレッドセーフである、ということを簡潔に表したものです。

これは、ある型が Sync であるなら、データ競合やその他の同期に関する問題の危険なく、その型を複数のスレッド間で共有できることを意味するため、別のスレッドへ移しても安全だからです。その型への参照も、参照先のデータにはどのスレッドからでも安全にアクセスできるため、別のスレッドへ移しても安全です。