4 对象的组合
组合模式能够使一个类更容易成为线程安全的,并且在维护这些类时不会无意中破坏类的安全性保证。
4.1设计线程安全的类
设计线程安全类的三个基本要素:
A: 找出构成对象状态的祈有变童。
B: 找出钓束状态变量的不变性条件
C: 建立时象状态的并发访问管理策略
例如,LinkedList的状态就包括该链表中所有节点对象的状态。
4.1.1收集同步需求
4.1.2 依赖状态的操作
类的不变性条件与后验条件约束了在对象上有哪些状态和状态转换是有效的。
4.1.3 状态的所有权
如果分配并填充了一个HashMap对象,那么就相当于创建了多个对象:HashMap对象,在HashMap对象中包含的多个对象,以及在Map.Entry中可能包含的内部对象。HashMap对象的逻辑状态包括所有的Map. Entry对象以及内部对象,即使这些对象都是一些独立的对象。
垃圾回收器为我们减少了许多在引用共享方面常见的错误,因此降低了在所有权处理上的开销。
许多情况下,所有权与封装性总是相互关联的:对象封装它拥有的状态,反之也成立,即对它封装的状态拥有所有权。状态变量的所有者将决定采用何种加锁协议来维持变量状态的完整性。所有权意味着控制权。然而,如果发布了某个可变对象的引用,那么就不再拥有独占的控制权,最多是"共享控制权"。对于从构造函数或者从方法中传递进来的对象,类通常并不拥有这些对象,除非这些方法是被专门设计为转移传递进来的对象的所有权
容器类通常表现出一种"所有权分离"的形式,其中容器类拥有其自身的状态,而客户代码则拥有容器中各个对象的状态。