Funktionstyp Spezialisierungstyp - ist es optional?

Question

Ist die <const char*> optional in unter Code? Ich fand, dass g ++ und clang ohne es ganz gut kompiliert.

template<typename T> 
void debugRep2(T const& t) { 
    std::cout << "debugRep(const T& t)\n"; 
} 

template<> 
void debugRep2<const char*>(const char* const& t) { 
      //^^^^^^^^^^^^^ 
    std::cout << "const char*& t\n"; 
} 

int main() { 
    int n; 
    int *pn = &n; 
    debugRep2(n); 
    debugRep2(pn); 
} 

Answer 1

Der Templat-Typ ist bereits in den Funktionsparametern festgelegt und kann optional durch den Compiler

template<> 
void debugRep2<const char*>(const char* const& t) { 
         // ^^^^^^^^^^^ already present 
    // ... 
} 

Also ja, in diesem Fall abgeleitet werden soll.

---

Tatsache In dem gemeinsamen Weg, diese Spezialisierung schreiben würde

template<> 
void debugRep2(const char* const& t) { 
    // ... 
}