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）中定义一个ctor？除了size_type n之外，参数都不是必需的吗？我们可以使用HashFcn() ExtractKey()等。就像它在（2）中所做的那样，但不是全部都是如此。

那么还有其他进一步的考虑吗？

Answer 1

模板参数仅指定类型。需要构造函数（1）来提供指定在哈希表中使用的类型的实例。实例本身可以是具有自己的数据成员并且使用非平凡构造创建的类。

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

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

<stl_hashtable> </stl_hashtable>中是否不需要构造函数参数

1 个答案: