构造<stl_hashtable>函数参数是否在

Question

在SGI STL实现<stl_hashtable.h>中，hashtable类有一个类似于

template <class Value, class Key, class HashFcn,
          class ExtractKey, class EqualKey,
          class Alloc>
class hashtable {
public:
  typedef Key key_type;
  typedef Value value_type;
  typedef HashFcn hasher;
  typedef EqualKey key_equal;
  //other type definitions
  hasher hash_funct() const { return hash; }
  key_equal key_eq() const { return equals; }
private:
  hasher hash;//hash function which might be a functor
  key_equal equals;//compare functor that returns two key is equal or not
  ExtractKey get_key;//functor used when we extract a key from value, see bkt_num

public:
    //There is no default ctor
  hashtable(size_type n, //------------(1)
            const HashFcn&    hf,
            const EqualKey&   eql,
            const ExtractKey& ext)
    : hash(hf), equals(eql), get_key(ext), num_elements(0)
  {
    initialize_buckets(n);
  }
  hashtable(size_type n, //------------(2)
        const HashFcn&    hf,
        const EqualKey&   eql)
: hash(hf), equals(eql), get_key(ExtractKey()), num_elements(0)
  {
    initialize_buckets(n);
  }
//...
}

我徘徊，因为我们已经声明了ExtractKey, HashFcn和EqualKey作为模板参数，为什么他们需要一个在(1)中定义的向量?除了size_type n，其他参数都是不必要的吗?我们可以使用HashFcn()、ExtractKey()等等。就像在(2)中一样，但不是所有的三个。

那么做这件事还有其他进一步的考虑吗?

Answer 1

只有模板参数指定的类型。需要构造函数(1)来提供指定用于哈希表的类型的实例。实例本身可以是具有自己的数据成员的类，并且是通过非平凡构造创建的。

类的实现者选择不提供默认构造函数。这允许用户实现非默认可构造的哈希和相等比较操作，也就是说，类可以具有非平凡状态，因为没有一个好的默认值可以被默认构造函数使用。

您已经注意到构造函数(2)使用ExtractKey的默认构造，但仍然允许哈希和相等比较器是非默认可构造的。