如何在默認模板參數中引用自我類型？

Question

我們有一個reference_counted模板和默認default_deallocator類如下：

template <class T> 
class default_deallocator { 
    void operator()(T* obj) { 
     delete obj; 
    } 
}; 

template <class T> 
class reference_counted: T 
{ 
public: 
    void retain() {ref_count++;} 
    void release() { 
     ref_count --; 
     if (ref_count == 0) { 
      delete this; 
     } 
    } 
} 

我們要添加的釋放器爲reference_counted類。但是我們不知道如何編寫默認模板參數，因爲編譯器會抱怨遞歸類型引用。

//VS2015 says: fatal error C1202: recursive type or function dependency context too complex 
template <class T, class D = default_deallocator<reference_counted<T>>> <--- 
class reference_counted: T 
{ 
public: 
    void retain() {ref_count++;} 
    void release() { 
     ref_count --; 
     if (ref_count == 0) { 
      D deallocator; 
      deallocator.operator()(this); 
     } 
    } 
} 

我明白這個錯誤。 所以問題是如何引用模板默認參數或其他方式來實現此設計模式的當前類類型？

Answer 1

您可以使用-kinded更高類型（ 「模板模板參數」）：

template <class T, template <typename...> class D = default_deallocator> 
class reference_counted: T 
{ 
public: 
    void retain() {} 
    void release() { 

     D<reference_counted<T, D>> deallocator; 
     deallocator(this); 

    } 
}; 

live example on wandbox

Answer 2

template <class T, class D_in = void> 
class reference_counted: T 
{ 
public: 
    using D = std::conditional_t< 
    std::is_same<D_in, void>, 
    default_deallocator<reference_counted>, 
    D_in 
    >; 
    void retain() {ref_count++;} 
    void release() { 
    ref_count --; 
    if (ref_count == 0) { 
     D deallocator; 
     deallocator.operator()(this); 
    } 
    } 
};