Почему мы не можем передавать строки в качестве аргументов шаблона?

Question

Я знаю, что мы можем определить шаблоны, используя константы. Например:

template<int N> 
struct FixedArray { 
    double values[N]; 
    int size() { return N; } // Could be static 
}; 


int main(int, char**) { 
    FixedArray<10> arr; 
    arr.values[0] = 3.14; 
    cout << "first element=" << arr.values[0] << endl; 
    cout << "size=" << arr.size() << endl; 
    return 0; 
} 

Этот конкретный пример позволяет нам определить массив с постоянным размером.

Но почему мы не можем передавать строки в качестве аргументов шаблона в C++?

Следующий слайд должен объяснить это, но я не понимаю, где проблема.

Если кто-то может указать на меня и объяснить это, я был бы признателен. Благодаря

Answer 1

Короткий ответ "потому что стандарт говорит так". Поскольку аргументы шаблона служат для формирования типа, они должны быть достаточно однозначными. Следующие работы, хотя:

template <char *> struct Foo { }; 

char x; 

int main() 
{ 
    Foo<&x> a; 
} 

Дело в том, что x теперь хорошо определен, названный объект связи, поэтому его адрес является глобально, STA ­ ти ­ чески известное количество. Указатель, полученный из строкового литерала, не имеет одинаковых качеств; это не адрес именованной переменной.