Mit Template-Klasse mit dem unvollständigen Typ void

Question

ich folgende Template-Klasse hat:

template <typename T> 
class myClass 
{ 
public: 
    // Many methods... 
protected: 
private: 
    T attribute 
    // Other attributes. 
}; 

ein Objekt vom Typ myClass<void> Instanziierungsanwendung nicht funktioniert, weil der void attribute. Können Sie mir einige Hinweise geben, um Objekte des Typs myClass<void> zu verwenden, ohne die gesamte Klasse zu spezialisieren. Da es viele Elementfunktionen hat, die auf den Typ T angewiesen sind, führt eine Spezialisierung zu einer Codeverdopplung.

Answer 1

Sie können das ganze Problem aufschieben durch einen benutzerdefinierten Typen und spezialisiert, dass die Verwendung:

template<typename T> 
struct my_type_t 
{ 
    using type = T; 
}; 

template<> 
struct my_type_t<void> 
{}; 

template<typename T> 
using my_type = typename my_type_t<T>::type; 

template <typename T> 
class myClass 
{ 
public: 
    // Many methods... 
protected: 
private: 
    my_type<T> attribute 
    // Other attributes. 
}; 

dann mindestens Sie müssen nicht wieder den ganzen Rest der Klasse duplizieren.

Aber es macht wahrscheinlich nicht so viel Sinn, wie Sie sicherlich den Typ irgendwo verwenden möchten. Sie müssten diese Orte also weiter spezialisieren.

Answer 2

Erstellen einer Vorlage gebildeten Basisklasse enthält Attribut, spezialisieren sie für void und erben von ihm:

namespace detail //Warn end user that he should not use stuff from here 
{ 
    template <typename T> 
    struct myClass_base 
    { 
     T attribute; 
    }; 

    template <> 
    struct myClass_base<void> 
    {}; //No attribute at all 
} 

template <typename T> 
class myClass: private detail::myClass_base<T> 
{ 
    //rest of definition 
}; 

Dies würde myClass fehlt machen attribute Feld, wenn es mit Typ-Instantiierung void