Szablon „char *”

Question

Mam poniżej funkcji (tylko do odtwarzania problemu):

template <typename KeyT> 
void func(const KeyT cptr) { 
    std::cout << typeid(KeyT).name() << std::endl; 
} 

chciałbym nazwać sznurkiem dosłowne, jak poniżej:

func<char*>("literal"); 

Ale ja w końcu się poniżej ostrzeżenia:

 
warning: ISO C++11 does not allow conversion from string literal to 'char *' [-Wc++11-compat-deprecated-writable-strings] 

mam konkretną potrzebę korzystania char* jak mój klucz typu i jestem ex pecting TAD, aby rozważyć param type jako całość, ponieważ nie biorę go przez odniesienie.

Ostrzeżenie dotyczy zarówno kompilatorów clang, jak i g++.

W jaki sposób wyprowadza się tutaj param type?

Z góry dziękuję.

Answer 1

Spodziewałem TAD rozważyć rodzaj param jako const char * ...
jaki jest typ param wyprowadzona jest tutaj?

template <typename KeyT> 
void func(const KeyT cptr) 

Zauważ, że const jest kwalifikator na KeyT sama, to znaczy, jeśli KeyT jest wskaźnikiem, a następnie cptr będzie const wskaźnik, a nie wskaźnik do const.

"literal" jest literą dosłowną z typem const char[8], która może rozpaść się na const char*. Następnie można wydedukować KeyT jako const char*, wtedy typ cptr będzie const char* const.

Podajesz typ argumentu szablonu jako char*, a następnie tworzysz cptr a char* const. Ale z C++ 11 konwertowanie literału z ciągu znaków na char* niejawnie jest niedozwolone, ponieważ literały są const.

Dlaczego potrzebny jest typ parametru szablonu: char*? Aby zmodyfikować go wewnątrz funkcji? Zauważ, że modyfikowanie literału ciągu prowadzi do UB. Można przekazać tablicę char do niego, jak:

char my_chararray[] = "literal"; 
func<char*>(my_chararray); // or just func(my_chararray); 

Answer 2

Nie ma odliczenie tutaj: trzeba wyraźnie stwierdzić, że parametr szablonu jest char*.

To, czego brakuje, to że podstawianie parametrów nie jest tekstowym wyszukiwaniem i zamianą: faktycznie jest zgodne z regułami logicznymi dla systemu typów. const KeyT cptr deklaruje instancję const typu KeyT —, gdy KeyT jest char*, deklaracja parametru staje się char *const cptr.