OO面向對象的編程的一大優勢是封裝，對于現代軟件來說，軟件系統使用組件搭建起來的，這些組件不僅可以出現在一個軟件系統中，而且有可能出現在其他軟件系統中。大多數組件在單線程系統中運行良好，但是在多線程環境下，如何保證組件的線程安全性呢？
    一般來說，封裝能夠保證類的線程安全性。
   
    首先，確定對象的狀態是由那些變量構成的。對象的狀態就是field域的完整狀態。比如基本類型(primitive)的，int value是Counte類的一個field,那么這個域就組成了對象的完整狀態。如果對象有n個基本域，那么對象的狀態就是閾值組成的n元組；如果一個對象引用了其他對象，那么他的狀態也同時包含了被引用的對象的域。比如collection的狀態包含了所有存儲在鏈表的節點對象的狀態。