C++: Jak zapobiec specjalizacji wskaźnika przez szablon?

Question

Zacznę przepraszać, jeśli jestem na tyle głupia, aby nie znaleźć odpowiedzi, jeśli jest to tak oczywiste.

Widziałem dziesiątki stron mówiących o specjalnej specjalizacji szablonów dla parametrów wskaźnik.

Chciałbym jednak móc uniemożliwić szablonowi specjalizację parametrów wskaźnika, ale nie mogę wymyślić, jak to zrobić.

template< class T > 
void function(T arg) 
{ 
    //... 
} 

int main() 
{ 
    int i = 42; 

    function(i); // Ok 
    function(&i); // Die bastart with a compiler error! 
} 

Czy to możliwe?

Dzięki.

Answer 1

Można zadeklarować specjalizacji (w tym przypadku jest to technicznie tylko przeciążenie), ale nie definiują go :)

template<typename T > 
void function(T arg) 
{ 
//... 
} 

template<typename T > 
void function(T* arg); //no definition 

int main() 
{ 
    int i = 42; 
    function(i); // Ok 
    function(&i); //ERROR 
} 

Answer 2

jestem sam szablon metaprogramowanie żółtodziobem, ale myślę

template<typename T> 
void function(typename std::enable_if<!std::is_pointer<T>::value,T>::type arg) 
{ 
    //... 
} 

powinien działać, ponieważ ta funkcja powinna istnieć tylko dla parametrów innych niż wskaźnik. Oczywiście wymaga to cech C++ 11 lub przynajmniej TR1 lub cech typu boost.

Answer 3

w C++ 11, można użyć static_assert w sposób jak poniżej:

template<class T> 
void func(T arg) { 
    static_assert(!std::is_pointer<T>::value, 
       "The argument to func must not be a pointer."); 
    // Do something after the static_assert. 
    // Now you are sure that T isn't a pointer. 
} 

Przykład można znaleźć here on Ideone.

Polecam to, ponieważ da więcej przydatnych komunikatów o błędach, gdy ktoś spróbuje wywołać twoją funkcję za pomocą wskaźnika (błędy linkera mogą być w tym przypadku bardzo mylące). Ponadto, błędy linkera nie pojawią się przed pojawieniem się powiązania.