Java List Collections.unmodifiableList 与 表示泄露

表示泄露：

对于一个ADT来说，表示泄露是一项要坚决避免的事情。表示泄露就是指用户不通过我们ADT提供的方法，就可以修改ADT的内容，出现不必要的麻烦。

例如public的属性是一种表示泄露，mutable类型的数据直接传输是一种表示泄露。
我们会采用包括但不限于private final、防御式拷贝等方式来避免表示泄露。

今天我想讨论一下和List有关的表示泄露问题。

List< Immutable>

如果List当中存放的是Immutable类型的数据，我们采用防御式拷贝的方式就可以处理好表示泄露的问题。因为只要采用了防御式拷贝，对新数组的变化就不会影响到原数组。而Immutable的数据完全打消了我们对于多引用的顾虑。

防御式拷贝需要消耗额外的存储空间，还会拖慢程序的运行速度。我们还可以用Collections.unmodifiableList来进行表示泄露的防御。
下面介绍一下Collections.unmodifiableList

Collections.unmodifiableList

Collections.unmodifiableList是一个decorator，它是对我们常规List的一个包装。使用方法如下：

List<Mutable> list = new ArrayList<>();
。。。
List<Mutable> safe = Collections.unmodifiableList(new ArrayList<>(list));

生成的safe不支持“修改”

下面我们从源码追踪不可修改的原因。我们截取源码的一部分

        public E set(int index, E element) {
   
            throw new UnsupportedOperationException();
        }
        public void add(int index, E element) {
   
            throw new UnsupportedOperationException();
        }
        public E remove(int index) {
   
            throw new UnsupportedOperationException();
        }
        public boolean addAll(int index, Collection