Gibt es eine Möglichkeit, den Benutzer zu zwingen, den Template-Argumenttyp explizit anzugeben?

Question

Kurzfassung: Ich habe eine Template-Funktion, die "universal" ist, aber ich möchte den Benutzer zwingen, den Typ des Arguments explizit anzugeben, sie übergeben als Parameter an diese Funktion.

Irgendwelche Ideen?

Lange Version: klingt wie ein schreckliches Design, aber hier ist mein Fall und ich kann mir im Moment nichts besseres vorstellen.

Ich versuche ::setsockopt in einer kleinen socket Klasse "zu implementieren" (und ich möchte nicht Tonnen von Funktionen, verschiedene Argumente und das gleiche tun). Zum Beispiel:

template< typename OPTION_VALUE_TYPE > 
bool set_option(int level, int option_name, const OPTION_VALUE_TYPE& value) 
{ 
    return -1 != ::setsockopt(fd_, level, option_name, &value, sizeof(value)); 
} 

ABER, könnte dies auf die folgende Situation führen - set_option mit 1 Aufruf versucht unsigned char Option setzen würde zum Ausfall führen, wie 1int ist. Korrekte Verwendung wäre:

set_option< unsigned char >(level, option, 1); 

als

set_option(level, option, 1); 

kompiliert völlig in Ordnung, aber schrecklich falsch sein.

Answer 1

Ja, Sie müssen nur den Template-Parameter in einer Weise verwenden, aus dem sie nicht von den Argumenten abgeleitet werden kann. Ein üblicher Weg, dies zu tun ist ein typedef in einer Template-Klasse mit:

template <typename T> 
struct identity { 
    typedef T type; 
}; 

template <typename OPTION_VALUE_TYPE> 
bool set_option(int level, int option_name, 
       typename identity<const OPTION_VALUE_TYPE&>::type value); 

Um einen Typ bereits in der Standardbibliothek verwenden, können Sie enable_if verwenden:

template <typename OPTION_VALUE_TYPE> 
bool set_option(int level, int option_name, 
       typename std::enable_if<true, const OPTION_VALUE_TYPE&>::type value); 

Der Grund dieser doesn‘ t-Typ Argument Abzug zulassen, weil der Compiler nicht Spezialisierungen von identity ausschließen kann: der Compiler kann nicht ausschließen Sie

template <> 
struct identity<U> { typedef V type; }; 

wh tun ere identity<U>::type wäre nicht mehr U.

Answer 2

den Vorlagentyp in einem nicht abgeleiteten Kontext wie in der folgenden Put:

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

template <typename OPTION_VALUE_TYPE> 
bool set_option(int level, 
       int option_name, 
       const typename identity<OPTION_VALUE_TYPE>::type& value);