java容器-容器概述

本文已被阅读过 Posted by Liao Can on 2015-05-03

容器简介

数组与容器

Java 中常用的存储容器就是数组和容器,二者有以下区别:

  1. 数组是固定长度的;容器的长度是可变的。
  2. 数组可以存储基本数据类型,也可以存储引用数据类型;容器只能存储引用数据类型,基本数据类型的变量要转换成对应的包装类才能放入容器类中。

容器框架

Java 容器框架主要分为 Collection 和 Map 两种。其中,Collection 又分为 List、Set 以及 Queue。

  • Collection - 一个独立元素的序列,这些元素都服从一条或者多条规则。
    • List - 必须按照插入的顺序保存元素。
    • Set - 不能有重复的元素。
    • Queue - 按照排队规则来确定对象产生的顺序(通常与它们被插入的顺序相同)。
  • Map - 一组成对的“键值对”对象,允许你使用键来查找值。

容器基本机制

泛型

Java5 引入了泛型技术。

Java 容器通过泛型技术来保证其数据的类型安全。

举例来说:如果有一个 List 容器,Java 编译器在编译时不会对原始类型进行类型安全检查,却会对带参数的类型进行检查,通过使用 Object 作为类型,可以告知编译器该方法可以接受任何类型的对象,比如 String 或 Integer。

1
2
3
List<Object> list = new ArrayList<Object>();
list.add("123");
list.add(123);

如果没有泛型技术,如示例中的代码那样,容器中就可能存储任意数据类型,这是很危险的行为。

想了解泛型技术的细节可以参考我的另一篇博文:Java 泛型

Iterable

Collection 继承了 Iterable 接口。

迭代其实我们可以简单地理解为遍历,是一个标准化遍历各类容器里面的所有对象的方法类。它是一个经典的设计模式——迭代器模式(Iterator)。

迭代器模式

目标:提供一种方法顺序访问一个聚合对象中各个元素, 而又无须暴露该对象的内部表示。

Comparable 和 Comparator

Comparable 是排序接口。若一个类实现了 Comparable 接口,就意味着该类支持排序。实现了 Comparable 接口的类的对象的列表或数组可以通过 Collections.sort 或 Arrays.sort 进行自动排序。

Comparator 是比较接口,我们如果需要控制某个类的次序,而该类本身不支持排序(即没有实现 Comparable 接口),那么我们就可以建立一个“该类的比较器”来进行排序,这个“比较器”只需要实现 Comparator 接口即可。也就是说,我们可以通过实现 Comparator 来新建一个比较器,然后通过这个比较器对类进行排序。

在 Java 容器中,一些可以排序的容器,如 TreeMap、TreeSet,都可以通过传入 Comparator,来定义内部元素的排序规则。

Cloneable

Java 中 一个类要实现 clone 功能 必须实现 Cloneable 接口,否则在调用 clone() 时会报 CloneNotSupportedException 异常。

Java 中所有类都默认继承 java.lang.Object 类,在 java.lang.Object 类中有一个方法 clone(),这个方法将返回 Object 对象的一个拷贝。Object 类里的 clone()方法仅仅用于浅拷贝(拷贝基本成员属性,对于引用类型仅返回指向改地址的引用)。

如果 Java 类需要深拷贝,需要覆写 clone() 方法。

fail-fast

Java 容器(如:ArrayList、HashMap、TreeSet 等待)的 javadoc 中常常提到类似的描述:

注意,迭代器的快速失败行为无法得到保证,因为一般来说,不可能对是否出现不同步并发修改做出任何硬性保证。快速失败(fail-fast)迭代器会尽最大努力抛出 ConcurrentModificationException。因此,为提高这类迭代器的正确性而编写一个依赖于此异常的程序是错误的做法:迭代器的快速失败行为应该仅用于检测 bug。

什么是 fail-fast

那么,我们不禁要问,什么是 fail-fast,为什么要有 fail-fast 机制?

fail-fast 是 Java 容器的一种错误检测机制。当多个线程对容器进行结构上的改变的操作时,就可能触发 fail-fast 机制。记住是有可能,而不是一定。

例如:假设存在两个线程(线程 1、线程 2),线程 1 通过 Iterator 在遍历容器 A 中的元素,在某个时候线程 2 修改了容器 A 的结构(是结构上面的修改,而不是简单的修改容器元素的内容),那么这个时候程序就会抛出 ConcurrentModificationException 异常,从而产生 fail-fast 机制。

fail-fast 原理

容器在迭代操作中改变元素个数都可能会导致 fail-fast。

解决 fail-fast

  1. 在遍历过程中所有涉及到改变容器个数的地方全部加上 synchronized 或者直接使用 Collections.synchronizedList,这样就可以解决。但是不推荐,因为增删造成的同步锁可能会阻塞遍历操作。
  2. 使用并发容器,如:CopyOnWriterArrayList。

同步容器和并发容器

为了在并发环境下安全地使用容器,Java 提供了同步容器和并发容器。

同步容器和并发容器详情请参考:同步容器和并发容器

资料

Java 编程思想(第 4 版)
https://www.jianshu.com/p/589d58033841
https://www.jianshu.com/p/9081017a2d67
java 提高篇(三十)-----Iterator
Java 提高篇(三四)-----fail-fast 机制


支付宝打赏 微信打赏

赞赏一下