算法与数据结构集合与字典 .ppt

算法与数据结构 9.1.2集合类 我们可以定义一个集合类。定义这个类主要是为了说明各种实现集合的数据结构都应当具有的操作。这个类里没有为集合的实现而设置的内部数据结构，因此也就不需要构造函数和析构函数。 template class T class set { public: virtual int isEmpty(void) const = 0; virtual int includes (const T val) const = 0; virtual void add (const T val) = 0; virtual void remove (const T val) = 0; ? void intersectWith (const setT) {}; void unionWith (const setT) {}; void differenceFrom (const setT) {}; int subset (const setT) { return 0; }; int operator == (const setT) { return 0; }; }; 类9.1 集合类 我们无法把set中的方法都定义为纯虚函数，因为在实现集合操作的成员函数里都包含了对集合类的实例对象的引用参数。这种情况下函数不能定义为纯虚的。这里为每个函数虚构了一个函数体，它们是永远不会被真正使用的。 这里还有一个新情况，在set类的定义里面直接写出intersectWith等成员函数的定义，而不是只写它们的原型。C++允许这样做。当成员函数很短小时，为紧凑或消除过多重复描述，常采用这种写法 举一个例子讨论上面提出的问题。假设我们把unionWith定义为纯虚函数，函数在类规范里的原型应该是： virtual void unionWith (const setT) = 0; 在set的实际子类中就必须给出unionWith的实现，而实际上我们无法给出具有同样函数原型的函数的实际实现。 为说明这个问题，假设我们要把setA定义为set的非抽象的子类，现在考虑它的定义以及其中纯虚函数unionWith的规范。按照需要，我们应该写： template class T class setA : public setT { ... ... virtual void unionWith (const setAT s); ... ... } 但是，在这样定义好类规范并建立的setA所有成员函数之后，会发现仍然无法建立setA的实例对象。 例如，如果我们写出下面的变量定义 setAint s1; 程序编译时会发生错误，系统将告诉我们：在建立setA的实例时，遇到了没有给出定义的纯虚函数void unionWith(const setint)。 因为在上面setA里定义的unionWith函数的参数类型与set里unionWith的参数不同，这将被认为是对原函数名的另一个重载定义，而原来的纯虚函数仍然没有定义。 显然，在setA里把unionWith定义为： virtual void unionWith (const setT s); 是没有意义的，不会有抽象类的实例成为实际参数，因为根本没有这种实例。 上述问题是可能通过其他途径绕过去的，但那将使问题大大的复杂化，给出的定义很费事，理解起来也比较困难。这里选择的是一种较自然方便的做法。 在这节里，我们将考虑利用表实现集合的方法，也就是说，在集合对象中用一个表数据成分，借助它存储集合的元素。根据这个想法定义的setList见类9.5。? template class T class setList : public setT{protected: listT slist;public: setList(); // 构造函数 setList(const setListT );? virtual inline int isEmpty() const { return slist.isEmpty(); }; virtual inline int includes (T val) const { slist.includes (val) }  virtual void add (T val); // 往集合里增加新元素 virtual void remove( T ); // 删除 void unionWith(const setListT ); // 求并 void inter