抽象数据类型(abstract data type ADT)是带有一组操作的对象的集合。
一、 表ADT
- 表的数组实现
数组实现时,插入和删除的花费可能会比较大,这样要看操作发生在什么地方。最坏情况如,在0处插入,和删除第一个元素。此时为O(N)。
如果表是通过在高端插入,其后只发生对数组的查找访问(findKth),则数组很适合。否则,不是。
- 简单链表
为了避免插入和删除的线性开销,应该使表可以不连续存储。否则表的每个部分都可能要整体移动。这样就是链表。
findKth(i)要花费O(i)的时间,但是在实践中这是比较保守的情况 ,因为findKth常常以排序后的方式进行,如findkth(1),
findkth(2),...都是一次性的完成的。
二、Collections API中的表
Collections API中有一些普通的的数据结构的实现,表ADT中其中的一部分。
- Collections 接口
public interface Collection<AnyType> extends Iterable <Anytype>{
int size();
boolean isEmpty();
void clear ();
boolean contains(Anytype x );
boolean add(Anytype x);
boolean remove (Anytype x );
Iterator <Anytype> interator ();
}
collection接口扩展了Iterable 接口,实现了Iterable接口的类有增强的for循环。
- Iterator接口
实现了Iterable 接口的集合一定要有一个iterator的方法,这个方法返回一个Iterator类型的对象 。定义如下
public interface Iterator <Anytype> {
boolean hasNext ();
Anytype next ();
void remove ();//删除next最新返回的项
}
思路是,通过iterator 方法,每个集合可以创建并返回客户一个实现了Iterator接口的对象,并将当前位置的概念在对象内部存储下来。
当编译器遇到用于Iterator对象的增强的for循环时,它用对iterator方法的那些 调用 代替增强的for循环以得到一个 Iterator对象 ,然后调用 next/ hasNext .
也就是说,下面的程序将会被编译器重写 。
for (Anytype item : collection )
system.out.println(item);
}
//重写为
Iterator <Anytype> itr = collection.iterator();
while (itr.hasNext()){
Anytype item = itr.next();
System.out.println(item);
}
Iterator的remove()方法优点 :
Collection的remove()一定要先找到被删除的项。如我们要每隔一项删除一个,用迭代器更好。
当直接使用Iterator(而不是通过一个增强for循环间接使用时)一个重要的是:
如果正在被迭代的集合结构正在发生变化 (如add, remove , clear 方法)那么迭代器就不再合法,会有ConcurrentModificationException。
然而如果迭代器调用 的是自己的remove方法,则是没有问题的,这个也是我们更愿意用迭代 器的remove方法的第二个原因。
- List接口、ArrayList接口、LinkedList接口
List继承了Collection接口。
public interface List<Anytype> extends Collection<Anytype>{
Anytype get(int idx );
Anytype set(int idx ,Anytype x );
void add (int idx ,Antype x );
void remove (int idx );
ListIterator<Anytype> listIterator(int pos );
}
List ADT 有两种实现方式 :
ArrayList:可增长的数组的实现
优点:get set 是常数时间
缺点:新插入的项和删除代价高,除非在ArrayList的末尾进行。
LikedList:双链表的实现
优点:insert /remove开销小。
缺点:不容易 做索引,因此get 开销大,除非 get 操作是对接口两个端点的。(可以考虑使用 iterator )
对搜索来说,ArrayList/ LinkedList都是低效的,对 Collections 的contains / remove两个方法,它们都要花费线性时间。
- remove方法对LinkedList的使用
对ArrayList,肯定是不行,因为remove代价很大。
分析 LinkedList。
方案1 :
public static void removeEven( List <Integer> lst){
int i =0;
while (i<lst.size()){
if (lst.get(i)%2==0){
lst.remove(i);
}else {
i++;
}
}
}
上面有两个问题:
1. get效率不高,因此上面的要花费二次时间。
2. remove 调用 同样开销大,因为找到位置 i 代价很大。
方案2:
for (Integer x : lst)
if (x%2==0)
lst.remove(x); //这里是collection的remove
这里我们不使用get 而是使用迭代器遍历,这是高效的。但是却是Collection的remove,这个一定要重新搜索,所以不是高效的,要
线性时间。
最重要的是,程序 会的异常,因为当一个项被删除(collection的 remove)的时候,迭代器的使用是非法的。
方案3:
Iterator<Integer> itr = lst.iterator();
while (itr.hasNext ()){
if (itr.next()%2==0)
itr.remove() ;
}
}
我们使用迭代 器来删除 。整个程序只要线性时间,而不是二次时间。
- ArrayList的实现
- LinkedList的实现
三、栈ADT
stack是限制 插入 和 删除 只能在一个位置上进行的表,这个位置中表的末端。 也叫top.
栈的实现 : 任何实现表的方法.
因为栈的操作是常数时间,所以要改进 很难.我们给出两个流行的实现方法,对ArrayList 和 LinkedList进行了一定的简化 。
- 链表实现
单链表
- 数组实现
避免了链而且可能是最流行的方法。
它们的操作不仅以常数时间进行,而且是非常快的常数时间进行。栈很可能是在数组后最基本的一种数据结构。
package c3;
import java.lang.reflect.Array;
public class MyArrayStack <AnyType> {
private static final int DEFAULT_SIZE=12;
private AnyType [] mArray ;
private int count ;
public MyArrayStack(Class <AnyType> type, int size){
//这里用到了反射
mArray = (AnyType [])Array.newInstance(type, size) ;
count =0;
}
public MyArrayStack(Class<AnyType> type){
this(type, DEFAULT_SIZE) ;
}
public void push( AnyType val ){
mArray[count++]= val ;
}
//只返回顶部元素
public AnyType peek(){
return mArray[count-1] ;
}
//返回并删除
public AnyType pop(){
AnyType ret = mArray[count-1] ;
count --;
return ret ;
}
public int size(){
return count ;
}
}
四、队列ADT
和栈一样,队列也是表,但插入在一端,删除 在另一端。
- 队列模型
基本操作:
enqueue:在末端插入一个。
dequeue: 在表头,也就是队头删除一个。
- 队列的数组实现
任何表的实现都是合法的,链表和数组实现都可给出O(1)的运行时间。队列的链表实现很简单,不再说。下面讨论数组。
我们要保存两个位置, front 和 back 。同时有些问题要解决,方法是使用循环数组。不再细说。
package c3;
import java.lang.reflect.Array;
public class MyArrayQueue<AnyType> {
private int count;
private AnyType [] mArray ;
public MyArrayQueue( Class <AnyType> type, int size){
mArray = (AnyType[]) Array.newInstance(type, size) ;
count =0;
}
public void add(AnyType val){
mArray [count++] = val ;
}
//返回队头元素
public AnyType front(){
return mArray [0] ;
}
//返回并删除队头元素
public AnyType pop(){
AnyType ret = mArray[0] ;
count --;
for (int i=0 ;i<count ;i++){
mArray[i]= mArray[i+1] ;
}
return ret ;
}
public int size (){
return count ;
}
public boolean isEmpty(){
return size()==0;
}
}
第三章节到此结束