Literały ciągów niedozwolone jako parametry szablonu non type

To znaczy, że nie możesz tego zrobić...

#include <iostream>

template <const char* P>
void f() { std::cout << P << '\n'; }

int main()
{
    f<"hello there">();
}

...ponieważ "hello there" nie jest w 100% gwarantowane rozdzielenie do pojedynczej wartości całki, która może być użyta do utworzenia instancji szablonu raz (chociaż większość dobrych linkerów spróbuje złożyć wszystkie zastosowania w połączonych obiektach i wytworzyć nowy obiekt z pojedynczą kopią ciągu znaków).

Można jednak używać zewnętrznych tablic znaków/wskaźników:

...
extern const char p[];
const char p[] = "hello";
...
    f<p>();
...

Oczywiście literały typu string, takie jak" foobar", nie są podobne do innych wbudowanych typów literałów (takich jak int czy float). Muszą mieć adres (const char*). Adres jest tak naprawdę stałą wartością, którą kompilator zastępuje w miejscu, w którym pojawia się literał. Adres ten wskazuje na jakieś, ustalone w czasie kompilacji, miejsce w pamięci programu.

Z tego powodu musi mieć wewnętrzne powiązanie. Wewnętrzne powiązanie oznacza tylko, że nie można połączyć między jednostkami tłumaczeniowymi (skompilowany cpp plików). Kompilator może próbować to zrobić, ale nie jest to wymagane. Innymi słowy, wewnętrzne powiązanie oznacza, że jeśli weźmiesz adres dwóch identycznych ciągów literalnych (tj. wartość znaku const*, na który tłumaczą) w różnych plikach cpp, nie będą one zasadniczo takie same.

Nie można ich używać jako parametrów szablonu, ponieważ wymagałyby one strcmp (), aby sprawdzić, czy są takie same. Jeśli użyjesz==, po prostu porównasz adresy, które nie będą takie same gdy szablon jest tworzony z tym samym ciągiem literalnym w różnych jednostkach tłumaczenia.

Inne prostsze typy wbudowane, jako literały, są również linkami wewnętrznymi (nie mają identyfikatora i nie mogą być połączone ze sobą z różnych jednostek tłumaczeniowych). Jednak ich porównanie jest trywialne, ponieważ jest to wartość. Więc mogą być używane do szablonów.

Jak wspomniano w innych odpowiedziach, literał Łańcuchowy nie może być używany jako argument szablonu. Istnieje jednak obejście, które ma podobny efekt, ale "ciąg" jest ograniczony do czterech znaków. Wynika to z stałych wieloznakowych, które, jak zostało omówione w linku, są prawdopodobnie raczej nie do przeniesienia, ale działały dla moich celów debugowania.

template<int32_t nFourCharName>
class NamedClass
{
    std::string GetName(void) const
    {
        // Evil code to extract the four-character name:
        const char cNamePart1 = static_cast<char>(static_cast<uint32_t>(nFourCharName >> 8*3) & 0xFF);
        const char cNamePart2 = static_cast<char>(static_cast<uint32_t>(nFourCharName >> 8*2) & 0xFF);
        const char cNamePart3 = static_cast<char>(static_cast<uint32_t>(nFourCharName >> 8*1) & 0xFF);
        const char cNamePart4 = static_cast<char>(static_cast<uint32_t>(nFourCharName       ) & 0xFF);

        std::ostringstream ossName;
        ossName << cNamePart1 << cNamePart2 << cNamePart3 << cNamePart4;
        return ossName.str();
    }
};

Może być używany z:

NamedClass<'Greg'> greg;
NamedClass<'Fred'> fred;
std::cout << greg.GetName() << std::endl;  // "Greg"
std::cout << fred.GetName() << std::endl;  // "Fred"

Jak powiedziałem, to jest obejście. Nie udaję, że to dobry, czysty, przenośny Kod, ale innym może się to przydać. Inne obejście może obejmować wiele argumentów szablonu char, jak w ta odpowiedź .

Idea standardu c++ zezwalającego tylko na określony typ parametrów szablonów polega na tym, że parametr powinien być stały i znany w czasie kompilacji w celu wygenerowania kodu "specialized class".

W tym konkretnym przypadku: Kiedy tworzysz ciąg znaków literalnych, ich adres jest Nieznany do czasu łączenia (łączenie odbywa się po kompilacji), ponieważ dwa literały ciągów w różnych jednostkach tłumaczenia są dwoma różnymi obiektami (co doskonale wyjaśnia przyjęta odpowiedź). Podczas kompilacji zdarza się, że nie wiemy, którego adresu string dosłownego użyć do wygenerowania specjalistycznego kodu klasy z klasy template.