OO面向对象的编程的一大优势是封装，对于现代软件来说，软件系统使用组件搭建起来的，这些组件不仅可以出现在一个软件系统中，而且有可能出现在其他软件系统中。大多数组件在单线程系统中运行良好，但是在多线程环境下，如何保证组件的线程安全性呢？
    一般来说，封装能够保证类的线程安全性。
   
    首先，确定对象的状态是由那些变量构成的。对象的状态就是field域的完整状态。比如基本类型(primitive)的，int value是Counte类的一个field,那么这个域就组成了对象的完整状态。如果对象有n个基本域，那么对象的状态就是阈值组成的n元组；如果一个对象引用了其他对象，那么他的状态也同时包含了被引用的对象的域。比如collection的状态包含了所有存储在链表的节点对象的状态。