c++ - 中是否不需要构造函数参数

Question

在 SGI STL 实现中 <stl_hashtable.h> hashtable类(class)有一个像这样的 Actor :

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 的默认构造，但仍然允许哈希和相等比较器是非默认可构造的。