減少模板策略雜波

Question

如果我有下面的模板參數：

template <typename T_Key, typename T_Value, typename T_HashFunc, 
    typename T_ExtractKey, typename T_EqualKey, typename T_RehashClass, typename T_HashcodeClass> 
    class Hashtable { /* ... */ }; 

凡T_RehashClass和T_HashcodeClass是採取T_Key, T_Value, T_HashFunc, T_ExtractKey and T_EqualKey以及兩個模板類。我希望這些類可以從Hashtable的typedef列表中獲取類型（Hashtable中的所有模板參數類型均爲類型定義）。

請注意，T_RehashClass和T_HashcodeClass也可以由用戶創建（默認提供），如果用戶希望可以有其他模板參數。

現在，任何類T_RehashClass必須有T_Key, T_Value等模板參數填寫，我認爲這是代碼重複。我希望該課程知道Hashtable，以便它可以通過創建自己的typedef自動訪問其typedefs並自動推斷T_Key, T_Value等。不幸的是，在這種情況下，我得到了循環依賴。

這類問題一般如何解決？

另請注意，我遵循的是EASTL，EASTL使用多重繼承來繼承T_RehashClass和T_HashnodeClass，因此Hashtable擁有更多的模板參數。我想知道是否有解決方法（即不從策略繼承並將它們作爲從策略繼承的模板參數降低靈活性）。我認爲的

---

一個解決辦法是讓具有所有模板參數從T_Key到T_EqualKey模板結構。然後，Hashtable聲明將是：

template <typename T_HashtableParams, typename T_RehashClass = default_rehash_class<T_HashtableParams>, typename T_HashcodeClass = default_hashnode_class<T_HashtableParams> > 
    class Hashtable { /* ... */ }; 

的T_RehashClass和T_HashcodeClass可以再取這將消除代碼重複的默認值。這種方法的問題是用戶使用起來更麻煩。

Answer 1

參見例如，現代C++設計（第1.5.1節：使用模板參數實現策略）。這個想法是讓T_RehashClass和T_HashcodeClass成爲模板參數。這些類將T_Key，T_Value和其他任何參數作爲自己的參數。爲了避免重新輸入，您可以繼承這些模板所需的實例。

template < 
    typename T_Key, 
    typename T_Value, 
    typename T_HashFunc,  
    typename T_ExtractKey, 
    typename T_EqualKey, 
    template<typename, typename /*, more params */> class T_RehashClass, 
    template<typename, typename /*, more params */> class T_HashcodeClass 
> class Hashtable 
: 
    public T_RehashClass<T_Key, T_Value /*, more params */>, 
    public T_HashcodeClass<T_Key, T_Value /*, more params */> 
{ /* ... */ }; 

注意：你真正需要的「類」，而不是「類型名稱」中T_RehashClass和T_HashcodeClass的前面，因爲他們是模板的名稱，而不是模板類型！

Answer 2

我不確定爲hash和rehash類指定不同的T_Key和T_Value類型是非常有趣的。如果我正在解決這個問題，我會嘗試爲key/val首先設置一個策略。我的傾向是說可能應該有一個ValuePolicy而不是將它與KeyPolicy分組，但這不是在這裏也不在那裏。

namespace hash { 
namespace detail { 

    template< 
      typename Key 
      , typename Value 
      , typename KeyGetter 
      , typename KeyComparator> 
     class KeyPolicy { 
     public: 
      typedef Key key_t; 
      typedef Value value_t; 
      typedef KeyGetter get_t; 
      typedef KeyComparator compare_t; 
     }; 

}} // hash detail 

的HashTable是無效的，除非它具有相同的KeyPolicy作爲rehast等，所以不要給它一個。

namespace hash { 
namespace detail { 

    template<typename RehashPolicy> 
     class HashTableImpl { 
     public: 
      typedef RehashPolicy rehash_p; 
      typedef typename rehash_p::key_policy_t::key_t key_t; 
      // typedef ... 
     }; 

    // this doesn't have a specific name, its anything. 
    template<typename KeyPolicy> 
     class SomeRehashPolicy { 
     public: 
      typedef KeyPolicy key_policy_t; 
     }; 

}} // hash detail 

顯然你可以添加你想要的任何typedefs。如果我在代碼審查是一個堅持己見的人我可能會問的東西像rehash_p和key_policy_t是私有的。他們真的是實施細節。你試圖保護的實際不變是key_t等。

也許我在禮儀的合理範圍之外，但我的誠實觀點是，所有這些配置只對寫它的人有意思。不是你，沒有人使用它。所以我只會公開HashTable配置或兩個人實際上要使用的配置。

namespace hash { 

    struct stub {}; // sorry, I'm lazy 

    template<typename Key, typename Value> 
     class HashTable { 
     private: 
      typedef typename detail::KeyPolicy<Key, Value, stub, stub> key_p; 
      typedef typename detail::SomeRehashPolicy<key_p> rehash_p; 
      typedef typename detail::HashTableImpl<rehash_p> impl_t; 
     public: 
      typedef typename impl_t::key_t key_t; 
     }; 

} // hash 

int main(int argc, char ** argv) { 
    hash::HashTable<int, double> hash_table; 
    return 0; 
} 

很多細節未填寫很明顯，但你的想法。