這定義簡單的表示，若一個型別可以在確保執行緒安全的情況下被共用，這型別的參考值也可以安全的被傳遞於其他的執行緒。

原因在於如果型別為 Sync，表示能在多個執行緒之間共用，沒有資料競爭或其他同步問題的風險，因此可以安全轉移到其他執行緒。此外，由於可以從任何執行緒安全存取型別參考的資料，型別參考也能安全地轉移到其他執行緒。