软构ADT关于unmodifiable包装类本质的探索

在Collections中提供了一种unmodifiableList/Set/Map方法，将原来可变的集合类变成了不可变，以Set为例，原来的Set是允许向其中增删元素的，如下图a.add("1")；静态检查未发现错误，而且打印出a以后确实里面有添加的元素”1“，但是，对于由Collections.unmodifiableSet产生的包装后的Set b,虽然在b调用add方法时静态检查为出错，但是运行时就会报错：

错误提示就是不能在包装后的Set b调用add方法

但是这是否说明b就无法被改变了呢？本来以为b不再会被改变（毕竟mutator对它不起作用），但是，我发现，如果对b的原型a增删元素，b也会随着改变，如下图：

在向a添加一个元素前后，打印b的信息，结果如下：
 

结果与我的直觉相反，b在a增添元素以后，也随之增加了元素，

于是我设想，也许b和a都指向了同一个Set，这样能够解释上述的现象，于是我尝试打印出二者的Hashcode：

 

二者的Hashcode一样 

我在网上查询了unmodifiable的实现代码：

实际上就是对同一个List的引用，而且在该类的方法中去掉了add，remove等变值器方法，所以unmodifiable包装类实际上是一种换汤不换药的别名引用

同时，unmodifiableList这类实际上是对List接口的实现类的继承，所以它和List是一个类，应该是producer